Merge branch 'fixpoint-lemmas' into 'master'
bi/fixpoint lemmas See merge request iris/iris!725
No related branches found
No related tags found
Showing
- CHANGELOG.md 19 additions, 0 deletionsCHANGELOG.md
- iris/bi/lib/atomic.v 2 additions, 2 deletionsiris/bi/lib/atomic.v
- iris/bi/lib/fixpoint.v 155 additions, 11 deletionsiris/bi/lib/fixpoint.v
- iris/bi/lib/relations.v 2 additions, 2 deletionsiris/bi/lib/relations.v
- iris/program_logic/total_adequacy.v 1 addition, 1 deletioniris/program_logic/total_adequacy.v
- iris/program_logic/total_weakestpre.v 1 addition, 1 deletioniris/program_logic/total_weakestpre.v
Loading
Please register or sign in to comment