Commits · 9a3c6fd7d55e9b914b11c3b948069987d178aa20 · Dan Frumin / iris-examples

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 FP/iris-atomic!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
- CI: prepare for trigger-based building against Iris master · 1763e08e
  Ralf Jung authored 7 years ago
  
  1763e08e
- opam: don't use shell for no good reason · c3ea8d22
  Ralf Jung authored 7 years ago
  
  c3ea8d22
Oct 10, 2017
- update build system · a405ab11
  Ralf Jung authored 7 years ago
  
  a405ab11
Oct 07, 2017
- tweak opam build-dep installation · 1f37b537
  Ralf Jung authored 7 years ago
  
  1f37b537
Sep 28, 2017
- fix macOS · 777669b5
  Ralf Jung authored 7 years ago
  
  777669b5
Sep 27, 2017
- update build system; support Coq 8.7 · 92a20eb0
  Ralf Jung authored 7 years ago
  
  92a20eb0
Sep 22, 2017
- update CI and build system and Iris · 64ec23fe
  Ralf Jung authored 7 years ago
  
  64ec23fe
- Merge branch 'bump-iris' into 'master' · 6d98dc66
  Ralf Jung authored 7 years ago
  
  Bump Iris version to match LambdaRust-Coq. See merge request !4
  6d98dc66
Aug 22, 2017
- shorten job name · c8ac548e
  Ralf Jung authored 7 years ago
  
  c8ac548e
- use coq 8.6.1 · a7262e53
  Ralf Jung authored 7 years ago
  
  a7262e53
Jul 31, 2017
- Bump Iris version to match LambdaRust-Coq. · 977b763b
  Joshua Yanovski authored 7 years ago
  
  977b763b
Mar 17, 2017
- no mroe Coq 8.5 · d8a0d882
  Ralf Jung authored 8 years ago
  
  d8a0d882
- update to new CI machine · 2f28694b
  Ralf Jung authored 8 years ago
  
  2f28694b
Jan 10, 2017
- awk.Makefile: uninstall .v and .glob files · 0a1c826e
  Ralf Jung authored 8 years ago
  
  0a1c826e
- awk.Makefile: uninstall: also delete empty directories · 1761ad42
  Ralf Jung authored 8 years ago
  
  1761ad42
- fix awk.Makefile · ac2d5cce
  Ralf Jung authored 8 years ago
  
  ac2d5cce
- fix name of a CI job · cb52071b
  Ralf Jung authored 8 years ago
  
  cb52071b
- fix build · 44ebaf99
  Ralf Jung authored 8 years ago
  
  44ebaf99