- Nov 24, 2022
-
-
Paolo G. Giarrusso authored
-
- Nov 23, 2022
-
-
Michael Sammler authored
Fix unfolding logic of bv_simplify See merge request iris/stdpp!411
-
- Nov 18, 2022
-
-
Robbert Krebbers authored
Use `eauto` as default for `set_solver`. See merge request iris/stdpp!420
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authoredadd gset_to_gmap_to_list See merge request iris/stdpp!422
-
- Nov 17, 2022
- Nov 16, 2022
-
-
Ralf Jung authored
-
-
Robbert Krebbers authored
Use `-native-compiler no` to make sure we do not rely on (bugs) in `native_compute`. See merge request iris/stdpp!419
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- Nov 15, 2022
-
-
Ralf Jung authored
-
- Nov 02, 2022
-
-
Ralf Jung authored
Fix bitvector tests for coq#16748 See merge request iris/stdpp!421
-
Michael Sammler authored
-
- Oct 20, 2022
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Oct 08, 2022
-
-
- Oct 06, 2022
-
-
Robbert Krebbers authored
-
- Sep 29, 2022
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Sep 28, 2022
-
-
Robbert Krebbers authored
Added set lemmas about difference and union See merge request iris/stdpp!386
-
Robbert Krebbers authored
-
- Sep 27, 2022
-
-
Jonas Kastberg authored
-
- Sep 25, 2022
-
-
Robbert Krebbers authored
add map_fold_delete See merge request iris/stdpp!412
-
- Sep 24, 2022
-
-
- Sep 23, 2022
-
-
Robbert Krebbers authored
Add lemma `foldr_cons`. See merge request !416
-
Robbert Krebbers authored
Add lemma `lookup_snoc_Some`. See merge request !415
-
Robbert Krebbers authored
Add lemma `filter_app_complement`. See merge request iris/stdpp!414
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Sep 21, 2022
-
-
Ralf Jung authored
-
- Sep 20, 2022
-
-
Robbert Krebbers authored
add map_choose_or_empty See merge request iris/stdpp!413
-
Ralf Jung authored
-
- Sep 07, 2022
-
-
Ralf Jung authored
-
- Aug 25, 2022
-
-
Michael Sammler authored
-
