Merge requests · Iris / RefinedC

simpler definition of simplify_goal

!154 · created Jun 07, 2023 by Michael Sammler
- 0
updated Jun 07, 2023
Automatically generate typeclass instances

!153 · created Jun 06, 2023 by Michael Sammler
- Merged
- 0
updated Jun 06, 2023
remove specialized typeclasses

!152 · created Jun 05, 2023 by Michael Sammler
- Merged
- 0
updated Jun 05, 2023
Verify scheduler data structure

!151 · created Jun 01, 2023 by Kimaya Bedarkar ci/verifybitmap
- 1
updated Jun 06, 2023
Refactor Lithium

!150 · created May 31, 2023 by Michael Sammler
- Merged
- 0
updated Jun 01, 2023
Refactor the Lithium files

!149 · created May 31, 2023 by Michael Sammler
- Merged
- 0
updated May 31, 2023
Unbundle rtype to make more things typeclasses opaque

!148 · created May 30, 2023 by Michael Sammler
- Merged
- 0
updated May 30, 2023
use primitive projections for iProp_to_Prop

!147 · created May 14, 2023 by Michael Sammler
- Merged
- 0
updated May 14, 2023
Draft: Verification of enqueue and dequeue functions

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

!145 · created Apr 20, 2023 by Kimaya Bedarkar
- 16
updated Jun 06, 2023
Verification of bitmap with 256 priorities

!144 · created Apr 20, 2023 by Kimaya Bedarkar
- Closed
- 1
updated Apr 20, 2023
add note in developers.md for mlgmpidl library and small corrections in the annotations docs

!143 · created Apr 04, 2023 by Kimaya Bedarkar
- Merged
- 1
updated Apr 04, 2023
Fix W.subst_l slowdown

!142 · created Mar 07, 2023 by Lennard Gäher
- Merged
- 1
updated Mar 07, 2023
Port to 8.16.0

!141 · created Sep 13, 2022 by Michael Sammler
- Merged
- 0
updated Sep 13, 2022
Change implementation of the --no-mem-cast flag

!140 · created Sep 12, 2022 by Michael Sammler
- Merged
- 0
updated Sep 12, 2022
WIP: Update to new Iris language interface

!139 · created Aug 10, 2022 by Michael Sammler
- 0
updated Aug 10, 2022
update Iris for later credits

!138 · created Jul 07, 2022 by Ralf Jung
- Merged
- 1
updated Jul 07, 2022
update Iris for later credits

!137 · created Jul 07, 2022 by Ralf Jung
- Closed
- 5
updated Jul 08, 2022
update Iris

!136 · created May 13, 2022 by Michael Sammler
- Merged
- 0
updated May 13, 2022
add and verify simpler bitmap implementation

!135 · created May 02, 2022 by Kimaya Bedarkar ci/example-scheduler
- Merged
- Approved
- 1
updated May 03, 2022