Merge requests · Iris / RefinedC

sync Makefile and CI with Iris

!1 · created Jul 16, 2020 by Ralf Jung
- MERGED
- 0
updated Jul 16, 2020
Dune build 8 of 12 checklist items completed

!2 · created Sep 22, 2020 by Michael Sammler
- MERGED
- 1
updated Oct 01, 2020
adding allocation range ghost state.

!3 · created Nov 05, 2020 by Rodolphe Lepigre
- MERGED
- 0
updated Nov 12, 2020
Add simplification instance for list ≠ [], needed for quicksort

!4 · created Nov 24, 2020 by Ike Mulder
- MERGED
- 3
updated Nov 24, 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
Use separate inductives for allocation (refactoring).

!6 · created Dec 02, 2020 by Rodolphe Lepigre
- MERGED
- 11
updated Dec 02, 2020
Add support for macros

!7 · created Dec 02, 2020 by Michael Sammler
- MERGED
- 6
updated Dec 07, 2020
Intptr

!8 · created Dec 04, 2020 by Michael Sammler
- MERGED
- 0
updated Dec 04, 2020
Upgrade README demo: it_max -> max_int.

!9 · created Dec 04, 2020 by Fengmin Zhu
- MERGED
- 1
updated Dec 04, 2020
Adding rules for intptr casts.

!10 · created Dec 07, 2020 by Rodolphe Lepigre
- MERGED
- 3
updated Dec 09, 2020
Ensure variable names do not clash with Coq keywords.

!11 · created Dec 10, 2020 by Rodolphe Lepigre
- MERGED
- 0
updated Dec 11, 2020
Add annotation syntax for [global_with_type] constraints.

!12 · created Dec 11, 2020 by Rodolphe Lepigre
- MERGED
- 0
updated Dec 14, 2020
Add infrastructure to destruct products in function parameters.

!13 · created Dec 15, 2020 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated Dec 17, 2020
Encode the constrained type into own_constrained.

!14 · created Dec 18, 2020 by Rodolphe Lepigre
- MERGED
- 3
updated Jan 14, 2021
Unfold instantiated evars on each liRStep.

!15 · created Jan 12, 2021 by Rodolphe Lepigre
- MERGED
- 1
updated Jan 12, 2021
Sugar in the front end + Coq pretty printing

!16 · created Jan 13, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 17
updated Jan 15, 2021
Make caesium an ectxi language

!18 · created Jan 26, 2021 by Michael Sammler
- MERGED
- 0
updated Jan 26, 2021
Performance improvements?

!19 · created Jan 27, 2021 by Michael Sammler
- MERGED
- 0
updated Jan 27, 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
Infrastructure for [SimpleSubsumeVal].

!21 · created Jan 29, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated Feb 01, 2021