Commits · 3b66bedb8000bc8f9b716b92543cfa277d404bc5 · Iris / ReLoC

Feb 16, 2024
- Bump Iris (iFrame). · 3b66bedb
  Robbert Krebbers authored 1 year ago
  
  3b66bedb
Feb 02, 2024
- Merge branch 'ci/coq' into 'master' · e904125a
  Ralf Jung authored 1 year ago
  
  bump to Coq 8.18 See merge request !8
  e904125a
- bump to Coq 8.18 · efeb255f
  Ralf Jung authored 1 year ago
  
  efeb255f
- update dependencies · 2c6ba038
  Ralf Jung authored 1 year ago
  
  2c6ba038
Nov 06, 2023
- finish mapsto rename · b7a16730
  Ralf Jung authored 1 year ago
  
  b7a16730
- update dependencies · ff8d4a47
  Ralf Jung authored 1 year ago
  
  ff8d4a47
Oct 03, 2023
- Fixes for Coq 8.18. · 14886718
  Robbert Krebbers authored 1 year ago
  
  14886718
- update dependencies · 2d97c5e3
  Ralf Jung authored 1 year ago
  
  2d97c5e3
Sep 14, 2023
- bump Iris · fb53e7ac
  Ralf Jung authored 1 year ago
  
  fb53e7ac
Aug 31, 2023
- update dependencies · 745fd15f
  Ralf Jung authored 1 year ago
  
  745fd15f
Jun 14, 2023
- update dependencies · 660cbb30
  Ralf Jung authored 1 year ago
  
  660cbb30
Jun 09, 2023
- avoid fractional_half_2 · df6b9158
  Ralf Jung authored 1 year ago
  
  df6b9158
Jun 04, 2023
- Update Iris. · 619ff195
  Robbert Krebbers authored 1 year ago
  
  619ff195
May 04, 2023
- Fix `tp_xchg` and resolve an admit. · 538a5d7f
  Dan Frumin authored 1 year ago
  
  538a5d7f
- update dependencies · 93e0e17c
  Ralf Jung authored 1 year ago
  
  93e0e17c
May 02, 2023
- Bump Iris; bump minimal Coq version to 8.17. · 314757d3
  Robbert Krebbers authored 1 year ago
  
  314757d3
- centrally control the Coq version to test every night · 6bc43585
  Ralf Jung authored 1 year ago
  
  6bc43585
Mar 18, 2023
- Bump Iris (Loc module). · 32081959
  Robbert Krebbers authored 2 years ago
  
  32081959
Mar 09, 2023
- More use of `iDestruct .. gives`. · 87916dfb
  Robbert Krebbers authored 2 years ago
  
  87916dfb
- Bump Iris (beautify code for `iCombine .. gives`). · 8a65d1b4
  Robbert Krebbers authored 2 years ago
  
  8a65d1b4
Nov 29, 2022
- Bump Iris. · 6e276eba
  Robbert Krebbers authored 2 years ago
  
  6e276eba
Aug 16, 2022
- nightly builds with Coq 8.16 · d8e93826
  Ralf Jung authored 2 years ago
  
  d8e93826
Aug 12, 2022
- Bump Iris. · 7d15511a
  Robbert Krebbers authored 2 years ago
  
  7d15511a
Aug 03, 2022
- update dependencies · 4e438d85
  Ralf Jung authored 2 years ago
  
  4e438d85
Jul 05, 2022
- update dependencies for later credits · a0e1d1b7
  Ralf Jung authored 2 years ago
  
  a0e1d1b7
- update dependencies · 3b20cb2c
  Ralf Jung authored 2 years ago
  
  3b20cb2c
May 13, 2022
- fix for Iris lemma rename · ec826fd7
  Ralf Jung authored 2 years ago
  
  ec826fd7
- update dependencies · 890a7ae5
  Ralf Jung authored 2 years ago
  
  some type annotations are no longer needed
  890a7ae5
- update dependencies; dom fix · 12f51ff2
  Ralf Jung authored 2 years ago
  
  12f51ff2
May 11, 2022
- Fix compat with Coq 8.15 & fix warnings. · 653c4ef5
  Robbert Krebbers authored 2 years ago
  
  653c4ef5
- bump the Coq we test · d376a4ce
  Ralf Jung authored 2 years ago
  
  d376a4ce
May 08, 2022
- normalize OCaml versions · fc32d148
  Ralf Jung authored 2 years ago
  
  fc32d148
May 07, 2022
- make ocaml version explicit · 479f4e62
  Ralf Jung authored 2 years ago
  
  479f4e62
Jan 17, 2022
- update dependencies, add missing frame instances · 324ba2b6
  Ralf Jung authored 3 years ago
  
  324ba2b6
Dec 11, 2021
- Incorporate the `Xchg` operation · 744a9606
  Dan Frumin authored 3 years ago
  
  744a9606
Dec 09, 2021
- update Makefile and Iris · 46a15762
  Ralf Jung authored 3 years ago
  
  46a15762
- Bump Iris. · 452a06e5
  Robbert Krebbers authored 3 years ago
  
  452a06e5
Dec 04, 2021
- tweak the model a bit · f1fa146d
  Dan Frumin authored 3 years ago
  
  f1fa146d
Dec 03, 2021
- Move stack with helping to a different directory. · e2bcc1ae
  Dan Frumin authored 3 years ago
  
  e2bcc1ae
- Merge the Folly queue case study · b6df47f9
  Dan Frumin authored 3 years ago
  
  b6df47f9