Merge requests · Iris / RefinedC

Add boolean op-type + [builtin_boolean] type.

!114 · created Sep 20, 2021 by Rodolphe Lepigre
- Merged
- 15
updated Dec 01, 2021
remove constraints on z3 in gitlab-ci.yml

!115 · created Sep 22, 2021 by Michael Sammler
- Merged
- 0
updated Sep 22, 2021
dynamic alloc/free

!116 · created Oct 02, 2021 by Lennard Gäher
- Merged
- Approved
- 9
updated Oct 06, 2021
add SimplExist and SimplForall

!117 · created Oct 07, 2021 by Michael Sammler
- Merged
- Approved
- 12
updated Oct 13, 2021
More simpl instances for bf_cons

!118 · created Oct 14, 2021 by Fengmin Zhu
- Merged
- 1
updated Oct 15, 2021
upgrade to coq 8.14.0

!119 · created Oct 19, 2021 by Michael Sammler
- Merged
- 2
updated Oct 19, 2021
enable record update

!120 · created Oct 21, 2021 by Fengmin Zhu
- Merged
- 1
updated Oct 21, 2021
bail out early for trivial hyps

!122 · created Nov 17, 2021 by Michael Sammler
- Merged
- 0
updated Nov 17, 2021
bail out early for trivial sideconditions

!123 · created Nov 17, 2021 by Michael Sammler
- Merged
- 0
updated Nov 17, 2021
improve liWand performance

!124 · created Nov 23, 2021 by Michael Sammler
- Merged
- 0
updated Nov 23, 2021
Clean up letbinding infrastructure

!125 · created Nov 24, 2021 by Michael Sammler
- Merged
- 0
updated Nov 24, 2021
Remove Movable typeclass

!126 · created Dec 03, 2021 by Michael Sammler
- Merged
- 0
updated Dec 03, 2021
Add notation for tyexists

!127 · created Dec 06, 2021 by Michael Sammler
- Merged
- 0
updated Dec 06, 2021
Add VerifyThis2021 solutions

!128 · created Dec 08, 2021 by Michael Sammler
- Merged
- 4
updated Dec 09, 2021
Create a separate coq-lithium package

!129 · created Feb 16, 2022 by Michael Sammler
- Merged
- 15
updated Feb 28, 2022
fix some typos in the tutorial

!130 · created Feb 17, 2022 by Kimaya Bedarkar
- Merged
- 1
updated Feb 17, 2022
Fix res_ty for rc_annot

!131 · created Feb 23, 2022 by Michael Sammler
- Merged
- Approved
- 2
updated Feb 23, 2022
example scheduler

!133 · created Mar 15, 2022 by Michael Sammler
- Merged
- 8
updated May 11, 2022
add and verify simpler bitmap implementation

!135 · created May 02, 2022 by Kimaya Bedarkar ci/example-scheduler
- Merged
- Approved
- 1
updated May 03, 2022
update Iris

!136 · created May 13, 2022 by Michael Sammler
- Merged
- 0
updated May 13, 2022