Commits · master · Iris / Tutorial POPL18

Jan 19, 2021
- deprecate the popl18 tutorial · f903bf93
  Ralf Jung authored 4 years ago
  
  f903bf93
Dec 09, 2020
- drop support for Coq 8.10 · 11b7bc6a
  Ralf Jung authored 4 years ago
  
  11b7bc6a
Dec 05, 2020
- bump Iris for wp_finish changes · c4ddf629
  Ralf Jung authored 4 years ago
  
  c4ddf629
Nov 11, 2020
- update build system · 3ed6ae06
  Ralf Jung authored 4 years ago
  
  3ed6ae06
- README: fix typo · 65bd2aff
  Ralf Jung authored 4 years ago
  
  65bd2aff
- update dependencies; heap-lang is a separate package now · d4465f6e
  Ralf Jung authored 4 years ago
  
  d4465f6e
Oct 10, 2020
- update dependencies · 47314fec
  Ralf Jung authored 4 years ago
  
  47314fec
Sep 30, 2020
- no CI on forks · 75c05073
  Ralf Jung authored 4 years ago
  
  75c05073
Sep 29, 2020
- update CI config · cd7189f0
  Ralf Jung authored 4 years ago
  
  cd7189f0
Sep 16, 2020
- fix and clean up README · 0895e86a
  Ralf Jung authored 4 years ago
  
  0895e86a
Sep 15, 2020
- fix build · 4137ea01
  Ralf Jung authored 4 years ago
  
  4137ea01
- depend on nightly Iris and fix build · 80662fab
  Ralf Jung authored 4 years ago
  
  80662fab
- Merge branch 'macos-gawk' into 'master' · 000ac444
  Ralf Jung authored 4 years ago
  
  Document installing gawk on macOS See merge request !6
  000ac444
Sep 14, 2020
- Document installing gawk on macOS · 44603f4d
  Tej Chajed authored 4 years ago
  
  Verified
  
  44603f4d
Sep 11, 2020
- update the Coq versions we test against · 09800dea
  Ralf Jung authored 4 years ago
  
  09800dea
- also deny warnings on the 8.10 build · e703be00
  Ralf Jung authored 4 years ago
  
  e703be00
Sep 03, 2020
- fix install root warning · 8cff2312
  Ralf Jung authored 4 years ago
  
  8cff2312
- deny warnings · 3d63b4ba
  Ralf Jung authored 4 years ago
  
  3d63b4ba
Sep 02, 2020
- test Coq 8.11.2 instead of 8.11.0 · b9233115
  Ralf Jung authored 4 years ago
  
  b9233115
- still silence deprecation warnings for now · c69e43aa
  Ralf Jung authored 4 years ago
  
  c69e43aa
- no need to allow any warnings · 4633e26c
  Ralf Jung authored 4 years ago
  
  4633e26c
Aug 28, 2020
- Merge branch 'ralf/auto-ex' into 'master' · 7c3c983f
  Ralf Jung authored 4 years ago
  
  update to more automatic solution syntax See merge request !5
  7c3c983f
- update to more automatic solution syntax · 35826abd
  Ralf Jung authored 4 years ago
  
  35826abd
- git diff is going to be more helpful here I think · d00179c4
  Ralf Jung authored 4 years ago
  
  d00179c4
- gitignore lia cache · f707bc59
  Ralf Jung authored 4 years ago
  
  f707bc59
- print more on exercise check failure · 7a03b3fa
  Ralf Jung authored 4 years ago
  
  7a03b3fa
- Merge branch 'ralf/gen-exercises' into 'master' · fcc95c24
  Ralf Jung authored 4 years ago
  
  Auto-generate exercise files Closes #4 See merge request !4
  fcc95c24
- forgot to add Makefile.coq.local · a6c95521
  Ralf Jung authored 4 years ago
  
  a6c95521
Aug 27, 2020
- expand README · 5bc2d52c
  Ralf Jung authored 4 years ago
  
  5bc2d52c
Aug 06, 2020
- extend README · f9f61719
  Ralf Jung authored 4 years ago
  
  f9f61719
- auto-generate exercises from solutions · da32bfb8
  Ralf Jung authored 4 years ago
  
  da32bfb8
- depend on stable Iris for now · ae3bead2
  Ralf Jung authored 4 years ago
  
  ae3bead2
- update dependencies · 256bd28a
  Ralf Jung authored 4 years ago
  
  256bd28a
- update Makefile · e0a6c546
  Ralf Jung authored 4 years ago
  
  e0a6c546
Jun 19, 2020
- Bump Iris (numbers). · ca27a19d
  Robbert Krebbers authored 4 years ago
  
  ca27a19d
- update Makefile · 76ff57e9
  Ralf Jung authored 4 years ago
  
  76ff57e9
May 29, 2020
- Use right version of Iris... · af175ba7
  Robbert Krebbers authored 4 years ago
  
  af175ba7
- Bump Iris (Z_scope). · 426f1417
  Robbert Krebbers authored 4 years ago
  
  426f1417
Mar 16, 2020
- Bump Iris (⊢ changes). · 285fe0ab
  Robbert Krebbers authored 4 years ago
  
  285fe0ab
Mar 14, 2020
- Merge branch 'robbert/license' into 'master' · 339a19a1
  Jacques-Henri Jourdan authored 4 years ago
  
  Add LICENSE file. See merge request !3
  339a19a1