- Aug 12, 2022
-
-
Robbert Krebbers authored
-
Ralf Jung authoredadd limit_preserving_impl' See merge request iris/iris!839
-
Ralf Jung authored
Make BI operational classes consistent: always use `PROP:Type` instead of `bi`. See merge request iris/iris!840
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- Aug 11, 2022
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
Generalize Propers for lists See merge request iris/iris!837
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Aug 10, 2022
-
-
Ralf Jung authored
get rid of make_laterable in atomic triples See merge request iris/iris!835
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Move `Make` classes/instances to their own file, and improve documentation See merge request iris/iris!836
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Aug 09, 2022
-
-
Robbert Krebbers authored
Rename `_plus` into `_add`. Closes #472 See merge request iris/iris!821
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
Improve docs for `algebra/proofmode_classes`. See merge request iris/iris!830
-
-
-
Ralf Jung authored
Add instance for `FromSep (tc_opaque P) Q1 Q2` See merge request iris/iris!834
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
use term 'cost' of an instance rather than 'priority' See merge request iris/iris!833
-
Ralf Jung authored
-
Ralf Jung authored
Basic later credits implementation for HeapLang See merge request iris/iris!823
-
