Issues · Iris / Iris · GitLab

Explore use of `#[local]`/`Local` definitions

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

#308 · opened Apr 07, 2020 by Tej Chajed A-coq C-enhancement T-style
- 1
- 8
updated Apr 16, 2020
Remove eta-expansions from sealed definitions

#285 · opened Jan 15, 2020 by Ralf Jung A-coq C-enhancement T-style
- 0
updated Jan 15, 2020
Create example user library

#276 · opened Dec 02, 2019 by Robbert A-docs C-enhancement T-style
- 0
updated Dec 02, 2019
Inconsistent order of arguments for `inv_alloc` and `cinv_alloc`.

#267 · opened 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 · opened Jun 18, 2018 by Robbert A-coq C-enhancement Good First Issue T-proofmode T-style
- 0
updated Nov 01, 2019
Always qualify Instance with Local or Global

#195 · opened Jun 05, 2018 by Ralf Jung A-coq C-enhancement T-style
- 0
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