- Feb 15, 2023
-
-
Ralf Jung authored -
Ralf Jung authored
Stronger version of `gmap_core_id`. See merge request iris/iris!892
-
Robbert Krebbers authored
-
- Feb 14, 2023
-
-
Ralf Jung authored
Extract dfrac notations See merge request iris/iris!756
-
- Feb 13, 2023
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Adam authored
This fixes the fixme introduced in !554. Coq issue #13654 was fixed by coq pr #14183.
-
- Feb 08, 2023
-
-
Robbert Krebbers authored
Introduce bi_nsteps and add timeless results for bi closures See merge request iris/iris!885
-
-
- Feb 04, 2023
-
-
Ralf Jung authored
-
- Feb 03, 2023
-
-
Ralf Jung authored
drop support for Coq 8.13 See merge request iris/iris!882
-
- Feb 02, 2023
-
-
Ralf Jung authored
Add more primitive projections See merge request iris/iris!873
-
-
- Feb 01, 2023
-
-
Ralf Jung authored
-
Ralf Jung authored
Add comments to explain the modified structure of the adequacy proof See merge request iris/iris!847
-
-
- Jan 27, 2023
-
-
Robbert Krebbers authored
-
- Jan 17, 2023
-
-
Simcha van Collem authored
-
Simcha van Collem authored
-
Simcha van Collem authored
-
- Jan 09, 2023
- Jan 08, 2023
-
-
Ralf Jung authored
-
- Dec 08, 2022
-
-
Ralf Jung authored
Documentation about `leibnizO`. See merge request iris/iris!875
-
- Dec 07, 2022
-
-
Robbert Krebbers authored
-
- Dec 06, 2022
-
-
Robbert Krebbers authored
-
Ralf Jung authored
Rename `sig_{equiv,dist}_alt` into `sig_{equiv,dist}_def` and state using `=` instead of `<->`. See merge request iris/iris!877 -
Ralf Jung authored
Add lemma `intuitionistically_def P : □ P = <affine> <pers> P`. See merge request iris/iris!874
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
lemmas using `=` instead of `<->`.
-
- Dec 05, 2022
-
-
Ralf Jung authored
Do not write heading in readme with capitals. See merge request iris/iris!876
-
Ralf Jung authored
See discussion in https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/iris.20failing
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- Dec 04, 2022
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
