Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
ill
91106019
·
quickfix
·
Jun 20, 2021
iris/actris!25
master
default
protected
80e12301
·
Revert "coq.dev is not stable enough for regular CI"
·
May 03, 2021
jonas/liter
334d6c9b
·
Added liter function, and proved specs for br and del sort clients
·
Apr 11, 2021
jonas/pizza
5ee73302
·
Better spec for lock example, and polish
·
Mar 25, 2021
cpp21
be66a74d
·
More typos.
·
Dec 14, 2020
jonas/lty_helper_lemmas
48e47bcb
·
Added iterated quantifiers for kinded telescopes
·
Dec 02, 2020
jonas/coexponentials
555674fa
·
Made duplicate return the new channel
·
Dec 02, 2020
jonas/ring_leader_election
9a3657ec
·
Added rle to _CoqProject
·
Nov 25, 2020
iris-update
9d0487bd
·
WIP: update Iris
·
Nov 11, 2020
lmcs
c86266a4
·
Improved text on difference from paper
·
Oct 28, 2020
cpp21_deprecated
d9fc3318
·
Tweak for zip.
·
Sep 23, 2020
jesper
9a579d2d
·
added branch existance check
·
Aug 21, 2020
concur2020
2324f271
·
Misc tweaking.
·
May 10, 2020
popl20
9a44a2d9
·
Updated dependency commit hashes
·
Nov 27, 2019