Merge requests · Iris / RefinedC

Draft: Add specs for some more functions

!170 · created Dec 08, 2023 by Kimaya Bedarkar
- Closed
updated Feb 02, 2024
Verify scheduler data structure

!151 · created Jun 01, 2023 by Kimaya Bedarkar
- Closed
- 1
updated Jun 21, 2023
Draft: Verification of enqueue and dequeue functions

!146 · created Apr 21, 2023 by Kimaya Bedarkar kimaya/verifybitmap
- Closed
updated Apr 21, 2023
Verification of bitmap with 256 priorities

!144 · created Apr 20, 2023 by Kimaya Bedarkar
- Closed
- 1
updated Apr 20, 2023
update Iris for later credits

!137 · created Jul 07, 2022 by Ralf Jung
- Closed
- 5
updated Jul 08, 2022
add and verify simpler bitmap implementation

!134 · created Apr 19, 2022 by Kimaya Bedarkar ci/example-scheduler
- Closed
- 9
updated May 02, 2022
Draft: Example scheduler

!132 · created Mar 15, 2022 by Michael Sammler
- Closed
updated Mar 15, 2022
Learn side-conditions in the continuation.

!59 · created Apr 29, 2021 by Rodolphe Lepigre
- Closed
updated Sep 20, 2021
Remove the layout argument of [free_block].

!65 · created May 27, 2021 by Rodolphe Lepigre
- Closed
updated Sep 20, 2021
Draft: Case study: page table

!42 · created Feb 19, 2021 by Fengmin Zhu
- Closed
- 1
updated Aug 19, 2021
Use vm_compute in compute_map_lookup

!102 · created Jul 27, 2021 by Michael Sammler
- Closed
- 1
updated Jul 30, 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
WIP: VIP

!88 · created Jul 08, 2021 by Michael Sammler
- Closed
- 1
updated Jul 15, 2021
Change rc_copy_alloc_id to do the cast.

!75 · created Jun 21, 2021 by Rodolphe Lepigre
- Closed
- 1
updated Jun 21, 2021
More provenance

!71 · created Jun 16, 2021 by Michael Sammler
- Closed
updated Jun 16, 2021
Add support for the comma operator.

!61 · created May 19, 2021 by Rodolphe Lepigre
- Closed
- 1
updated May 19, 2021
Generalisation of pointer fragments.

!54 · created Apr 08, 2021 by Rodolphe Lepigre
- Closed
- 7
updated Apr 08, 2021
Generalisation of pointer fragments.

!53 · created Apr 08, 2021 by Rodolphe Lepigre
- Closed
updated Apr 08, 2021
Fix cast insertion in the front end.

!17 · created Jan 23, 2021 by Rodolphe Lepigre
- Closed
- 2
updated Jan 28, 2021