Issues · Iris / Iris · GitLab

Document relation between Discrete and Timeless (in appendix?)

#394 · opened Dec 23, 2020 by Paolo G. Giarrusso A-docs T-algebra T-base_logic
- 0
updated Jan 06, 2021
Citation guide

#389 · opened Dec 06, 2020 by Tej Chajed A-docs
- 1
updated Dec 08, 2020
Make sealing consistent and document it

#379 · opened Nov 10, 2020 by Ralf Jung A-coq A-docs C-enhancement T-style
- 0
updated Nov 10, 2020
Document HeapLang

#369 · opened Oct 30, 2020 by Ralf Jung A-docs C-enhancement T-heap_lang
- 0
updated Oct 30, 2020
iris.sty incompatible with acmart

#335 · opened Jul 14, 2020 by Ralf Jung A-docs C-bug
- 6
updated Jul 15, 2020
Documentation for installation on Windows

#289 · opened Feb 06, 2020 by Ralf Jung A-docs C-enhancement
- 0
updated Feb 06, 2020
Documentation for installation on OS X

#280 · opened Dec 16, 2019 by Jules Jacobs A-docs C-enhancement
- 1
- 8
updated Feb 06, 2020
Create example user library and document library best practices

#276 · opened Dec 02, 2019 by Robbert A-docs C-enhancement T-style
- 1
- 2
updated Sep 29, 2020
Documentation for the algebra folder

#235 · opened Mar 30, 2019 by Robbert A-docs C-enhancement T-algebra
- 2
- 1
updated Nov 01, 2019
Better names and documentation for proof mode typeclasses

#139 · opened Jan 18, 2018 by Ralf Jung A-docs C-enhancement T-proofmode
- 8
updated Nov 23, 2020
Document language interface

#134 · opened Jan 13, 2018 by Robbert A-docs C-enhancement T-program_logic
- 3
updated Nov 01, 2019
Document variable naming conventions 2 of 4 tasks completed

#16 · opened Mar 22, 2016 by Ralf Jung A-docs C-enhancement T-style
- 3
updated Nov 01, 2019