Issues · Iris / Iris · GitLab

Follow-up from "Lang lemmas": intuitive explanation of mixin_step_by_val

#271 · created Nov 06, 2019 by Ralf Jung Iris 3.3 A-theory C-enhancement T-heap_lang
- CLOSED
- 1
- 0
updated May 13, 2020
Auth as Views 0 of 2 tasks completed

#257 · created Aug 01, 2019 by Ralf Jung A-theory C-project T-algebra
- CLOSED
- 1
- 1
updated Oct 01, 2020
Syntactic type system for heap_lang 0 of 2 tasks completed

#234 · created Mar 29, 2019 by Robbert Krebbers A-theory C-project T-heap_lang
- CLOSED
- 31
updated Oct 01, 2020
Explore getting rid of implication

#215 · created Oct 13, 2018 by Ralf Jung A-theory
- CLOSED
- 8
updated Nov 01, 2019
Use `plainly_alt` as an axiom and replace most of the current ones

#161 · created Feb 26, 2018 by Jacques-Henri Jourdan A-theory C-project T-bi
- CLOSED
- 66
updated Mar 18, 2020
STSs: Consider changing the def. of frame-steps

#36 · created Sep 29, 2016 by Ralf Jung A-theory C-project T-algebra
- CLOSED
- 5
updated Nov 01, 2019