Merge requests · Iris / RefinedC

Add support for macros

!7 · created Dec 02, 2020 by Michael Sammler
- Merged
- 6
updated Dec 07, 2020
Use separate inductives for allocation (refactoring).

!6 · created Dec 02, 2020 by Rodolphe Lepigre
- Merged
- 11
updated Dec 02, 2020
Add a good failure state for allocation failure 6 of 6 checklist items completed

!5 · created Nov 26, 2020 by Rodolphe Lepigre
- Merged
- Approved
- 0
updated Nov 27, 2020
Add simplification instance for list ≠ [], needed for quicksort

!4 · created Nov 24, 2020 by Ike Mulder
- Merged
- 3
updated Nov 24, 2020
adding allocation range ghost state.

!3 · created Nov 05, 2020 by Rodolphe Lepigre
- Merged
- 0
updated Nov 12, 2020
Dune build 8 of 12 checklist items completed

!2 · created Sep 22, 2020 by Michael Sammler
- Merged
- 1
updated Oct 01, 2020
sync Makefile and CI with Iris

!1 · created Jul 16, 2020 by Ralf Jung
- Merged
- 0
updated Jul 16, 2020