Select Git revision
Search by author
- Any Author
- authors
-
Derek Dreyer dreyer
-
Hai Dang haidang
-
Jacques-Henri Jourdan jjourdan
-
Janno
janno
-
Lennard Gäher lgaeher
-
Michael Sammler msammler
-
Ralf Jung
jung
-
Robbert Krebbers robbertkrebbers
-
Rodolphe Lepigre lepigre
-
Simon Spies simonspies
-
Tej Chajed tchajed
-
iris-dev iris-dev
- May 28, 2021
-
-
Robbert Krebbers authored
-
- May 26, 2021
-
-
Ralf Jung authored -
Robbert Krebbers authored
Thanks to @jules for pointing out these were missing.
-
- May 25, 2021
-
-
Robbert Krebbers authored
-
-
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 !263 (comment 67379)
-
Robbert Krebbers authored
list lookup lemmas: cons, singleton See merge request !264
-
-
- May 20, 2021
- May 19, 2021
-
-
-
Ralf Jung authored
-
- May 18, 2021
-
-
Robbert Krebbers authored
add tactic for solving computable goals Closes #83 See merge request !261
-
Ralf Jung authored
-
- May 17, 2021
-
-
Robbert Krebbers authored
Add little endian encoding of Z See merge request !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 !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
-
-
