Commits · 8bcdca8e2a5b8cde221640d57b014d8092fbcc76 · Dan Frumin / iris-examples

Oct 19, 2017
- 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
- update build system; update Iris to latest master · 097589c8
  Ralf Jung authored 8 years ago
  
  097589c8
Jan 03, 2017
- Fix CI config · fd6e6f17
  Zhen Zhang authored 8 years ago
  
  fd6e6f17
- Update version number · e8edac3b
  Zhen Zhang authored 8 years ago
  
  e8edac3b
- Update to Coq 8.6 · d36fa653
  Zhen Zhang authored 8 years ago
  
  d36fa653
Dec 22, 2016
- Update doc · 3dd0a0c2
  Zhen Zhang authored 8 years ago
  
  3dd0a0c2
- Move f_spec back to peritem · 2050c2e1
  Zhen Zhang authored 8 years ago
  
  2050c2e1
- Simplify and update · 3fd612a9
  Zhen Zhang authored 8 years ago
  
  - evmap is dropped - per-item invariant is implemented with inv-in-inv - peritem.v is simplified by proving an ad-hoc iter spec - update to latest iris - related fixes
  3fd612a9
Dec 14, 2016
- add comment on dec_agree in evmap · 14f857ba
  Ralf Jung authored 8 years ago
  
  14f857ba
Dec 13, 2016
- port most things away from dec_agree · a50a88fc
  Ralf Jung authored 8 years ago
  
  a50a88fc
- update Iris version · 572c37bb
  Ralf Jung authored 8 years ago
  
  572c37bb
- fix build with latest iris · 753aaaae
  Ralf Jung authored 8 years ago
  
  753aaaae
Dec 12, 2016
- Bump Iris version. · 70104c0f
  Robbert Krebbers authored 8 years ago
  
  70104c0f
- Fix some FIXMEs. · 975d454b
  Robbert Krebbers authored 8 years ago
  
  975d454b
- Update README · fc4ae5bc
  Ralf Jung authored 8 years ago
  
  fc4ae5bc
- use OPAM-based CI · cbe5e59a
  Ralf Jung authored 8 years ago
  
  cbe5e59a