Merge requests · Iris / RefinedC

Add a [heap_state] invariant.

!50 · created Mar 03, 2021 by Rodolphe Lepigre
- Merged
- 17
updated Mar 09, 2021
Error improvements

!49 · created Mar 02, 2021 by Michael Sammler
- Merged
- 0
updated Mar 02, 2021
semantics and typing rule for NotIntOp

!48 · created Mar 02, 2021 by Fengmin Zhu
- Merged
- 5
updated Mar 04, 2021
Cleaning up around [lang.v]

!47 · created Feb 26, 2021 by Rodolphe Lepigre
- Merged
- 0
updated Mar 02, 2021
Tactic based on lia and autorewrite to solve location equality

!46 · created Feb 22, 2021 by Rodolphe Lepigre
- Merged
- 15
updated Feb 24, 2021
Find hypothesis by semantic equality

!45 · created Feb 22, 2021 by Michael Sammler
- Merged
- 0
updated Feb 23, 2021
move normalize_and_simpl_goal to the beginning of unprepared_solve_goal

!44 · created Feb 22, 2021 by Michael Sammler
- Merged
- 0
updated Feb 22, 2021
Finished [early_alloc.c].

!43 · created Feb 19, 2021 by Rodolphe Lepigre
- Merged
- Approved
- 10
updated Feb 22, 2021
Draft: Case study: page table

!42 · created Feb 19, 2021 by Fengmin Zhu
- Closed
- 1
updated Aug 19, 2021
New [bitwise] abstraction used for [uninit] and [zeroed].

!41 · created Feb 19, 2021 by Rodolphe Lepigre
- Merged
- 5
updated Feb 19, 2021
Autogenerate definition of latch

!40 · created Feb 19, 2021 by Michael Sammler
- Merged
- 0
updated Feb 19, 2021
make structs proof irrelevant

!39 · created Feb 18, 2021 by Michael Sammler
- Merged
- 0
updated Feb 18, 2021
Some more simplification instances

!38 · created Feb 17, 2021 by Michael Sammler
- Merged
- 0
updated Feb 17, 2021
make subsumption on uninit more complete

!37 · created Feb 16, 2021 by Michael Sammler
- Merged
- 0
updated Feb 16, 2021
Ci/bits

!36 · created Feb 16, 2021 by Fengmin Zhu
- Merged
- 25
updated Feb 19, 2021
Progress on the verification of [early_alloc.c].

!35 · created Feb 12, 2021 by Rodolphe Lepigre
- Merged
- 0
updated Feb 12, 2021
Check generated files on CI

!34 · created Feb 12, 2021 by Michael Sammler
- 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
Progress on the verification of [early_alloc.c].

!32 · created Feb 12, 2021 by Rodolphe Lepigre
- Merged
- 0
updated Feb 12, 2021
page_alloc

!31 · created Feb 12, 2021 by Michael Sammler
- Merged
- 0
updated Feb 12, 2021