Merge branch 'ralf/printing' into 'master'
Printing improvements See merge request iris/iris!726
No related branches found
No related tags found
Showing
- CHANGELOG.md 3 additions, 0 deletionsCHANGELOG.md
- iris/base_logic/lib/fancy_updates_from_vs.v 1 addition, 3 deletionsiris/base_logic/lib/fancy_updates_from_vs.v
- iris/bi/lib/atomic.v 12 additions, 12 deletionsiris/bi/lib/atomic.v
- iris/bi/lib/counterexamples.v 1 addition, 2 deletionsiris/bi/lib/counterexamples.v
- iris/bi/notation.v 16 additions, 16 deletionsiris/bi/notation.v
- iris/bi/weakestpre.v 38 additions, 36 deletionsiris/bi/weakestpre.v
- iris/program_logic/atomic.v 4 additions, 4 deletionsiris/program_logic/atomic.v
- iris/proofmode/notation.v 4 additions, 4 deletionsiris/proofmode/notation.v
- tests/atomic.ref 59 additions, 43 deletionstests/atomic.ref
- tests/heap_lang.ref 2 additions, 1 deletiontests/heap_lang.ref
- tests/heap_lang_printing.ref 120 additions, 8 deletionstests/heap_lang_printing.ref
- tests/heap_lang_printing.v 34 additions, 6 deletionstests/heap_lang_printing.v
- tests/list_reverse.ref 2 additions, 1 deletiontests/list_reverse.ref
- tests/one_shot.ref 9 additions, 8 deletionstests/one_shot.ref
- tests/one_shot_once.ref 10 additions, 9 deletionstests/one_shot_once.ref
- tests/proofmode.ref 18 additions, 18 deletionstests/proofmode.ref
- tests/proofmode_ascii.ref 2 additions, 2 deletionstests/proofmode_ascii.ref
- tests/proofmode_iris.ref 4 additions, 4 deletionstests/proofmode_iris.ref
Loading
Please register or sign in to comment