Commits · 2d97c5e31aa0f12dc29693ef656958508b33b6d3 · Iris / ReLoC

Oct 03, 2023
- 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
- Merge remote-tracking branch 'origin/ext_lp' · 75ae3529
  Dan Frumin authored 3 years ago
  
  75ae3529
Sep 07, 2021
- update dependencies · 762295c3
  Ralf Jung authored 3 years ago
  
  762295c3
Jul 28, 2021
- update dependencies · ec391f11
  Ralf Jung authored 3 years ago
  
  ec391f11
Jun 18, 2021
- Bump std++. · 9152955d
  Robbert Krebbers authored 3 years ago
  
  9152955d
Jun 14, 2021
- bump iris · 99c2ba60
  Dan Frumin authored 3 years ago
  
  99c2ba60
- fix compliation · bf999b6b
  Dan Frumin authored 3 years ago
  
  bf999b6b
Jun 05, 2021
- adjust to new job naming scheme · 95d81b30
  Ralf Jung authored 3 years ago
  
  95d81b30