Commits · master · Iris / POPL20 Iris Tutorial

Oct 30, 2024
- update dependencies · cd552eee
  Ralf Jung authored 6 months ago
  
  cd552eee
Oct 03, 2024
- update dependencies · 3e6f9ef8
  Ralf Jung authored 7 months ago
  
  3e6f9ef8
Oct 02, 2024
- update for warnings · b86dfeb8
  Ralf Jung authored 7 months ago
  
  b86dfeb8
- bump iris · 1c4c08c4
  Ralf Jung authored 7 months ago
  
  1c4c08c4
- test with Coq 8.20 instead of Coq 8.18 · fb5e8514
  Ralf Jung authored 7 months ago
  
  fb5e8514
- update dependencies · 5639f2af
  Ralf Jung authored 7 months ago
  
  5639f2af
Aug 19, 2024
- Bump std++ (length_X). · 65584c89
  Robbert Krebbers authored 8 months ago
  
  65584c89
Feb 19, 2024
- Update paper URL. · 28a42e55
  Robbert Krebbers authored 1 year ago
  
  28a42e55
Feb 02, 2024
- allow a warning we cannot fix yet · f355e575
  Ralf Jung authored 1 year ago
  
  f355e575
- update dependencies · c91e6ea5
  Ralf Jung authored 1 year ago
  
  c91e6ea5
- bump to Coq 8.18 / 8.19 · 5c543780
  Ralf Jung authored 1 year ago
  
  5c543780
Nov 06, 2023
- update dependencies · b873938e
  Ralf Jung authored 1 year ago
  
  b873938e
Sep 29, 2023
- update dependencies · fab57a53
  Ralf Jung authored 1 year ago
  
  fab57a53
- we should be warning-free · 24595cc9
  Ralf Jung authored 1 year ago
  
  24595cc9
- test on Coq 8.18 · 5e4be4b4
  Ralf Jung authored 1 year ago
  
  5e4be4b4
- remove an outdated comment · 07f02f41
  Ralf Jung authored 1 year ago
  
  07f02f41
Aug 05, 2023
- update dependencies, fix `iIntros ""` not doing `iStartProof` any more. · 7974fc6e
  Ralf Jung authored 1 year ago
  
  7974fc6e
May 03, 2023
- update dependencies · 3a07f8f1
  Ralf Jung authored 2 years ago
  
  3a07f8f1
- fix build · b2a159cb
  Ralf Jung authored 2 years ago
  
  b2a159cb
- fix 8.16 build · 43922f62
  Ralf Jung authored 2 years ago
  
  43922f62
- fix coq-makefile warnings and bring back Coq 8.16 · a66e4add
  Ralf Jung authored 2 years ago
  
  a66e4add
May 02, 2023
- Remove Coq 8.14. · 19172c74
  Robbert Krebbers authored 2 years ago
  
  19172c74
- Bump Iris; bump minimal Coq version to 8.17. · 224357cb
  Robbert Krebbers authored 2 years ago
  
  224357cb
- centrally control the Coq version to test every night · 0e332b79
  Ralf Jung authored 2 years ago
  
  0e332b79
Mar 09, 2023
- Fix exercises. · 3fd9f9e3
  Robbert Krebbers authored 2 years ago
  
  3fd9f9e3
- Bump Iris (beautify code for `iCombine .. gives`). · fffa5267
  Robbert Krebbers authored 2 years ago
  
  fffa5267
Nov 24, 2022
- Some links. · d0af7ae6
  Robbert Krebbers authored 2 years ago
  
  d0af7ae6
Aug 12, 2022
- 8.16.dev for nightly builds · 49231603
  Ralf Jung authored 2 years ago
  
  49231603
Aug 11, 2022
- do nightly builds with Coq 8.16 · 198fc3dd
  Ralf Jung authored 2 years ago
  
  198fc3dd
- update dependencies · f0b6d653
  Ralf Jung authored 2 years ago
  
  f0b6d653
Aug 03, 2022
- fix build · ede31b12
  Ralf Jung authored 2 years ago
  
  ede31b12
- update dependencies · 2e6b46b2
  Ralf Jung authored 2 years ago
  
  2e6b46b2
Jul 05, 2022
- re-gen exercises · 771a5f85
  Ralf Jung authored 2 years ago
  
  771a5f85
- update dependencies · e3e3146d
  Ralf Jung authored 2 years ago
  
  e3e3146d
May 11, 2022
- maintain compatibility with Coq 8.14, give up on the 8.15 warnings · 68eae2b1
  Ralf Jung authored 2 years ago
  
  68eae2b1
- fix coq_makefile warnings · 17d0c00f
  Ralf Jung authored 2 years ago
  
  17d0c00f
- sync Makefile with POPL21 tutorial · df3dbf7f
  Ralf Jung authored 2 years ago
  
  df3dbf7f
- silence a warning that cannot be fixed without raising the MSCV · f2887416
  Ralf Jung authored 2 years ago
  
  f2887416
- Revert "fix Coq 8.15 warnings" · dcfc59bb
  Ralf Jung authored 2 years ago
  
  This reverts commit 4f3be7ed. We want to still support Coq 8.14.
  dcfc59bb
- more verbose error logs · b7be9663
  Ralf Jung authored 2 years ago
  
  b7be9663