Commits · master · Fengmin Zhu / Tutorial POPL20

10 Oct, 2020 1 commit
- fix a typo in compatibility.v · 8060a3d5
  Paul authored Oct 10, 2020
  
  8060a3d5
30 Sep, 2020 1 commit
- no CI on forks · 97a48702
  Ralf Jung authored Sep 30, 2020
  
  97a48702
29 Sep, 2020 1 commit
- update CI config · 034c8b60
  Ralf Jung authored Sep 29, 2020
  
  034c8b60
16 Sep, 2020 2 commits
- Line breaks. · 4bf4ba41
  Robbert Krebbers authored Sep 16, 2020
  
  4bf4ba41
- Remove derived coqdocjs folder. · 68988484
  Robbert Krebbers authored Sep 16, 2020
  
  68988484
15 Sep, 2020 1 commit
- add macOS gawk instructions · 98d71334
  Ralf Jung authored Sep 15, 2020
  
  98d71334
11 Sep, 2020 1 commit
- also test on Coq 8.12.0 · 8a9fed3c
  Ralf Jung authored Sep 11, 2020
  
  8a9fed3c
03 Sep, 2020 2 commits
- fix install root warning · 7a0cb9b0
  Ralf Jung authored Sep 03, 2020
  
  7a0cb9b0
- deny warnings · 8090352b
  Ralf Jung authored Sep 03, 2020
  
  8090352b
02 Sep, 2020 2 commits
- still silence deprecation warnings for now · 6fffc8ac
  Ralf Jung authored Sep 02, 2020
  
  6fffc8ac
- enable all warnings and fix them · f9bd627e
  Ralf Jung authored Sep 02, 2020
  
  f9bd627e
28 Aug, 2020 6 commits
- Merge branch 'ralf/auto-exercises' into 'master' · bd617107
  Ralf Jung authored Aug 28, 2020
```
Auto-generate exercise files

See merge request iris/tutorial-popl20!2
```
  bd617107
- README: remove reference to old files · 5b508c95
  Ralf Jung authored Aug 28, 2020
  
  5b508c95
- update gen-exercises · 6fb34b80
  Ralf Jung authored Aug 28, 2020
  
  6fb34b80
- remove demo files · 51d52de9
  Ralf Jung authored Aug 28, 2020
  
  51d52de9
- adjust solutions file syntax to be easier to use · d7107cb8
  Ralf Jung authored Aug 28, 2020
  
  d7107cb8
- auto-generate exercises from solutions · b2b410d9
  Ralf Jung authored Aug 28, 2020
  
  b2b410d9
06 Aug, 2020 1 commit
- add CI · db028517
  Ralf Jung authored Aug 06, 2020
  
  db028517
28 Jul, 2020 2 commits
- Merge branch 'iris-3.3-port' into 'master' · 44a8a8fa
  Robbert Krebbers authored Jul 28, 2020
```
Iris 3.3 port

See merge request !1
```
  44a8a8fa
- Mention only tested Coq version. · 7315df35
  Arthur Azevedo de Amorim authored Jul 28, 2020
  
  7315df35
27 Jul, 2020 1 commit
- Use lia instead of omega. · 2639ecba
  Arthur Azevedo de Amorim authored Jul 27, 2020
  
  2639ecba
23 Jul, 2020 2 commits
- Update compilation instructions. · 41a6ec57
  Arthur Azevedo de Amorim authored Jul 23, 2020
  
  41a6ec57
- Port Coq files to Iris 3.3.0. · 4577bfa3
  Arthur Azevedo de Amorim authored Jul 23, 2020
  
  4577bfa3
19 Jun, 2020 1 commit
- update Makefile · 0a42f504
  Ralf Jung authored Jun 19, 2020
  
  0a42f504
13 Mar, 2020 1 commit
- Update LICENSE. · 09a93371
  Robbert Krebbers authored Mar 13, 2020
  
  09a93371
11 Mar, 2020 2 commits
- Merge branch 'master' of gitlab.mpi-sws.org:iris/tutorial-popl20 · 699b4805
  Amin Timany authored Mar 11, 2020
  
  699b4805
- The interactive file I developed together with the audience · 3ce3bb2d
  Amin Timany authored Mar 11, 2020
  
  3ce3bb2d
21 Feb, 2020 1 commit
- update Makefile · 5c30b5c6
  Ralf Jung authored Feb 21, 2020
  
  5c30b5c6
20 Jan, 2020 12 commits
- Type former tweaks. · 372a9a0b
  Robbert Krebbers authored Jan 20, 2020
  
  372a9a0b
- Make make work. · e5303d75
  Robbert Krebbers authored Jan 20, 2020
  
  e5303d75
- Fix _CoqProject. · fb64a614
  Robbert Krebbers authored Jan 20, 2020
  
  fb64a614
- Update links in README. · d91bbf1d
  Robbert Krebbers authored Jan 20, 2020
  
  d91bbf1d
- Merge branch 'master' of gitlab.mpi-sws.org:iris/tutorial-popl20 · fe406700
  Robbert Krebbers authored Jan 20, 2020
  
  fe406700
- Fundamental comments. · e7409376
  Robbert Krebbers authored Jan 20, 2020
  
  e7409376
- also fix imports · 810f6a9f
  Ralf Jung authored Jan 20, 2020
  
  810f6a9f
- Comments for fundamental. · 6b2fd748
  Robbert Krebbers authored Jan 20, 2020
  
  6b2fd748
- update exercises · 20ba9d4c
  Ralf Jung authored Jan 20, 2020
  
  20ba9d4c
- Merge branch 'master' of https://gitlab.mpi-sws.org/iris/tutorial-popl20 · 697ba6c8
  Ralf Jung authored Jan 20, 2020
  
  697ba6c8
- script to generate exercises, and generate them · a47f9e2d
  Ralf Jung authored Jan 20, 2020
  
  a47f9e2d
- Change project name in _CoqProject. · 4c7e479e
  Robbert Krebbers authored Jan 20, 2020
  
  4c7e479e