Merge branch 'swasey/progress' into 'master'
Add progress bit to WP. See merge request FP/iris-coq!37
Showing
- CHANGELOG.md 14 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 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 7 additions, 6 deletionstheories/heap_lang/tactics.v
- theories/program_logic/adequacy.v 35 additions, 30 deletionstheories/program_logic/adequacy.v
- theories/program_logic/ectx_language.v 18 additions, 5 deletionstheories/program_logic/ectx_language.v
- theories/program_logic/ectx_lifting.v 59 additions, 28 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 74 additions, 47 deletionstheories/program_logic/hoare.v
- theories/program_logic/language.v 25 additions, 9 deletionstheories/program_logic/language.v
- theories/program_logic/lifting.v 59 additions, 29 deletionstheories/program_logic/lifting.v
- theories/program_logic/ownp.v 147 additions, 85 deletionstheories/program_logic/ownp.v
- theories/program_logic/weakestpre.v 188 additions, 78 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