- Jul 25, 2023
-
-
- Mar 19, 2023
-
-
Ralf Jung authoredAdd _opam to .gitignore See merge request iris/iris!900
-
Yusuke Matsushita authored -
Robbert Krebbers authored
Add order operations for locations in HeapLang. See merge request iris/iris!854
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Arthur Azevedo de Amorim authored
-
Arthur Azevedo de Amorim authored
-
- Mar 18, 2023
-
-
Ralf Jung authored
add 'wp_apply (...) as' Closes #452 See merge request iris/iris!884
-
-
Robbert Krebbers authored
move style guide into repository See merge request iris/iris!899
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Turn `internal_eq_entails` into a bi-implication See merge request iris/iris!898
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Make `unseal` tactics type-directed See merge request iris/iris!778
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Mar 17, 2023
-
-
Ralf Jung authored
Fix typo in appendix See merge request iris/iris!895
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Also, refactor the file so that all type class + canonical structure instances are at the same place, instead of spread through the file.
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Move definitions and lemmas about heap_lang locations to module `Loc` See merge request iris/iris!890
-
- Mar 10, 2023
-
-
Robbert Krebbers authored
-
- Mar 09, 2023
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Improve iCombine to allow a 'gives' clause for validity properties Closes #460 See merge request iris/iris!872
-
-
- Mar 07, 2023
-
-
Robbert Krebbers authored
Rename `f_contractive_core` into `dist_later_intro`. See merge request iris/iris!896
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Change definition of dist_later for compatability with Transfinite Iris See merge request iris/iris!886
-
-
