Commits · 000ac444da3916041dc7bd371ccf96c63f190e4f · Iris / Tutorial POPL18

15 Sep, 2020 1 commit
- Merge branch 'macos-gawk' into 'master' · 000ac444
  Ralf Jung authored Sep 15, 2020
```
Document installing gawk on macOS

See merge request tutorial-popl18!6
```
  000ac444
14 Sep, 2020 1 commit
- Document installing gawk on macOS · 44603f4d
  Tej Chajed authored Sep 14, 2020
  
  44603f4d
11 Sep, 2020 2 commits
- update the Coq versions we test against · 09800dea
  Ralf Jung authored Sep 11, 2020
  
  09800dea
- also deny warnings on the 8.10 build · e703be00
  Ralf Jung authored Sep 11, 2020
  
  e703be00
03 Sep, 2020 2 commits
- fix install root warning · 8cff2312
  Ralf Jung authored Sep 03, 2020
  
  8cff2312
- deny warnings · 3d63b4ba
  Ralf Jung authored Sep 03, 2020
  
  3d63b4ba
02 Sep, 2020 3 commits
- test Coq 8.11.2 instead of 8.11.0 · b9233115
  Ralf Jung authored Sep 02, 2020
  
  b9233115
- still silence deprecation warnings for now · c69e43aa
  Ralf Jung authored Sep 02, 2020
  
  c69e43aa
- no need to allow any warnings · 4633e26c
  Ralf Jung authored Sep 02, 2020
  
  4633e26c
28 Aug, 2020 7 commits
- Merge branch 'ralf/auto-ex' into 'master' · 7c3c983f
  Ralf Jung authored Aug 28, 2020
```
update to more automatic solution syntax

See merge request tutorial-popl18!5
```
  7c3c983f
- update to more automatic solution syntax · 35826abd
  Ralf Jung authored Aug 28, 2020
  
  35826abd
- git diff is going to be more helpful here I think · d00179c4
  Ralf Jung authored Aug 28, 2020
  
  d00179c4
- gitignore lia cache · f707bc59
  Ralf Jung authored Aug 28, 2020
  
  f707bc59
- print more on exercise check failure · 7a03b3fa
  Ralf Jung authored Aug 28, 2020
  
  7a03b3fa
- Merge branch 'ralf/gen-exercises' into 'master' · fcc95c24
  Ralf Jung authored Aug 28, 2020
```
Auto-generate exercise files

Closes #4

See merge request tutorial-popl18!4
```
  fcc95c24
- forgot to add Makefile.coq.local · a6c95521
  Ralf Jung authored Aug 28, 2020
  
  a6c95521
27 Aug, 2020 1 commit
- expand README · 5bc2d52c
  Ralf Jung authored Aug 27, 2020
  
  5bc2d52c
06 Aug, 2020 5 commits
- extend README · f9f61719
  Ralf Jung authored Aug 06, 2020
  
  f9f61719
- auto-generate exercises from solutions · da32bfb8
  Ralf Jung authored Aug 06, 2020
  
  da32bfb8
- depend on stable Iris for now · ae3bead2
  Ralf Jung authored Aug 06, 2020
  
  ae3bead2
- update dependencies · 256bd28a
  Ralf Jung authored Aug 06, 2020
  
  256bd28a
- update Makefile · e0a6c546
  Ralf Jung authored Aug 06, 2020
  
  e0a6c546
19 Jun, 2020 2 commits
- Bump Iris (numbers). · ca27a19d
  Robbert Krebbers authored Jun 19, 2020
  
  ca27a19d
- update Makefile · 76ff57e9
  Ralf Jung authored Jun 19, 2020
  
  76ff57e9
29 May, 2020 2 commits
- Use right version of Iris... · af175ba7
  Robbert Krebbers authored May 29, 2020
  
  af175ba7
- Bump Iris (Z_scope). · 426f1417
  Robbert Krebbers authored May 29, 2020
  
  426f1417
16 Mar, 2020 1 commit
- Bump Iris (⊢ changes). · 285fe0ab
  Robbert Krebbers authored Mar 16, 2020
  
  285fe0ab
14 Mar, 2020 1 commit
- Merge branch 'robbert/license' into 'master' · 339a19a1
  Jacques-Henri Jourdan authored Mar 14, 2020
```
Add LICENSE file.

See merge request tutorial-popl18!3
```
  339a19a1
13 Mar, 2020 1 commit
- Add LICENSE file. · 4d466626
  Robbert Krebbers authored Mar 13, 2020
  
  4d466626
12 Mar, 2020 1 commit
- bump Iris · 6d618fdd
  Ralf Jung authored Mar 12, 2020
  
  6d618fdd
19 Feb, 2020 1 commit
- fix Iris repo URL · f5a703a0
  Ralf Jung authored Feb 19, 2020
  
  f5a703a0
18 Feb, 2020 2 commits
- Fix broken links. · d2267e8b
  Robbert Krebbers authored Feb 18, 2020
  
  d2267e8b
- Make demo compile with recent Iris, and add to _CoqProject (and thus CI). · 5fc7f232
  Robbert Krebbers authored Feb 18, 2020
  
  5fc7f232
07 Feb, 2020 2 commits
- bump Iris · fc782dc4
  Ralf Jung authored Feb 07, 2020
  
  fc782dc4
- test Coq 8.11, and no more 8.8 or 8.9 · 1242b392
  Ralf Jung authored Feb 07, 2020
  
  1242b392
13 Jan, 2020 2 commits
- fix opam descr · 1a226ba9
  Ralf Jung authored Jan 13, 2020
  
  1a226ba9
- upgrade to opam 2 · e4084880
  Ralf Jung authored Jan 13, 2020
  
  e4084880
21 Nov, 2019 1 commit
- Bump Iris (make use of `excl_auth`). · 702df1a2
  Robbert Krebbers authored Nov 06, 2019
  
  702df1a2
17 Nov, 2019 1 commit
- update Makefile · 4a9d8f2f
  Ralf Jung authored Nov 17, 2019
  
  4a9d8f2f
12 Nov, 2019 1 commit

Merge branch 'hide-warnings' into 'master' · eb4ea7d9

Ralf Jung authored Nov 12, 2019

Silence uninteresting Coq warnings, including the useless 8.10 ones

See merge request !2

eb4ea7d9