Revert "Merge branch 'swasey/progress' into 'master'"
This reverts commit 849abb8d, reversing changes made to 8de0b894. The merge was done accidentally, before review happened.
Showing
- CHANGELOG.md 0 additions, 14 deletionsCHANGELOG.md
- naming.txt 1 addition, 1 deletionnaming.txt
- theories/heap_lang/adequacy.v 3 additions, 3 deletionstheories/heap_lang/adequacy.v
- theories/heap_lang/lifting.v 19 additions, 19 deletionstheories/heap_lang/lifting.v
- theories/heap_lang/proofmode.v 36 additions, 36 deletionstheories/heap_lang/proofmode.v
- theories/heap_lang/tactics.v 6 additions, 7 deletionstheories/heap_lang/tactics.v
- theories/program_logic/adequacy.v 30 additions, 35 deletionstheories/program_logic/adequacy.v
- theories/program_logic/ectx_language.v 5 additions, 18 deletionstheories/program_logic/ectx_language.v
- theories/program_logic/ectx_lifting.v 28 additions, 59 deletionstheories/program_logic/ectx_lifting.v
- theories/program_logic/ectxi_language.v 1 addition, 1 deletiontheories/program_logic/ectxi_language.v
- theories/program_logic/hoare.v 47 additions, 74 deletionstheories/program_logic/hoare.v
- theories/program_logic/language.v 9 additions, 25 deletionstheories/program_logic/language.v
- theories/program_logic/lifting.v 29 additions, 59 deletionstheories/program_logic/lifting.v
- theories/program_logic/ownp.v 85 additions, 147 deletionstheories/program_logic/ownp.v
- theories/program_logic/weakestpre.v 78 additions, 188 deletionstheories/program_logic/weakestpre.v
- theories/tests/heap_lang.v 1 addition, 1 deletiontheories/tests/heap_lang.v
- theories/tests/ipm_paper.v 1 addition, 1 deletiontheories/tests/ipm_paper.v
Loading
Please register or sign in to comment