- 28 Feb, 2019 1 commit
-
-
Ralf Jung authored
-
- 27 Feb, 2019 1 commit
-
-
Ralf Jung authored
-
- 26 Feb, 2019 1 commit
-
-
Ralf Jung authored
-
- 25 Feb, 2019 4 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
[documentation] Some more text about the modalities. See merge request iris/iris!220
-
Dan Frumin authored -
Dan Frumin authored
-
- 24 Feb, 2019 1 commit
-
-
Dan Frumin authored
-
- 23 Feb, 2019 1 commit
-
-
Ralf Jung authored
-
- 22 Feb, 2019 2 commits
- 21 Feb, 2019 2 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 20 Feb, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 18 Feb, 2019 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
make wp_par usable See merge request iris/iris!210
-
Ralf Jung authored
-
Ralf Jung authored
-
- 16 Feb, 2019 3 commits
- 13 Feb, 2019 2 commits
- 07 Feb, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 06 Feb, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 05 Feb, 2019 4 commits
-
-
Robbert Krebbers authored
Monadic bind for `option` is non-expansive. See merge request iris/iris!214
-
Dan Frumin authored
-
Ralf Jung authored
Set the Ltac backtrace option in tests. See merge request iris/iris!213
-
Pierre-Marie Pédrot authored
This is a change enabling backward compatibility.
-
- 03 Feb, 2019 2 commits
-
-
Robbert Krebbers authored
A stronger version of `big_sepM_insert_override_{1,2}`. See merge request iris/iris!166 -
Dan Frumin authored
-
- 01 Feb, 2019 4 commits
-
-
Robbert Krebbers authored
Remove `Local` attribute for `Inductive` See merge request iris/iris!212
-
Maxime Dénès authored
This was a noop and will soon be an error (until `Inductive` properly supports locality attributes). See https://github.com/coq/coq/pull/9410
-
Ralf Jung authored
-
Ralf Jung authored
-
- 30 Jan, 2019 1 commit
-
-
Robbert Krebbers authored
Many people using Iris appear to not know these; this may make them easier to find.
-
- 29 Jan, 2019 1 commit
-
-
Ralf Jung authored
-
- 28 Jan, 2019 3 commits
