Merge branch 'swasey/progress2' into 'master'
Add stuckness bits to WP. See merge request FP/iris-coq!80
Showing
- CHANGELOG.md 12 additions, 0 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 14 additions, 14 deletionstheories/heap_lang/lifting.v
- theories/heap_lang/proofmode.v 39 additions, 39 deletionstheories/heap_lang/proofmode.v
- theories/heap_lang/tactics.v 7 additions, 6 deletionstheories/heap_lang/tactics.v
- theories/program_logic/adequacy.v 34 additions, 29 deletionstheories/program_logic/adequacy.v
- theories/program_logic/ectx_language.v 17 additions, 4 deletionstheories/program_logic/ectx_language.v
- theories/program_logic/ectx_lifting.v 54 additions, 24 deletionstheories/program_logic/ectx_lifting.v
- theories/program_logic/hoare.v 74 additions, 47 deletionstheories/program_logic/hoare.v
- theories/program_logic/language.v 23 additions, 18 deletionstheories/program_logic/language.v
- theories/program_logic/lifting.v 57 additions, 28 deletionstheories/program_logic/lifting.v
- theories/program_logic/ownp.v 134 additions, 78 deletionstheories/program_logic/ownp.v
- theories/program_logic/weakestpre.v 196 additions, 85 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