- Sep 15, 2022
-
-
Old Account Benjamin Peters authored
-
- Aug 29, 2022
-
-
Old Account Benjamin Peters authored
This reverts commit 7aa11754, reversing changes made to 17eace81.
-
- Aug 22, 2022
-
-
Niklas Mück authored
-
Lennard Gäher authored
-
Niklas Mück authored
-
- Aug 20, 2022
- Aug 17, 2022
-
-
Ralf Jung authored -
-
-
- Aug 16, 2022
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Make* class fixes See merge request iris/iris!845
-
Ralf Jung authored
-
- Aug 15, 2022
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- Aug 14, 2022
-
-
Ralf Jung authored
add FAA to atomic_heap See merge request iris/iris!844
-
Ralf Jung authored
-
- Aug 13, 2022
-
-
Ralf Jung authored
-
Ralf Jung authored
proofmode: do not treat pure assertions as persistent See merge request iris/iris!799
-
Ralf Jung authored
-
Niklas Mück authored
-
Robbert Krebbers authored
Make sure that `Make` instances are consistent and "constant time". See merge request iris/iris!838
-
- Aug 12, 2022
-
-
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
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- Aug 11, 2022
