Commits · stdpp · Iris / Fairis · GitLab

Snippets Groups Projects

Feb 21, 2019
- stop doing CI on this branch · cbde97b7
  Ralf Jung authored 6 years ago
  
  cbde97b7
Feb 01, 2019
- update Makefile · be5df115
  Ralf Jung authored 6 years ago
  
  be5df115
Dec 19, 2018
- update Makefile and CI config · 6aa60602
  Ralf Jung authored 6 years ago
  
  6aa60602
Nov 08, 2018
- remove no-longer-needed Makefile hackery · 05d3b7ab
  Ralf Jung authored 6 years ago
  
  05d3b7ab
Sep 19, 2018
- dont share cache with other branch · a8339057
  Ralf Jung authored 6 years ago
  
  a8339057
- use Docker image matching CI branch · 6089d55c
  Ralf Jung authored 6 years ago
  
  6089d55c
Sep 18, 2018
- update CI for opam 2 · 1b74070b
  Ralf Jung authored 6 years ago
  
  1b74070b
May 30, 2018
- update CI and Makefile · 07d2978c
  Ralf Jung authored 7 years ago
  
  07d2978c
May 09, 2018
- update Makefile · ea206213
  Ralf Jung authored 7 years ago
  
  ea206213
- update CI and Makefile · 93f03d36
  Ralf Jung authored 7 years ago
  
  93f03d36
Mar 07, 2018
- fix CI · 8ab41f9c
  Ralf Jung authored 7 years ago
  
  8ab41f9c
- Merge branch 'stdpp' of gitlab.mpi-sws.org:jtassaro/fri-coq into stdpp · 4f73f942
  Joseph Tassarotti authored 7 years ago
  
  4f73f942
- Give derived version of Lob tactic-rule via Robbert's proof from GPM. · 8ae82774
  Joseph Tassarotti authored 7 years ago
  
  8ae82774
Mar 06, 2018
- CI: use timing runner · aacccba0
  Ralf Jung authored 7 years ago
  
  aacccba0
- Fix ci. · cc5e00d8
  Joseph Tassarotti authored 7 years ago
  
  cc5e00d8
- CI for stdpp branch. · 3e9f3519
  Joseph Tassarotti authored 7 years ago
  
  3e9f3519
- Bump stdpp; fix some bad 'simpl' in gid_destruct usage. · 768984e6
  Joseph Tassarotti authored 7 years ago
  
  768984e6
Dec 04, 2017
- Fix some aspects of readme. · d21adae8
  Joseph Tassarotti authored 7 years ago
  
  d21adae8
- Change readme page title · 8e7da16d
  Joseph Tassarotti authored 7 years ago
  
  8e7da16d
- Update to modern coq directory structure; rename project to 'fri', set up opam. · baeeaebd
  Joseph Tassarotti authored 7 years ago
  
  baeeaebd
- Merge branch 'fair-refine' into fair-refine-stdpp · b53c8c7b
  Joseph Tassarotti authored 7 years ago
  
  b53c8c7b
- Update readme for dependencies; remove verbose tactics. · 3a451d4f
  Joseph Tassarotti authored 7 years ago
  
  3a451d4f
- Delete the unneed prelude/ stuff that was a duplication of old coq-stdpp. · 0210a602
  Joseph Tassarotti authored 7 years ago
  
  0210a602
Dec 03, 2017
- Finish fixing old proofs; delete unused array_lang/ stuff. Performance is still very bad. · f6101454
  Joseph Tassarotti authored 7 years ago
  
  f6101454
Dec 02, 2017
- WIP. · c8bb5f4a
  Joseph Tassarotti authored 7 years ago
  
  c8bb5f4a
- Update up through heap_lang. · 145afd4d
  Joseph Tassarotti authored 7 years ago
  
  145afd4d
Dec 01, 2017
- Switched back to having ucmra with discrete unit; more WIP updating. · 825e7e74
  Joseph Tassarotti authored 7 years ago
  
  825e7e74
- Fix bug in old proofmode; I think I need ucmra to have discrete units again. · df6f2669
  Joseph Tassarotti authored 7 years ago
  
  df6f2669
- Continuing w/ replacement with ofes and stdpp; hitting bugs in old proofmode... · 85ca3e31
  Joseph Tassarotti authored 7 years ago
  85ca3e31
Nov 30, 2017
- WIP switching to stdpp and moving from Cofe to Ofe. · aebbe02a
  Joseph Tassarotti authored 7 years ago
  
  aebbe02a
- Merge branch 'fair-refine-8.7' into fair-refine · 1b5e31d9
  Joseph Tassarotti authored 7 years ago
  
  1b5e31d9
- Update to 8.7. · 18990e66
  Joseph Tassarotti authored 7 years ago
  
  18990e66
Oct 22, 2016
- Update Coq outline. · bdcddb9c
  Joseph Tassarotti authored 8 years ago
  
  bdcddb9c
Oct 08, 2016
- Re-name; update readme. · d63b5243
  Joseph Tassarotti authored 8 years ago
  
  d63b5243
- Soundness of logical relation and closed proof of refinement for ticket -> clh example. · acde4085
  Joseph Tassarotti authored 8 years ago
  
  acde4085
Oct 07, 2016
- Finish fundamental lemma for lock refinement. · cba39706
  Joseph Tassarotti authored 8 years ago
  
  cba39706
Oct 06, 2016
- WIP logical relation for lock refinement. · 382fde26
  Joseph Tassarotti authored 8 years ago
  
  382fde26
Oct 05, 2016
- WIP fundamental lemma for lock refinement. · 9074f85c
  Joseph Tassarotti authored 8 years ago
  
  9074f85c
- Define generic logical relation for proving refinements for locks. · 87d689a5
  Joseph Tassarotti authored 8 years ago
  
  87d689a5
Oct 04, 2016
- Some clean-up. · c3d009b0
  Joseph Tassarotti authored 8 years ago
  
  c3d009b0