Issues · Iris · GitLab

`Hint Mode` for `QuoteLookup` and `Quote`

stdpp#44 · opened Sep 16, 2019 by Dan Frumin
- 4
updated Sep 16, 2019
Provide a total version of `!!` for finite maps and lists

stdpp#43 · opened Sep 16, 2019 by Robbert
- 4
updated Sep 16, 2019
Investigate use of "Filtered Unification"

iris#264 · opened Aug 31, 2019 by Ralf Jung
- 0
updated Aug 31, 2019
Inconsistent notations for Haskell-like partially applied operators

stdpp#42 · opened Aug 29, 2019 by Robbert
- 1
- 1
updated Sep 08, 2019
IPM/MoSeL nested disjunction syntax

iris#263 · opened Aug 29, 2019 by Dan Frumin
- 1
updated Aug 30, 2019
`big_op*_forall` that relate traversals over different structures

iris#262 · opened Aug 28, 2019 by Dmitry Khalanskiy
- 1
updated Aug 29, 2019
Provide a better `inversion` tactic

stdpp#40 · opened Aug 23, 2019 by Robbert
- 3
updated Aug 24, 2019
Provide smart `bi` constructor for BIs that are not step-indexed

iris#261 · opened Aug 21, 2019 by Robbert
- 1
- 0
updated Aug 21, 2019
Stronger `list_core_id`

iris#258 · opened Aug 06, 2019 by Dmitry Khalanskiy
- 5
updated Aug 29, 2019
Auth as Views

iris#257 · opened Aug 01, 2019 by Ralf Jung
- 1
updated Aug 13, 2019
Failure to find a proof of persistence

iris#255 · opened Jul 19, 2019 by Dmitry Khalanskiy
- 8
updated Jul 23, 2019
Reliance on `Export` bug

iris#254 · opened Jul 09, 2019 by Maxime Dénès
- 4
updated Sep 05, 2019
Constructing CMRAs by giving isomorphism to CMRAs

iris#253 · opened Jul 09, 2019 by Paolo G. Giarrusso
- 1
- 0
updated Jul 09, 2019
"Exponentiation" for separating conjunctions

iris#252 · opened Jul 09, 2019 by Dmitry Khalanskiy
- 3
updated Jul 09, 2019
Create list of tactics provided by std++

stdpp#39 · opened Jul 04, 2019 by Robbert
- 1
updated Jul 04, 2019
Add a test for solve_proper on a unary function

stdpp#38 · opened Jul 02, 2019 by Ralf Jung
- 0
updated Jul 02, 2019
Extend `solve_proper` to better handle HO functions

stdpp#37 · opened Jul 02, 2019 by Robbert
- 1
updated Aug 22, 2019
`solved_typed` tactic

reloc#5 · opened Jun 25, 2019 by Dan Frumin
- 0
updated Jun 25, 2019
Simplification machinery for RA operations

iris#251 · opened Jun 24, 2019 by Ralf Jung
- 1
- 1
updated Aug 25, 2019
Unify case_bool_decide / case_decide

stdpp#35 · opened Jun 22, 2019 by Ralf Jung
- 0
updated Jun 22, 2019

Prev
1
2
3
4
5
…
Next
Last »