- 15 Jul, 2020 13 commits
-
-
Ralf Jung authored -
Ralf Jung authored
-
Ralf Jung authored
-
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
-
Ralf Jung authored
-
Ralf Jung authored
Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways Closes #296 See merge request iris/iris!477
-
Ralf Jung authored
mention that the ASCII syntax exists (but we recommend unicode) See merge request iris/iris!470
-
Ralf Jung authored
-
Ralf Jung authored
All list "map singleton" lemmas consistently use `singletonM` in their name Closes #309 See merge request iris/iris!476
-
- 14 Jul, 2020 13 commits
- 10 Jul, 2020 2 commits
-
-
Ralf Jung authored
LICENSE-CODE: Clarify which BSD license is being used See merge request iris/iris!472
-
-
- 04 Jul, 2020 2 commits
- 03 Jul, 2020 1 commit
-
-
Ralf Jung authored
-
- 02 Jul, 2020 4 commits
-
-
Ralf Jung authored
Mention change to lemmas in changelog See merge request iris/iris!469
-
Simon Friis Vindum authored -
Ralf Jung authored
adjust notation for step-taking updates See merge request iris/iris!462
-
Ralf Jung authored
-
- 01 Jul, 2020 2 commits
-
-
Robbert Krebbers authored
Add lemmas for creating big op from duplicable resource See merge request iris/iris!468
-
Robbert Krebbers authored
-
- 30 Jun, 2020 1 commit
-
-
Simon Friis Vindum authored
-
- 29 Jun, 2020 2 commits
-
-
Simon Friis Vindum authored
-
Robbert Krebbers authored
-
