Commits · 3ed6ae06cd676da90152ee1701afae1f7e859547 · Iris / Tutorial POPL18

11 Nov, 2020 3 commits
- update build system · 3ed6ae06
  Ralf Jung authored Nov 11, 2020
  
  3ed6ae06
- README: fix typo · 65bd2aff
  Ralf Jung authored Nov 11, 2020
  
  65bd2aff
- update dependencies; heap-lang is a separate package now · d4465f6e
  Ralf Jung authored Nov 11, 2020
  
  d4465f6e
10 Oct, 2020 1 commit
- update dependencies · 47314fec
  Ralf Jung authored Oct 10, 2020
  
  47314fec
30 Sep, 2020 1 commit
- no CI on forks · 75c05073
  Ralf Jung authored Sep 30, 2020
  
  75c05073
29 Sep, 2020 1 commit
- update CI config · cd7189f0
  Ralf Jung authored Sep 29, 2020
  
  cd7189f0
16 Sep, 2020 1 commit
- fix and clean up README · 0895e86a
  Ralf Jung authored Sep 16, 2020
  
  0895e86a
15 Sep, 2020 3 commits
- fix build · 4137ea01
  Ralf Jung authored Sep 15, 2020
  
  4137ea01
- depend on nightly Iris and fix build · 80662fab
  Ralf Jung authored Sep 15, 2020
  
  80662fab
- Merge branch 'macos-gawk' into 'master' · 000ac444
  Ralf Jung authored Sep 15, 2020
```
Document installing gawk on macOS

See merge request !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 !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 !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 !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