Activity · Isaac van Bakel / Iris · GitLab

Snippets Groups Projects

3 months ago

Isaac van Bakel @ivanbakel

deleted branch tex_require_mathpartir at Isaac van Bakel / Iris

4 months ago

Isaac van Bakel @ivanbakel

pushed new branch tex_require_mathpartir at Isaac van Bakel / Iris

7 months ago

Isaac van Bakel @ivanbakel

deleted branch gset_to_gmap_theory at Isaac van Bakel / Iris

7 months ago

Robbert Krebbers @robbertkrebbers

pushed to branch gset_to_gmap_theory at Isaac van Bakel / Iris

b9f8d4bd · Tweak CHANGELOG.

8 months ago

Isaac van Bakel @ivanbakel

pushed to branch gset_to_gmap_theory at Isaac van Bakel / Iris

34b628e6 · Add CHANGELOG entry for big op gset_to_gmap lemma
... and 25 more commits. Compare 1c0a4f4b...34b628e6

8 months ago

Robbert Krebbers @robbertkrebbers

pushed to branch gset_to_gmap_theory at Isaac van Bakel / Iris

1c0a4f4b · Tweak proof.

9 months ago

Isaac van Bakel @ivanbakel

pushed new branch gset_to_gmap_theory at Isaac van Bakel / Iris

1 year ago

Isaac van Bakel @ivanbakel

pushed new branch borrowck at Isaac van Bakel / Iris

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch option_weak_instances at Isaac van Bakel / Iris

578551e9 · Strengthen option OFE and camera instances for QoL
... and 71 more commits. Compare 7172d716...578551e9

1 year ago

Isaac van Bakel @ivanbakel

pushed new branch iris-4.1.0-borrowck at Isaac van Bakel / Iris

1 year ago

Isaac van Bakel @ivanbakel

pushed new branch iris-4.1.0-option_weak_instances at Isaac van Bakel / Iris

1 year ago

Isaac van Bakel @ivanbakel

pushed new branch option_weak_instances at Isaac van Bakel / Iris

1 year ago

Isaac van Bakel @ivanbakel

deleted branch rw_lock at Isaac van Bakel / Iris

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch rw_lock at Isaac van Bakel / Iris

07cabbcc · Replace iSplitL "" -> iSplitR

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch rw_lock at Isaac van Bakel / Iris

1a0cac64 · Fix casing: RWLock -> RwLock
... and 1 more commit. Compare d2bd0443...1a0cac64

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch rw_lock at Isaac van Bakel / Iris

d2bd0443 · Split non-pure fractional impl into fractional.v

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch rw_lock at Isaac van Bakel / Iris

b2f3946e · Use AsFractional in RW lock creation

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch rw_lock at Isaac van Bakel / Iris

991ce140 · Use AsFractional in RW lock creation
... and 198 more commits. Compare ad6b0c69...991ce140

1 year ago

Isaac van Bakel @ivanbakel

deleted branch disj_patterns_style at Isaac van Bakel / Iris

1 year ago

Isaac van Bakel @ivanbakel

pushed to branch disj_patterns_style at Isaac van Bakel / Iris

8d61039e · Add style point on branching patterns