Merge requests · Iris / simuliris

Ci/tree borrows

!18 · created Nov 13, 2024 by Neven Villani
- 21
- 1
updated Nov 15, 2024
Tree Borrows (done)

!17 · created Aug 23, 2024 by Johannes Hostert
- Merged
- 10
updated Aug 25, 2024
Rework state wf: Add tag-unique-per-block, separate tree uniqueness and item wf

!16 · created Mar 16, 2024 by Johannes Hostert ci/tree-borrows
- Merged
- 1
- Approved
updated Mar 18, 2024
Theorem about how `item_for_loc` reacts to accesses

!15 · created Feb 07, 2024 by Neven Villani
- Merged
- Approved
updated Feb 07, 2024
Draft: Ci/tree borrows

!14 · created Dec 13, 2023 by Neven Villani
- Merged
- 1
updated Feb 06, 2024
non terminating comment

!13 · created Dec 07, 2023 by Ralf Jung
- Closed
updated Dec 07, 2023
bump Coq

!12 · created Dec 07, 2023 by Ralf Jung
- Merged
updated Dec 07, 2023
Breaking change: `Reserved` now has one constructor instead of 4

!11 · created Nov 30, 2023 by Neven Villani
updated Nov 30, 2023
TB after CI

!10 · created Nov 29, 2023 by Neven Villani
updated Nov 30, 2023
Ongoing Tree Borrows development

!9 · created Nov 23, 2023 by Neven Villani
- Merged
- 11
updated Nov 28, 2023
Test CI for TB

!8 · created Nov 14, 2023 by Neven Villani ci/tree-borrows
- Merged
updated Nov 14, 2023
refactor pool_safe

!7 · created Aug 01, 2021 by Lennard Gäher
- Merged
- 37
updated Aug 06, 2021
Contextual refinement for Stacked Borrows

!6 · created Jun 22, 2021 by Hai Dang
- Merged
- 23
updated Jun 24, 2021
Add global vars

!5 · created Jun 14, 2021 by Michael Sammler
- Merged
- 117
updated Jun 16, 2021
Add dataraces

!4 · created Jun 07, 2021 by Michael Sammler
- Merged
- 152
updated Jun 10, 2021
Parametrize Omega by the thread_id

!3 · created Jun 01, 2021 by Michael Sammler
- Closed
- 39
updated Jun 08, 2021
Refactor simuliris ghost state

!2 · created May 07, 2021 by Michael Sammler
- Merged
- 12
updated May 17, 2021
Add thread ids

!1 · created May 04, 2021 by Michael Sammler
- Merged
updated May 04, 2021