Merge requests · Iris / RefinedC

Provenance in bytes

!82 · created Jun 24, 2021 by Michael Sammler
- Merged
updated Jun 25, 2021
check range on int to ptr cast

!81 · created Jun 23, 2021 by Michael Sammler
- Merged
updated Jun 24, 2021
add type_alive

!80 · created Jun 22, 2021 by Michael Sammler
- Merged
updated Jun 22, 2021
add at_value type

!79 · created Jun 22, 2021 by Michael Sammler
- Merged
- Approved
updated Jun 22, 2021
Notation [&tagged] for owned tagged pointers.

!78 · created Jun 22, 2021 by Rodolphe Lepigre
- Merged
updated Jun 22, 2021
Make integer to pointer casting rule more realistic

!77 · created Jun 21, 2021 by Michael Sammler
- Merged
updated Jun 21, 2021
Change rc_copy_alloc_id to do the cast.

!76 · created Jun 21, 2021 by Michael Sammler
- Merged
updated Jun 21, 2021
Add a simplification rule for tagged pointers.

!74 · created Jun 18, 2021 by Rodolphe Lepigre
- Merged
- 1
- Approved
updated Jun 18, 2021
require alloc alive on pointer to integer cast

!73 · created Jun 18, 2021 by Michael Sammler
- Merged
updated Jun 18, 2021
More provenances

!72 · created Jun 16, 2021 by Michael Sammler
- Merged
updated Jun 16, 2021
add valid_ptr requirement to copy alloc id

!70 · created Jun 14, 2021 by Michael Sammler
- Merged
updated Jun 14, 2021
Disallow creation of out of bounds pointers

!69 · created Jun 14, 2021 by Michael Sammler
- Merged
updated Jun 14, 2021
update iris

!68 · created Jun 14, 2021 by Michael Sammler
- Merged
updated Jun 14, 2021
Example with tagged pointers.

!60 · created May 14, 2021 by Rodolphe Lepigre
- Merged
- 10
updated Jun 10, 2021
Reduce shifts on Z in solve goal, unfold aligned_to and Z.divide in solve_goal and simpl in solve_goal

!67 · created Jun 10, 2021 by Michael Sammler
- Merged
updated Jun 10, 2021
Update Cerberus version.

!66 · created Jun 02, 2021 by Rodolphe Lepigre
- Merged
updated Jun 02, 2021
Add cast in the definition of rc_copy_alloc_id.

!64 · created May 21, 2021 by Rodolphe Lepigre
- Merged
updated May 21, 2021
Preserve different C types in the frontend.

!63 · created May 20, 2021 by Rodolphe Lepigre
- Merged
- Approved
updated May 20, 2021
Add support for the comma operator.

!62 · created May 19, 2021 by Rodolphe Lepigre
- Merged
- Approved
updated May 19, 2021
Hide the code in RefinedC goals.

!58 · created Apr 28, 2021 by Rodolphe Lepigre
- Merged
updated Apr 28, 2021