Merge requests · Iris / RefinedC

cleanup base.v

!96 · created Jul 16, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 16, 2021
Control better which sideconditions get shelved

!108 · created Aug 17, 2021 by Michael Sammler
- MERGED
- 0
updated Aug 19, 2021
Create a separate coq-lithium package

!129 · created Feb 16, 2022 by Michael Sammler
- MERGED
- 15
updated Feb 28, 2022
Disallow creation of out of bounds pointers

!69 · created Jun 14, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 14, 2021
Dune build 8 of 12 tasks completed

!2 · created Sep 22, 2020 by Michael Sammler
- MERGED
- 1
updated Oct 01, 2020
dynamic alloc/free

!116 · created Oct 02, 2021 by Lennard Gäher
- MERGED
- Approved
- 9
updated Oct 06, 2021
enable record update

!120 · created Oct 21, 2021 by Fengmin Zhu
- MERGED
- 1
updated Oct 21, 2021
Encode the constrained type into own_constrained.

!14 · created Dec 18, 2020 by Rodolphe Lepigre
- MERGED
- 3
updated Jan 14, 2021
Ensure variable names do not clash with Coq keywords.

!11 · created Dec 10, 2020 by Rodolphe Lepigre
- MERGED
- 0
updated Dec 11, 2020
Error improvements

!49 · created Mar 02, 2021 by Michael Sammler
- MERGED
- 0
updated Mar 02, 2021
example scheduler

!133 · created Mar 15, 2022 by Michael Sammler
- MERGED
- 8
updated May 11, 2022
Example with tagged pointers.

!60 · created May 14, 2021 by Rodolphe Lepigre
- MERGED
- 10
updated Jun 10, 2021
find buddy

!85 · created Jul 05, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 06, 2021
Find hypothesis by semantic equality

!45 · created Feb 22, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 23, 2021
Finished [early_alloc.c].

!43 · created Feb 19, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 10
updated Feb 22, 2021
Fix inversion of signedness for [uintptr_t] and [intptr_t].

!20 · created Jan 28, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated Jan 28, 2021
Fix res_ty for rc_annot

!131 · created Feb 23, 2022 by Michael Sammler
- MERGED
- Approved
- 2
updated Feb 23, 2022
fix some typos in the tutorial

!130 · created Feb 17, 2022 by Kimaya Bedarkar
- MERGED
- 1
updated Feb 17, 2022
Generalize the [boolean] type.

!112 · created Sep 15, 2021 by Rodolphe Lepigre
- MERGED
- 10
updated Sep 16, 2021
Generate [return 0] for main + small refactoring.

!104 · created Aug 03, 2021 by Rodolphe Lepigre
- MERGED
- 1
- 0
updated Aug 03, 2021