Merge branch 'ci/ralf/singletons' into 'master'
rename global singletons to 'GS' suffix Closes #409 See merge request iris/iris!678
No related branches found
No related tags found
Showing
- CHANGELOG.md 6 additions, 0 deletionsCHANGELOG.md
- docs/proof_guide.md 2 additions, 0 deletionsdocs/proof_guide.md
- docs/resource_algebras.md 26 additions, 21 deletionsdocs/resource_algebras.md
- iris/base_logic/lib/boxes.v 2 additions, 2 deletionsiris/base_logic/lib/boxes.v
- iris/base_logic/lib/cancelable_invariants.v 2 additions, 2 deletionsiris/base_logic/lib/cancelable_invariants.v
- iris/base_logic/lib/fancy_updates.v 13 additions, 13 deletionsiris/base_logic/lib/fancy_updates.v
- iris/base_logic/lib/gen_heap.v 19 additions, 19 deletionsiris/base_logic/lib/gen_heap.v
- iris/base_logic/lib/gen_inv_heap.v 10 additions, 10 deletionsiris/base_logic/lib/gen_inv_heap.v
- iris/base_logic/lib/invariants.v 2 additions, 2 deletionsiris/base_logic/lib/invariants.v
- iris/base_logic/lib/na_invariants.v 2 additions, 2 deletionsiris/base_logic/lib/na_invariants.v
- iris/base_logic/lib/proph_map.v 11 additions, 11 deletionsiris/base_logic/lib/proph_map.v
- iris/base_logic/lib/wsat.v 17 additions, 17 deletionsiris/base_logic/lib/wsat.v
- iris/program_logic/adequacy.v 11 additions, 11 deletionsiris/program_logic/adequacy.v
- iris/program_logic/atomic.v 2 additions, 2 deletionsiris/program_logic/atomic.v
- iris/program_logic/ectx_lifting.v 1 addition, 1 deletioniris/program_logic/ectx_lifting.v
- iris/program_logic/lifting.v 1 addition, 1 deletioniris/program_logic/lifting.v
- iris/program_logic/ownp.v 15 additions, 15 deletionsiris/program_logic/ownp.v
- iris/program_logic/total_adequacy.v 4 additions, 4 deletionsiris/program_logic/total_adequacy.v
- iris/program_logic/total_ectx_lifting.v 1 addition, 1 deletioniris/program_logic/total_ectx_lifting.v
- iris/program_logic/total_lifting.v 1 addition, 1 deletioniris/program_logic/total_lifting.v
Loading
Please register or sign in to comment