Branches · Dan Frumin / Actris · GitLab

ill

91106019 · quickfix · Jun 20, 2021

iris/actris!25

Download source code

zip tar.gz tar.bz2 tar
master default protected

80e12301 · Revert "coq.dev is not stable enough for regular CI" · May 03, 2021

Download source code

zip tar.gz tar.bz2 tar
jonas/liter

334d6c9b · Added liter function, and proved specs for br and del sort clients · Apr 11, 2021

Download source code

zip tar.gz tar.bz2 tar
jonas/pizza

5ee73302 · Better spec for lock example, and polish · Mar 25, 2021

Download source code

zip tar.gz tar.bz2 tar
cpp21

be66a74d · More typos. · Dec 14, 2020

Download source code

zip tar.gz tar.bz2 tar
jonas/lty_helper_lemmas

48e47bcb · Added iterated quantifiers for kinded telescopes · Dec 02, 2020

Download source code

zip tar.gz tar.bz2 tar
jonas/coexponentials

555674fa · Made duplicate return the new channel · Dec 02, 2020

Download source code

zip tar.gz tar.bz2 tar
jonas/ring_leader_election

9a3657ec · Added rle to _CoqProject · Nov 25, 2020

Download source code

zip tar.gz tar.bz2 tar
iris-update

9d0487bd · WIP: update Iris · Nov 11, 2020

Download source code

zip tar.gz tar.bz2 tar
lmcs

c86266a4 · Improved text on difference from paper · Oct 28, 2020

Download source code

zip tar.gz tar.bz2 tar
cpp21_deprecated

d9fc3318 · Tweak for zip. · Sep 23, 2020

Download source code

zip tar.gz tar.bz2 tar
jesper

9a579d2d · added branch existance check · Aug 21, 2020

Download source code

zip tar.gz tar.bz2 tar
concur2020

2324f271 · Misc tweaking. · May 10, 2020

Download source code

zip tar.gz tar.bz2 tar
popl20

9a44a2d9 · Updated dependency commit hashes · Nov 27, 2019

Download source code

zip tar.gz tar.bz2 tar