- Jul 26, 2022
-
-
Michael Sammler authored
-
- Jul 18, 2022
-
-
Robbert Krebbers authored
-
- Jul 07, 2022
-
-
Ralf Jung authored -
Ralf Jung authored
prepare for https://github.com/coq/coq/pull/16289 See merge request iris/stdpp!385
-
-
- Jun 28, 2022
-
-
Ralf Jung authored
-
- Jun 27, 2022
- Jun 08, 2022
-
-
Ralf Jung authored
-
- May 30, 2022
-
-
Robbert Krebbers authored
Preimage function for finite maps. See merge request iris/stdpp!382
-
Robbert Krebbers authored
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- May 25, 2022
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- May 16, 2022
-
-
Ralf Jung authored
Enable cumulativity for telescopes Closes iris#461 See merge request iris/stdpp!380
-
Jan-Oliver Kaiser authored
-
Jan-Oliver Kaiser authored
The accessor test case also fails when the flag is enabled so that the dedicated test case for it never has a chance to run.
-
Jan-Oliver Kaiser authored
-
Ralf Jung authored
-
- May 13, 2022
-
-
Ralf Jung authored
Set `Hint Mode` for `FinSet`. Closes #139 See merge request iris/stdpp!379
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`. See merge request iris/stdpp!378
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
make dom domain type paremeter (D) implicit Closes #137 See merge request iris/stdpp!376
-
Ralf Jung authored
-
- May 11, 2022
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
drop support for Coq 8.11 See merge request iris/stdpp!377
-
- May 09, 2022
-
-
Ralf Jung authored
-
