Issues · Iris / Iris · GitLab

Make sure we have Hint Mode for every typeclass 0 of 1 task completed

#381 · created Nov 12, 2020 by Ralf Jung A-coq C-bug T-style
- 0
updated Nov 12, 2020
Make sealing consistent and document it

#379 · created Nov 10, 2020 by Ralf Jung A-coq A-docs C-enhancement T-style
- 0
updated Nov 10, 2020
We have some lonely notations

#375 · created Nov 05, 2020 by Ralf Jung A-coq C-bug T-style
- 0
updated Nov 05, 2020
Avoid sequences of "_" by adjusting lemma statements

#374 · created Nov 05, 2020 by Ralf Jung A-coq C-enhancement T-style
- 0
updated Nov 05, 2020
Explore use of `#[local]`/`Local` definitions

#316 · created May 08, 2020 by Ralf Jung A-coq C-enhancement T-style
- 2
updated Oct 02, 2020
Automatically enforce use of Unicode → instead of ASCII ->

#308 · created Apr 07, 2020 by Tej Chajed A-coq C-enhancement T-style
- 1
- 8
updated Apr 16, 2020
Create example user library and document library best practices

#276 · created Dec 02, 2019 by Robbert Krebbers A-docs C-enhancement T-style
- 1
- 2
updated Sep 29, 2020
Inconsistent order of arguments for `inv_alloc` and `cinv_alloc`.

#267 · created Sep 30, 2019 by Dan Frumin A-coq C-bug T-base_logic T-style
- 2
updated Nov 01, 2019
Use of `Into`/`From`/`As`/`Is` prefixes of classes is inconsistent

#202 · created Jun 18, 2018 by Robbert Krebbers A-coq C-enhancement T-proofmode T-style
- 0
updated Nov 06, 2020
Document variable naming conventions 2 of 4 tasks completed

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