Commits · master · Iris / POPL20 Iris Tutorial

24 Nov, 2022 1 commit
- Some links. · d0af7ae6
  Robbert Krebbers authored Nov 24, 2022
  
  d0af7ae6
12 Aug, 2022 1 commit
- 8.16.dev for nightly builds · 49231603
  Ralf Jung authored Aug 12, 2022
  
  49231603
11 Aug, 2022 2 commits
- do nightly builds with Coq 8.16 · 198fc3dd
  Ralf Jung authored Aug 11, 2022
  
  198fc3dd
- update dependencies · f0b6d653
  Ralf Jung authored Aug 11, 2022
  
  f0b6d653
03 Aug, 2022 2 commits
- fix build · ede31b12
  Ralf Jung authored Aug 03, 2022
  
  ede31b12
- update dependencies · 2e6b46b2
  Ralf Jung authored Aug 03, 2022
  
  2e6b46b2
05 Jul, 2022 2 commits
- re-gen exercises · 771a5f85
  Ralf Jung authored Jul 05, 2022
  
  771a5f85
- update dependencies · e3e3146d
  Ralf Jung authored Jul 05, 2022
  
  e3e3146d
11 May, 2022 8 commits
- maintain compatibility with Coq 8.14, give up on the 8.15 warnings · 68eae2b1
  Ralf Jung authored May 11, 2022
  
  68eae2b1
- fix coq_makefile warnings · 17d0c00f
  Ralf Jung authored May 11, 2022
  
  17d0c00f
- sync Makefile with POPL21 tutorial · df3dbf7f
  Ralf Jung authored May 11, 2022
  
  df3dbf7f
- silence a warning that cannot be fixed without raising the MSCV · f2887416
  Ralf Jung authored May 11, 2022
  
  f2887416
- Revert "fix Coq 8.15 warnings" · dcfc59bb
  Ralf Jung authored May 11, 2022
```
This reverts commit 4f3be7ed.
We want to still support Coq 8.14.
```
  dcfc59bb
- more verbose error logs · b7be9663
  Ralf Jung authored May 11, 2022
  
  b7be9663
- fix Coq 8.15 warnings · 4f3be7ed
  Ralf Jung authored May 11, 2022
  
  4f3be7ed
- bump the Coq we test · d9b7f6aa
  Ralf Jung authored May 11, 2022
  
  d9b7f6aa
08 May, 2022 1 commit
- normalize OCaml versions · c801c71a
  Ralf Jung authored May 08, 2022
  
  c801c71a
07 May, 2022 1 commit
- make ocaml version explicit · 19ae77f8
  Ralf Jung authored May 07, 2022
  
  19ae77f8
17 Dec, 2021 4 commits
- update dependencies · 4ebd18e9
  Ralf Jung authored Dec 17, 2021
  
  4ebd18e9
- enable convert_concl_no_check warnings · 8db3c04e
  Ralf Jung authored Dec 17, 2021
  
  8db3c04e
- fix warnings about missing Global · 65d72129
  Ralf Jung authored Dec 17, 2021
  
  65d72129
- update the Coq versions we test · 9450243a
  Ralf Jung authored Dec 17, 2021
  
  9450243a
09 Dec, 2021 1 commit
- update dependencies · d7809911
  Ralf Jung authored Dec 09, 2021
  
  d7809911
12 Oct, 2021 1 commit
- compatibility with Coq master · 77f395a9
  Ralf Jung authored Oct 11, 2021
  
  77f395a9
28 Jul, 2021 1 commit
- update dependencies · 931cb8e0
  Ralf Jung authored Jul 28, 2021
  
  931cb8e0
17 Jun, 2021 1 commit
- forward-compatibility with Wp typeclass changes · a0100699
  Ralf Jung authored Jun 17, 2021
  
  a0100699
05 Jun, 2021 1 commit
- adjust to new job naming scheme · ecb351ec
  Ralf Jung authored Jun 05, 2021
  
  ecb351ec
03 Jun, 2021 1 commit
- update Iris · 358e54a2
  Ralf Jung authored Jun 03, 2021
  
  358e54a2
28 May, 2021 1 commit
- support build-testing against forks · 0aa448fd
  Ralf Jung authored May 28, 2021
  
  0aa448fd
27 May, 2021 1 commit
- update dependencies · f1dc4e38
  Ralf Jung authored May 27, 2021
  
  f1dc4e38
18 Mar, 2021 1 commit
- test Coq 8.13 instead of 8.11 · 2f62762e
  Ralf Jung authored Mar 18, 2021
  
  2f62762e
05 Mar, 2021 1 commit
- Comment. · 7b4b56f7
  Robbert Krebbers authored Mar 05, 2021
  
  7b4b56f7
07 Feb, 2021 1 commit
- Add recursive types. · 6d2980ed
  Robbert Krebbers authored Feb 07, 2021
  
  6d2980ed
26 Jan, 2021 1 commit
- Fix Iris version. · c0f49a8b
  Robbert Krebbers authored Jan 26, 2021
  
  c0f49a8b
25 Jan, 2021 1 commit
- Bump Iris. · cda2003b
  Robbert Krebbers authored Jan 25, 2021
  
  cda2003b
05 Dec, 2020 1 commit
- bump Iris for wp_finish changes · 6452c9ae
  Ralf Jung authored Dec 05, 2020
  
  6452c9ae
11 Nov, 2020 3 commits
- update build system · 4690acc7
  Ralf Jung authored Nov 11, 2020
  
  4690acc7
- fix for changed Iris · 4b0e8bf1
  Ralf Jung authored Nov 11, 2020
  
  4b0e8bf1
- update dependencies (HeapLang split) · 70e32423
  Ralf Jung authored Nov 11, 2020
  
  70e32423
10 Oct, 2020 1 commit
- Merge branch 'master' into 'master' · 0671ad01
  Ralf Jung authored Oct 10, 2020
```
Fix a typo in compatibility.v

See merge request !3
```
  0671ad01