Commits · master · Iris / POPL21 Iris Tutorial

Oct 30, 2024
- update dependencies · 37daeff6
  Ralf Jung authored 6 months ago
  
  37daeff6
Oct 03, 2024
- this warning no longer shows up · 9f52ff30
  Ralf Jung authored 7 months ago
  
  9f52ff30
- update dependencies · 69dbc465
  Ralf Jung authored 7 months ago
  
  69dbc465
Oct 02, 2024
- silence warnings · 901c8ee4
  Ralf Jung authored 7 months ago
  
  901c8ee4
- bump iris · 9113eeca
  Ralf Jung authored 7 months ago
  
  9113eeca
- bump Coq version · 81430140
  Ralf Jung authored 7 months ago
  
  81430140
- update dependencies · eadbf123
  Ralf Jung authored 7 months ago
  
  eadbf123
Feb 02, 2024
- update dependencies · 2252f7ff
  Ralf Jung authored 1 year ago
  
  2252f7ff
- bump to Coq 8.18 / 8.19 · 3641720d
  Ralf Jung authored 1 year ago
  
  3641720d
Nov 06, 2023
- update dependencies · 04fbe420
  Ralf Jung authored 1 year ago
  
  04fbe420
Sep 29, 2023
- update dependencies · ac33045b
  Ralf Jung authored 1 year ago
  
  ac33045b
- test on Coq 8.18 · aaabb4e4
  Ralf Jung authored 1 year ago
  
  aaabb4e4
May 17, 2023
- Remove unneeded `%I`s. · 3a1671cf
  Robbert Krebbers authored 1 year ago
  
  3a1671cf
May 03, 2023
- update dependencies · f57d4299
  Ralf Jung authored 2 years ago
  
  f57d4299
- bring back Coq 8.16 test; fix coq_makefile warning · ce728399
  Ralf Jung authored 2 years ago
  
  ce728399
May 02, 2023
- Remove Coq 8.14. · 438f16ec
  Robbert Krebbers authored 2 years ago
  
  438f16ec
- Bump Iris; bump minimal Coq version to 8.17. · 69cce1cb
  Robbert Krebbers authored 2 years ago
  
  69cce1cb
- centrally control the Coq version to test every night · 2b26f157
  Ralf Jung authored 2 years ago
  
  2b26f157
Apr 24, 2023
- simplify some proofs a bit · 5d89bbed
  Ralf Jung authored 2 years ago
  
  5d89bbed
- update dependencies · be56a0b3
  Ralf Jung authored 2 years ago
  
  be56a0b3
Apr 21, 2023
- update dependencies · 4208ae96
  Ralf Jung authored 2 years ago
  
  4208ae96
Mar 09, 2023
- Fix exercises. · 46033c93
  Robbert Krebbers authored 2 years ago
  
  46033c93
- Bump Iris (beautify code for `iCombine .. gives`). · 962f2131
  Robbert Krebbers authored 2 years ago
  
  962f2131
Nov 04, 2022
- re-generate exercises · 31b71f8f
  Ralf Jung authored 2 years ago
  
  31b71f8f
- explain ⌜...⌝ · 0c9caad4
  Ralf Jung authored 2 years ago
  
  0c9caad4
Sep 09, 2022
- remove unnecessary import · 31f38023
  Ralf Jung authored 2 years ago
  
  31f38023
Aug 12, 2022
- 8.16.dev for nightly builds · 876c5f03
  Ralf Jung authored 2 years ago
  
  876c5f03
Aug 11, 2022
- update dependencies; do nightly builds with Coq 8.16 · 2c7e38db
  Ralf Jung authored 2 years ago
  
  2c7e38db
Aug 03, 2022
- update dependencies · 485fa1c8
  Ralf Jung authored 2 years ago
  
  485fa1c8
May 11, 2022
- maintain compatibility with Coq 8.14, give up on the 8.15 warnings · 9cff7ce9
  Ralf Jung authored 3 years ago
  
  9cff7ce9
- fix makefile warning with Coq 8.15 · cd282f07
  Ralf Jung authored 3 years ago
  
  cd282f07
- more verbose error logs · cf7ba85b
  Ralf Jung authored 3 years ago
  
  cf7ba85b
- bump the Coq we test · b8a521c8
  Ralf Jung authored 3 years ago
  
  b8a521c8
May 08, 2022
- normalize OCaml versions · fd896349
  Ralf Jung authored 3 years ago
  
  fd896349
May 07, 2022
- make ocaml version explicit · 879dcbdf
  Ralf Jung authored 3 years ago
  
  879dcbdf
Dec 17, 2021
- update dependencies · eafc0563
  Ralf Jung authored 3 years ago
  
  eafc0563
- enable convert_concl_no_check warnings · f84d31d5
  Ralf Jung authored 3 years ago
  
  f84d31d5
- update the Coq versions we test · 358c4389
  Ralf Jung authored 3 years ago
  
  358c4389
Dec 09, 2021
- update dependencies · e4a5fca3
  Ralf Jung authored 3 years ago
  
  e4a5fca3
Jul 28, 2021
- update dependencies · 7537ff8f
  Ralf Jung authored 3 years ago
  
  7537ff8f