- May 25, 2021
-
-
Ralf Jung authoredExplicit visibility for Instances See merge request iris/stdpp!263
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
This reverts commit 267cc708. Thanks to @jung for spotting this was a NOP, see iris/stdpp!263 (comment 67379)
-
Robbert Krebbers authored
list lookup lemmas: cons, singleton See merge request iris/stdpp!264
-
-
- May 20, 2021
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
explicitly declare visibility of Scope actions See merge request iris/stdpp!262
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- May 19, 2021
-
-
Ralf Jung authored
add insert_take_drop See merge request iris/stdpp!260
-
Ralf Jung authored
-
- May 18, 2021
-
-
Robbert Krebbers authored
add tactic for solving computable goals Closes #83 See merge request iris/stdpp!261
-
Ralf Jung authored
-
- May 17, 2021
-
-
Robbert Krebbers authored
Add little endian encoding of Z See merge request iris/stdpp!254
-
Michael Sammler authored
-
- May 13, 2021
-
-
Ralf Jung authored
-
- May 11, 2021
-
-
Ralf Jung authored
-
- May 07, 2021
-
-
Ralf Jung authored
-
- May 06, 2021
-
-
Robbert Krebbers authored
add Countable instance for decidable Sigma types See merge request iris/stdpp!255
-
- May 05, 2021
-
-
Simon Gregersen authored
-
- May 04, 2021
-
-
Michael Sammler authored
-
-
Michael Sammler authored
-
Michael Sammler authored
-
Michael Sammler authored
-
Michael Sammler authored
-
-
Michael Sammler authored
-
Robbert Krebbers authored
`_True`/`_False` lemmas for `decide` and `mguard` See merge request !256
-
Robbert Krebbers authored
-
- May 03, 2021
-
-
Ralf Jung authored
-
