- 07 Oct, 2022 1 commit
-
-
Ralf Jung authored
-
- 29 Sep, 2022 1 commit
-
-
Robbert Krebbers authored
-
- 25 Sep, 2022 1 commit
-
-
Ralf Jung authored
-
- 21 Sep, 2022 3 commits
-
-
Robbert Krebbers authored
add Hint Mode for PureExec See merge request iris/iris!846
-
Ralf Jung authored
- 20 Sep, 2022 1 commit
-
-
Robbert Krebbers authored
-
- 06 Sep, 2022 1 commit
-
-
Ralf Jung authored
-
- 02 Sep, 2022 1 commit
-
-
Ralf Jung authored
Add soundness lemma for envs_clear_intuitionistic See merge request iris/iris!850
-
- 26 Aug, 2022 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
[Docs] Add UltiSnips as an alternative way of inserting unicode characters in Vim See merge request iris/iris!849
-
Benjamin Peters authored
-
Simon Friis Vindum authored
-
- 25 Aug, 2022 2 commits
-
-
Benjamin Peters authored
-
Benjamin Peters authored
-
- 22 Aug, 2022 1 commit
-
-
Benjamin Peters authored
-
- 20 Aug, 2022 4 commits
- 17 Aug, 2022 3 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
Prepare changelog for release 4.0 See merge request iris/iris!841
-
-
- 16 Aug, 2022 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Make* class fixes See merge request iris/iris!845
-
Ralf Jung authored
-
- 15 Aug, 2022 2 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- 14 Aug, 2022 2 commits
-
-
Ralf Jung authored
add FAA to atomic_heap See merge request iris/iris!844
-
Ralf Jung authored
-
- 13 Aug, 2022 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
proofmode: do not treat pure assertions as persistent See merge request iris/iris!799
-
Ralf Jung authored
-
Robbert Krebbers authored
Make sure that `Make` instances are consistent and "constant time". See merge request iris/iris!838
-
- 12 Aug, 2022 5 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
add limit_preserving_impl' See merge request iris/iris!839
-
Ralf Jung authored
Make BI operational classes consistent: always use `PROP:Type` instead of `bi`. See merge request iris/iris!840
-
Robbert Krebbers authored
-