Merge branch 'ci/robbert/merge_sbi_new' into 'master'
Merge BI and SBI canonical structures See merge request iris/iris!441
No related branches found
No related tags found
Showing
- CHANGELOG.md 26 additions, 0 deletionsCHANGELOG.md
- _CoqProject 1 addition, 0 deletions_CoqProject
- tests/heapprop.ref 0 additions, 0 deletionstests/heapprop.ref
- tests/heapprop.v 234 additions, 0 deletionstests/heapprop.v
- tests/proofmode.ref 42 additions, 43 deletionstests/proofmode.ref
- tests/proofmode.v 18 additions, 16 deletionstests/proofmode.v
- tests/proofmode_ascii.v 3 additions, 4 deletionstests/proofmode_ascii.v
- tests/proofmode_iris.v 2 additions, 3 deletionstests/proofmode_iris.v
- tests/proofmode_monpred.ref 10 additions, 10 deletionstests/proofmode_monpred.ref
- tests/proofmode_monpred.v 4 additions, 5 deletionstests/proofmode_monpred.v
- tests/telescopes.ref 12 additions, 12 deletionstests/telescopes.ref
- tests/telescopes.v 7 additions, 7 deletionstests/telescopes.v
- theories/algebra/lib/excl_auth.v 1 addition, 1 deletiontheories/algebra/lib/excl_auth.v
- theories/base_logic/bi.v 39 additions, 29 deletionstheories/base_logic/bi.v
- theories/base_logic/lib/fancy_updates.v 4 additions, 4 deletionstheories/base_logic/lib/fancy_updates.v
- theories/base_logic/lib/iprop.v 1 addition, 2 deletionstheories/base_logic/lib/iprop.v
- theories/base_logic/lib/own.v 2 additions, 2 deletionstheories/base_logic/lib/own.v
- theories/base_logic/lib/saved_prop.v 1 addition, 1 deletiontheories/base_logic/lib/saved_prop.v
- theories/base_logic/lib/wsat.v 2 additions, 2 deletionstheories/base_logic/lib/wsat.v
- theories/bi/bi.v 2 additions, 2 deletionstheories/bi/bi.v
Loading
Please register or sign in to comment