Issues · Iris / Iris · GitLab

Set Default Goal Selector

#344 · opened Sep 10, 2020 by Ralf Jung A-coq C-enhancement T-style
- 2
updated Sep 15, 2020
Make CI fail when proofs depend on auto-generated names

#343 · opened Sep 08, 2020 by Ralf Jung A-coq A-infra C-enhancement T-style
- 1
updated Oct 07, 2020
Explore use of `#[local]`/`Local` definitions

#316 · opened 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 · opened 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 · opened Dec 02, 2019 by Robbert A-docs C-enhancement T-style
- 1
- 2
updated Sep 29, 2020
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