Commits · 49021bff592381bf881a62db985d136d57a9f9ac · FP / Stacked Borrows Coq

06 Jul, 2019 11 commits
- Merge branch 'master' of gitlab.mpi-sws.org:FP/stacked-borrows · 49021bff
  Hai Dang authored Jul 06, 2019
  
  49021bff
- fix local inv def · 1e2da9d1
  Hai Dang authored Jul 06, 2019
  
  1e2da9d1
- Merge branch 'master' of gitlab.mpi-sws.org:FP/stacked-borrows · 7d4f09e3
  Ralf Jung authored Jul 06, 2019
  
  7d4f09e3
- working sim_apply · 3c6012c2
  Ralf Jung authored Jul 06, 2019
  
  3c6012c2
- adjust resource for alloc · 18c86cec
  Hai Dang authored Jul 06, 2019
  
  18c86cec
- Merge branch 'master' of gitlab.mpi-sws.org:FP/stacked-borrows · f8a383dd
  Ralf Jung authored Jul 06, 2019
  
  f8a383dd
- more line breaks and a let-lemma specifically for values · 1efe531c
  Ralf Jung authored Jul 06, 2019
  
  1efe531c
- statement for allocating locals · 82a9279b
  Hai Dang authored Jul 06, 2019
  
  82a9279b
- Merge branch 'master' of gitlab.mpi-sws.org:FP/stacked-borrows · 9e4d5d8c
  Hai Dang authored Jul 06, 2019
  
  9e4d5d8c
- make goal a bit more readable · f46394dc
  Ralf Jung authored Jul 06, 2019
  
  f46394dc
- and invariant for local vars · 391e01ee
  Hai Dang authored Jul 06, 2019
  
  391e01ee
05 Jul, 2019 20 commits
- WIP: lmap invariant · 57b8c4f3
  Hai Dang authored Jul 06, 2019
  
  57b8c4f3
- add simple sim_bind tactic · 4c9d1971
  Ralf Jung authored Jul 05, 2019
  
  4c9d1971
- remove admit tactic (just for cleaner grepping) · 6c530c68
  Ralf Jung authored Jul 05, 2019
  
  6c530c68
- Merge branch 'master' of gitlab.mpi-sws.org:FP/stacked-borrows · 5b6f13b7
  Ralf Jung authored Jul 05, 2019
  
  5b6f13b7
- update and fix examples · 3a0ef342
  Ralf Jung authored Jul 05, 2019
  
  3a0ef342
- fix cmra · 1797c461
  Hai Dang authored Jul 05, 2019
  
  1797c461
- add cmra for local var · f734ecf1
  Hai Dang authored Jul 05, 2019
  
  f734ecf1
- WIP: mapsto · 3476c8a5
  Hai Dang authored Jul 05, 2019
  
  3476c8a5
- add some asymmetric rules · f8968978
  Hai Dang authored Jul 05, 2019
  
  f8968978
- renaming · 9d5429c4
  Hai Dang authored Jul 05, 2019
  
  9d5429c4
- WIP: copy public · 65419b4f
  Hai Dang authored Jul 05, 2019
  
  65419b4f
- restructure steps_wf.v · a2c75761
  Hai Dang authored Jul 05, 2019
  
  a2c75761
- fix cinv, WIP: public copy · e06cf26f
  Hai Dang authored Jul 05, 2019
  
  e06cf26f
- Merge branch 'master' of gitlab.mpi-sws.org:FP/stacked-borrows · 955d3374
  Hai Dang authored Jul 05, 2019
  
  955d3374
- parallelize body.v and one_step.v · 020277ad
  Hai Dang authored Jul 05, 2019
  
  020277ad
- update .gitignore · 6adadedb
  Ralf Jung authored Jul 05, 2019
  
  6adadedb
- relax opem dependencies to allow Coq 8.9 · ff5b6d8e
  Ralf Jung authored Jul 05, 2019
  
  ff5b6d8e
- remove field · 2ad7eef7
  Hai Dang authored Jul 05, 2019
  
  2ad7eef7
- add expr wf · e75234b9
  Hai Dang authored Jul 05, 2019
  
  e75234b9
- complete alloc · 3baa5dd5
  Hai Dang authored Jul 05, 2019
  
  3baa5dd5
04 Jul, 2019 4 commits
- WIP: alloc · c8185155
  Hai Dang authored Jul 05, 2019
  
  c8185155
- clean up; WIP: alloc · adfd5269
  Hai Dang authored Jul 05, 2019
  
  adfd5269
- WIP: alloc · d9bba13b
  Hai Dang authored Jul 04, 2019
  
  d9bba13b
- WIP: alloc · 40e3b639
  Hai Dang authored Jul 04, 2019
  
  40e3b639
03 Jul, 2019 5 commits
- WIP: public read · 261e8146
  Hai Dang authored Jul 03, 2019
  
  261e8146
- WIP: read public · d8608ad6
  Hai Dang authored Jul 03, 2019
  
  d8608ad6
- add opt examples · 227e9bfd
  Hai Dang authored Jul 03, 2019
  
  227e9bfd
- fix notations, WIP: adding optmizations · 7281dcca
  Hai Dang authored Jul 03, 2019
  
  7281dcca
- complete frame · f5a44b4e
  Hai Dang authored Jul 03, 2019
  
  f5a44b4e