Merge requests · Iris / RefinedC

Add specs for malloc and free

!166 · created Aug 25, 2023 by Michael Sammler
- Merged
- 0
updated Aug 25, 2023
Add a stronger function subtyping rule

!165 · created Aug 23, 2023 by Laila Elbeheiry
- Merged
- 30
updated Aug 29, 2023
add annotation support for evar instantiation

!164 · created Aug 23, 2023 by Laila Elbeheiry
- Merged
- 6
updated Aug 25, 2023
verify receive one message function

!162 · created Aug 18, 2023 by Kimaya Bedarkar
- Merged
- 53
updated Aug 29, 2023
Use more Hint Extern instead of IsEx

!161 · created Jul 31, 2023 by Michael Sammler
- Merged
- 0
updated Jul 31, 2023
Make existentials more lazy

!160 · created Jul 31, 2023 by Michael Sammler
- Merged
- 0
updated Jul 31, 2023
Keep sideconditions inside the iris ctx

!159 · created Jul 25, 2023 by Michael Sammler
- Merged
- 0
updated Jul 25, 2023
Remove continuation from SimplAnd and SimplImpl

!158 · created Jul 25, 2023 by Michael Sammler
- Merged
- 0
updated Jul 25, 2023
Verify fds data structure functions

!157 · created Jul 02, 2023 by Kimaya Bedarkar
- Merged
- 16
updated Jul 19, 2023
add scheduler data structure

!156 · created Jun 21, 2023 by Kimaya Bedarkar
- Merged
- 2
updated Jun 27, 2023
Cleanup new Lithium Syntax

!155 · created Jun 13, 2023 by Michael Sammler
- Merged
- 0
updated Jun 13, 2023
simpler definition of simplify_goal

!154 · created Jun 07, 2023 by Michael Sammler
- Merged
- 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
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
add bitmap with 256 priorities

!145 · created Apr 20, 2023 by Kimaya Bedarkar
- Merged
- 19
updated Jun 16, 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