- 12 Jan, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 10 Dec, 2018 1 commit
-
-
Dan Frumin authored
Get rid of `prop_id`. This also simplifies the proofs.
-
- 29 Nov, 2018 3 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 26 Nov, 2018 2 commits
-
-
Léon Gondelman authored
-
Léon Gondelman authored
-
- 16 Nov, 2018 7 commits
-
-
Dan Frumin authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 15 Nov, 2018 5 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 14 Nov, 2018 3 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 13 Nov, 2018 3 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
- Have a version of bind that allocates a local variable, and automatically frees it at the end. - Only malloced memory can be freed manually.
-
- 12 Nov, 2018 10 commits
-
-
Robbert Krebbers authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Robbert Krebbers authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Robbert Krebbers authored
-
- 11 Nov, 2018 5 commits
-
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Robbert Krebbers authored
- Better representation of symbolic integers - Better representation of symbolic locations - Support while in the vcg - Support alloc in the vcg - A better reification mechanism - Better proofmode support for mapsto with lists - Normalize fractions - Restructure lots of proofs - ...
-
Robbert Krebbers authored
-