- Aug 13, 2019
-
-
Robbert Krebbers authored
More lemmas about [map_imap]. See merge request iris/stdpp!84
-
-
Robbert Krebbers authored
std++ 1.2.1 release notes See merge request iris/stdpp!86
-
- Aug 07, 2019
-
-
Ralf Jung authored
-
- Jul 13, 2019
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Robbert Krebbers authored
some list lemmas See merge request iris/stdpp!82
-
Ralf Jung authored
-
- Jul 09, 2019
-
-
Ralf Jung authored
-
- Jul 08, 2019
-
-
Ralf Jung authored
-
- Jul 07, 2019
- Jul 05, 2019
-
-
Robbert Krebbers authored
-
- Jul 04, 2019
-
-
Robbert Krebbers authored
some lemmas for seq and imap See merge request !77
-
Robbert Krebbers authored
Some list related lemmas See merge request !78
-
- Jul 03, 2019
-
-
Michael Sammler authored
-
Michael Sammler authored
-
- Jun 30, 2019
-
-
Robbert Krebbers authored
add invserses of bool_decide_{true,false} See merge request !81
-
-
Robbert Krebbers authored
-
- Jun 28, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
SeqZ Function See merge request !72
-
-
- Jun 27, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Jun 26, 2019
-
-
Robbert Krebbers authored
Define `Involutive` in terms of `Cancel`. See merge request iris/stdpp!79
-
Robbert Krebbers authored
Perform `fast_done` first in `naive_solver`. See merge request !80
-
Robbert Krebbers authored
Added two proper instances with permutations See merge request iris/stdpp!76
-
Robbert Krebbers authored
-
Michael Sammler authored
-
Robbert Krebbers authored
This avoids `naive_solver` tearing whole goals apart, even if the goal appears exactly as a hypothesis.
-
- Jun 25, 2019
-
-
Robbert Krebbers authored
This closes issue #36.
-
- Jun 21, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Jun 20, 2019
-
-
Robbert Krebbers authored
show a Proper instance for dom See merge request iris/stdpp!74
-
-
Robbert Krebbers authored
-
Ralf Jung authored
make solve_ndisj more powerful Closes #34 See merge request iris/stdpp!75
-