Merge requests · Iris / RefinedC

Clean up letbinding infrastructure

!125 · created Nov 24, 2021 by Michael Sammler
- MERGED
- 0
updated Nov 24, 2021
improve liWand performance

!124 · created Nov 23, 2021 by Michael Sammler
- MERGED
- 0
updated Nov 23, 2021
bail out early for trivial sideconditions

!123 · created Nov 17, 2021 by Michael Sammler
- MERGED
- 0
updated Nov 17, 2021
bail out early for trivial hyps

!122 · created Nov 17, 2021 by Michael Sammler
- MERGED
- 0
updated Nov 17, 2021
More case studies; new impl

!121 · created Nov 15, 2021 by Fengmin Zhu
- 7
updated Nov 18, 2021
enable record update

!120 · created Oct 21, 2021 by Fengmin Zhu
- MERGED
- 1
updated Oct 21, 2021
upgrade to coq 8.14.0

!119 · created Oct 19, 2021 by Michael Sammler
- MERGED
- 2
updated Oct 19, 2021
More simpl instances for bf_cons

!118 · created Oct 14, 2021 by Fengmin Zhu
- MERGED
- 1
updated Oct 15, 2021
add SimplExist and SimplForall

!117 · created Oct 07, 2021 by Michael Sammler
- MERGED
- Approved
- 12
updated Oct 13, 2021
dynamic alloc/free

!116 · created Oct 02, 2021 by Lennard Gäher
- MERGED
- Approved
- 9
updated Oct 06, 2021
remove constraints on z3 in gitlab-ci.yml

!115 · created Sep 22, 2021 by Michael Sammler
- MERGED
- 0
updated Sep 22, 2021
WIP: Add boolean op-type + [builtin_boolean] type.

!114 · created Sep 20, 2021 by Rodolphe Lepigre
updated Sep 22, 2021
Better handling of Coq paths in the frontend.

!113 · created Sep 16, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 2
updated Sep 20, 2021
Generalize the [boolean] type.

!112 · created Sep 15, 2021 by Rodolphe Lepigre
- MERGED
- 10
updated Sep 16, 2021
Add [cast_to_bool] and factorise "if" rules.

!111 · created Sep 13, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 3
updated Sep 13, 2021
change implementation of via_vm_compute and add negb simpl instances

!110 · created Aug 25, 2021 by Michael Sammler
- MERGED
- 0
updated Aug 25, 2021
Bit-wise reasoning

!109 · created Aug 19, 2021 by Fengmin Zhu
- MERGED
- 85
updated Aug 27, 2021
Control better which sideconditions get shelved

!108 · created Aug 17, 2021 by Michael Sammler
- MERGED
- 0
updated Aug 19, 2021
Use multisuccess of typeclasses eauto to get rid of n parameter in FindInContext

!107 · created Aug 05, 2021 by Michael Sammler
- MERGED
- 0
updated Aug 05, 2021
add via_vm_compute

!106 · created Aug 05, 2021 by Michael Sammler
- MERGED
- 0
updated Aug 05, 2021