Commits · 1eb36a8deb92e81169c79cf7815588958d5b3159 · Paolo G. Giarrusso / examples

Dec 19, 2018
- add BSD license · 1eb36a8d
  Ralf Jung authored 6 years ago
  
  Closes #6
  1eb36a8d
Nov 08, 2018
- remove no-longer-needed Makefile hackery · faa14602
  Ralf Jung authored 6 years ago
  
  faa14602
Nov 01, 2018
- test Coq 8.8.2, and test only that · f4d3993b
  Ralf Jung authored 6 years ago
  
  f4d3993b
- bump Iris · 26b60a28
  Ralf Jung authored 6 years ago
  
  26b60a28
Sep 30, 2018
- write URLs the way opam writes them · 4b943421
  Ralf Jung authored 6 years ago
  
  4b943421
Sep 19, 2018
- use Docker image matching CI branch · 00f7b76d
  Ralf Jung authored 6 years ago
  
  00f7b76d
Sep 18, 2018
- update CI for opam 2 · f6ba55cd
  Ralf Jung authored 6 years ago
  
  f6ba55cd
Jul 13, 2018
- Merge branch 'new_atomic' into 'master' · 1849f987
  Ralf Jung authored 6 years ago
  
  port to new atomic triples See merge request FP/iris-atomic!7
  1849f987
- port to new atomic triples · 0bcdf840
  Ralf Jung authored 6 years ago
  
  0bcdf840
- bump Iris to master · d8ea1ae9
  Ralf Jung authored 6 years ago
  
  d8ea1ae9
Jun 22, 2018
- nightly builds: use latest std++; test Coq 8.7.2 (instead of 8.7.1) · c24c7603
  Ralf Jung authored 6 years ago
  
  c24c7603
Jun 08, 2018
- port to gen_proofmode · f06aa0e0
  Ralf Jung authored 6 years ago
  
  f06aa0e0
- update CI and Makefile · deacc8fc
  Ralf Jung authored 6 years ago
  
  deacc8fc
Jun 04, 2018
- .gitignore · 22062ce4
  Ralf Jung authored 6 years ago
  
  22062ce4
Feb 22, 2018
- Bump Iris, fix build. · db15fbd7
  Jacques-Henri Jourdan authored 7 years ago
  
  db15fbd7
Feb 16, 2018
- treat schedules like triggers · dda9060d
  Ralf Jung authored 7 years ago
  
  dda9060d
Feb 15, 2018
- update CI · 472d370c
  Ralf Jung authored 7 years ago
  
  472d370c
Feb 03, 2018
- stop overwriting make uninstall · 25db24c2
  Ralf Jung authored 7 years ago
  
  25db24c2
Dec 18, 2017
- test agains Coq 8.7.1 · 9a3c6fd7
  Ralf Jung authored 7 years ago
  
  9a3c6fd7
- update Iris · 0e2ebcc5
  Ralf Jung authored 7 years ago
  
  0e2ebcc5
Dec 13, 2017
- update README · ae079b96
  Ralf Jung authored 7 years ago
  
  ae079b96
- note that these triples do not match the paper · d1955661
  Ralf Jung authored 7 years ago
  
  d1955661
- update README · f1b0e37b
  Ralf Jung authored 7 years ago
  
  f1b0e37b
Nov 29, 2017
- bump Iris · 1c18e23d
  Ralf Jung authored 7 years ago
  
  1c18e23d
Nov 28, 2017
- drop validation from CI, it does not work reliably enough · 63ca5a06
  Ralf Jung authored 7 years ago
  
  63ca5a06
Nov 22, 2017
- Merge branch 'ralf/saved_pred' into 'master' · e7f8a91e
  Ralf Jung authored 7 years ago
  
  port to savedPred See merge request !6
  e7f8a91e
- port to savedPred · cb8a3ba6
  Ralf Jung authored 7 years ago
  
  cb8a3ba6
Nov 19, 2017
- fix build with latest Iris · 15c2936d
  Ralf Jung authored 7 years ago
  
  15c2936d
Nov 11, 2017
- ssreflect 1.6.4 · f0b58e36
  Ralf Jung authored 7 years ago
  
  f0b58e36
Nov 03, 2017
- try to work around yet another opam silliness · f9ac4634
  Ralf Jung authored 7 years ago
  
  f9ac4634
Oct 29, 2017
- test against released Coq 8.7; update CI · e586fad6
  Ralf Jung authored 7 years ago
  
  e586fad6
- update Iris · 8a0c449e
  Ralf Jung authored 7 years ago
  
  8a0c449e
Oct 19, 2017
- CI: rename REV parameter to IRIS_REV for iris.dev builds · a25a1ec3
  Ralf Jung authored 7 years ago
  
  a25a1ec3
- CI: rename jobs for consistency · 8bcdca8e
  Ralf Jung authored 7 years ago
  
  8bcdca8e
- build-iris.dev: let trigger determine Iris revision · 6ae078c5
  Ralf Jung authored 7 years ago
  
  6ae078c5
Oct 18, 2017
- bump Iris · 121ff9a1
  Ralf Jung authored 7 years ago
  
  121ff9a1
- fix pin detection · ca005c1a
  Ralf Jung authored 7 years ago
  
  ca005c1a
- ignore grep failures · 140a6f0a
  Ralf Jung authored 7 years ago
  
  140a6f0a
- looks like we need to fix the coq-iris version for opam · edc8e522
  Ralf Jung authored 7 years ago
  
  edc8e522
- improve 'package already pinned' check · d4f830d7
  Ralf Jung authored 7 years ago
  
  d4f830d7