Restore the weaker notion of atomicity (both are now available).
Showing
- CHANGELOG.md 2 additions, 0 deletionsCHANGELOG.md
- theories/heap_lang/tactics.v 1 addition, 1 deletiontheories/heap_lang/tactics.v
- theories/program_logic/ectx_language.v 11 additions, 1 deletiontheories/program_logic/ectx_language.v
- theories/program_logic/hoare.v 16 additions, 3 deletionstheories/program_logic/hoare.v
- theories/program_logic/language.v 8 additions, 0 deletionstheories/program_logic/language.v
- theories/program_logic/weakestpre.v 31 additions, 7 deletionstheories/program_logic/weakestpre.v
Loading
Please register or sign in to comment