Merge requests · Iris / RefinedC

Add [cast_to_bool] and factorise "if" rules.

!111 · created Sep 13, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 3
updated Sep 13, 2021
Add a [heap_state] invariant.

!50 · created Mar 03, 2021 by Rodolphe Lepigre
- MERGED
- 17
updated Mar 09, 2021
Add a good failure state for allocation failure 6 of 6 tasks completed

!5 · created Nov 26, 2020 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated Nov 27, 2020
Add a simplification rule for tagged pointers.

!74 · created Jun 18, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 1
updated Jun 18, 2021
Add a size to the [ptr] type.

!29 · created Feb 11, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated Feb 12, 2021
add and verify simpler bitmap implementation

!135 · created May 02, 2022 by Kimaya Bedarkar ci/example-scheduler
- MERGED
- Approved
- 1
updated May 03, 2022
Add annotation syntax for [global_with_type] constraints.

!12 · created Dec 11, 2020 by Rodolphe Lepigre
- MERGED
- 0
updated Dec 14, 2020
add at_value type

!79 · created Jun 22, 2021 by Michael Sammler
- MERGED
- Approved
- 0
updated Jun 22, 2021
Add boolean op-type + [builtin_boolean] type.

!114 · created Sep 20, 2021 by Rodolphe Lepigre
- MERGED
- 15
updated Dec 01, 2021
Add cast in the definition of rc_copy_alloc_id.

!64 · created May 21, 2021 by Rodolphe Lepigre
- MERGED
- 0
updated May 21, 2021
Add CheckOwnInContext

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

!91 · created Jul 12, 2021 by Michael Sammler
- MERGED
- 0
updated Jul 12, 2021
Add infrastructure to destruct products in function parameters.

!13 · created Dec 15, 2020 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated Dec 17, 2020
Add notation for tyexists

!127 · created Dec 06, 2021 by Michael Sammler
- MERGED
- 0
updated Dec 06, 2021
add SimplExist and SimplForall

!117 · created Oct 07, 2021 by Michael Sammler
- MERGED
- Approved
- 12
updated Oct 13, 2021
Add simplification instance for list ≠ [], needed for quicksort

!4 · created Nov 24, 2020 by Ike Mulder
- MERGED
- 3
updated Nov 24, 2020
Add support for macros

!7 · created Dec 02, 2020 by Michael Sammler
- MERGED
- 6
updated Dec 07, 2020
Add support for the comma operator.

!62 · created May 19, 2021 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated May 19, 2021
add type_alive

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

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