Merge requests · Iris / RefinedC

better implementation of trigger_foralls

!175 · created Feb 27, 2024 by Michael Sammler
- Merged
updated Feb 27, 2024
port to Coq 8.19.0

!174 · created Feb 23, 2024 by Michael Sammler
- Merged
updated Feb 26, 2024
create evars for Type in liExist

!173 · created Feb 16, 2024 by Michael Sammler
- Merged
updated Feb 16, 2024
add ci to all branches except noci branches

!172 · created Feb 06, 2024 by Michael Sammler
- Merged
updated Feb 06, 2024
Verification of receive messages and check channels

!171 · created Feb 02, 2024 by Kimaya Bedarkar
- Merged
- 19
updated Apr 05, 2024
Draft: Add specs for some more functions

!170 · created Dec 08, 2023 by Kimaya Bedarkar
- Closed
updated Feb 02, 2024
update to Coq 8.18.0

!169 · created Nov 29, 2023 by Michael Sammler
- Merged
- 1
updated Nov 30, 2023
Add prosa progress

!168 · created Sep 26, 2023 by Kimaya Bedarkar kimaya/refinedprosav2
- Merged
updated Sep 26, 2023
change the return value of read

!167 · created Sep 26, 2023 by Kimaya Bedarkar kimaya/refinedprosav2
- Merged
updated Sep 26, 2023
Add specs for malloc and free

!166 · created Aug 25, 2023 by Michael Sammler
- Merged
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
Draft: Ci/pkvm hof

!163 · created Aug 21, 2023 by Laila Elbeheiry
updated Aug 23, 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
updated Jul 31, 2023
Make existentials more lazy

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

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

!158 · created Jul 25, 2023 by Michael Sammler
- Merged
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