Merge requests · Iris / RefinedC

Fix cast insertion in the front end.

!17 · created Jan 23, 2021 by Rodolphe Lepigre
- CLOSED
- 2
updated Jan 28, 2021
Draft: Case study: page table

!42 · created Feb 19, 2021 by Fengmin Zhu
- CLOSED
- 1
updated Aug 19, 2021
Generalisation of pointer fragments.

!53 · created Apr 08, 2021 by Rodolphe Lepigre
- CLOSED
- 0
updated Apr 08, 2021
Generalisation of pointer fragments.

!54 · created Apr 08, 2021 by Rodolphe Lepigre
- CLOSED
- 7
updated Apr 08, 2021
Learn side-conditions in the continuation.

!59 · created Apr 29, 2021 by Rodolphe Lepigre
- CLOSED
- 0
updated Sep 20, 2021
Add support for the comma operator.

!61 · created May 19, 2021 by Rodolphe Lepigre
- CLOSED
- 1
updated May 19, 2021
Remove the layout argument of [free_block].

!65 · created May 27, 2021 by Rodolphe Lepigre
- CLOSED
- 0
updated Sep 20, 2021
More provenance

!71 · created Jun 16, 2021 by Michael Sammler
- CLOSED
- 0
updated Jun 16, 2021
Change rc_copy_alloc_id to do the cast.

!75 · created Jun 21, 2021 by Rodolphe Lepigre
- CLOSED
- 1
updated Jun 21, 2021
WIP: VIP

!88 · created Jul 08, 2021 by Michael Sammler
- CLOSED
- 1
updated Jul 15, 2021
WIP: parameterise operators with boolean result by the result integer type

!98 · created Jul 20, 2021 by Lennard Gäher
- CLOSED
- 3
updated Jul 20, 2021
Use vm_compute in compute_map_lookup

!102 · created Jul 27, 2021 by Michael Sammler
- CLOSED
- 1
updated Jul 30, 2021
Draft: Example scheduler

!132 · created Mar 15, 2022 by Michael Sammler
- CLOSED
- 0
updated Mar 15, 2022
add and verify simpler bitmap implementation

!134 · created Apr 19, 2022 by Kimaya Bedarkar ci/example-scheduler
- CLOSED
- 9
updated May 02, 2022
update Iris for later credits

!137 · created Jul 07, 2022 by Ralf Jung
- CLOSED
- 5
updated Jul 08, 2022