Merge requests · Iris / RefinedC

Strengthen the [LocInBounds] infrastructure.

!22 · created Feb 01, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 11
updated Feb 02, 2021
Unfold more definitions in the side condition solver.

!23 · created Feb 02, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated Feb 03, 2021
small steps towards improving subsume_list

!24 · created Feb 04, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 04, 2021
Make more functions simpl never

!25 · created Feb 08, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 08, 2021
More [loc_in_bounds] infrastructure.

!26 · created Feb 10, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated Feb 10, 2021
Refactor rule for arithmetic operators.

!27 · created Feb 10, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated Feb 12, 2021
Refactor mpool

!28 · created Feb 11, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 11, 2021
Add a size to the [ptr] type.

!29 · created Feb 11, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated Feb 12, 2021
try new version of unification

!30 · created Feb 12, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 12, 2021
page_alloc

!31 · created Feb 12, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 12, 2021
Progress on the verification of [early_alloc.c].

!32 · created Feb 12, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated Feb 12, 2021
Case study: quick sort

!33 · created Feb 12, 2021 by Fengmin Zhu
- MERGED
- Approved
- 16
updated Feb 26, 2021
Check generated files on CI

!34 · created Feb 12, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 12, 2021
Progress on the verification of [early_alloc.c].

!35 · created Feb 12, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated Feb 12, 2021
Ci/bits

!36 · created Feb 16, 2021 by Fengmin Zhu
- MERGED
- 25
updated Feb 19, 2021
make subsumption on uninit more complete

!37 · created Feb 16, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 16, 2021
Some more simplification instances

!38 · created Feb 17, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 17, 2021
make structs proof irrelevant

!39 · created Feb 18, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 18, 2021
Autogenerate definition of latch

!40 · created Feb 19, 2021 by Michael Sammler
- MERGED
- 0
updated Feb 19, 2021
New [bitwise] abstraction used for [uninit] and [zeroed].

!41 · created Feb 19, 2021 by Rodolphe Lepigre
- MERGED
- 5
updated Feb 19, 2021