Merge requests · Iris / RefinedC

Disallow creation of out of bounds pointers

!69 · created Jun 14, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 14, 2021
add valid_ptr requirement to copy alloc id

!70 · created Jun 14, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 14, 2021
More provenances

!72 · created Jun 16, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 16, 2021
require alloc alive on pointer to integer cast

!73 · created Jun 18, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 18, 2021
Add a simplification rule for tagged pointers.

!74 · created Jun 18, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 1
updated Jun 18, 2021
Change rc_copy_alloc_id to do the cast.

!76 · created Jun 21, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 21, 2021
Make integer to pointer casting rule more realistic

!77 · created Jun 21, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 21, 2021
Notation [&tagged] for owned tagged pointers.

!78 · created Jun 22, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated Jun 22, 2021
add at_value type

!79 · created Jun 22, 2021 by Michael Sammler
- MERGED
- Approved
- 0
updated Jun 22, 2021
add type_alive

!80 · created Jun 22, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 22, 2021
check range on int to ptr cast

!81 · created Jun 23, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 24, 2021
Provenance in bytes

!82 · created Jun 24, 2021 by Michael Sammler
- MERGED
- 0
updated Jun 25, 2021
Time/mem cast

!83 · created Jun 25, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 15, 2021
Updated early alloc example

!84 · created Jul 05, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 05, 2021
find buddy

!85 · created Jul 05, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 06, 2021
remove array ptr learn

!86 · created Jul 06, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 06, 2021
make calls extensible

!87 · created Jul 08, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 14, 2021
normalize bool_decide

!89 · created Jul 09, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 09, 2021
change ty_layout to ty_has_layout

!90 · created Jul 12, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 14, 2021
add forall simpl instances

!91 · created Jul 12, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 12, 2021