- Oct 19, 2024
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Oct 07, 2024
-
-
Ralf Jung authoredbump 8.19 to latest minor release See merge request iris/iris!1081
-
Ralf Jung authored
-
- Oct 03, 2024
-
-
Robbert Krebbers authored
Fix proof mode notations to work around https://github.com/coq/coq/pull/19049 See merge request iris/iris!1080
-
Robbert Krebbers authored
-
- Oct 02, 2024
-
-
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
Drop support Coq 8.18. See merge request iris/iris!1079
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
-
- Sep 24, 2024
-
-
Ralf Jung authored
Add missing typeclasses for twp. See merge request iris/iris!1076
-
Janggun Lee authored
Co-authored-by:Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
-
Janggun Lee authored
-
Janggun Lee authored
-
- Sep 23, 2024
-
-
Janggun Lee authored
-
- Sep 11, 2024
-
-
Ralf Jung authored
Adapt to iris/stdpp!555 See merge request iris/iris!1050
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Michael Sammler authored
-
Ralf Jung authored
test Coq 8.20 See merge request iris/iris!1073
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- Sep 10, 2024
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- Sep 05, 2024
-
-
Robbert Krebbers authored
-
- Sep 04, 2024
-
-
Ralf Jung authored
Reformat style guide See merge request iris/iris!1072
-
Ralf Jung authored
-
Ralf Jung authored
Add some helpers for `discrete_fun_singleton` See merge request iris/iris!1071
-
Ralf Jung authored
-
- Sep 03, 2024
-
-
Janggun Lee authored
-
Robbert Krebbers authored
-
- Aug 30, 2024
-
-
Ralf Jung authored
-
- Aug 29, 2024
-
-
Janggun Lee authored
-
