-
Notifications
You must be signed in to change notification settings - Fork 105
Pull requests: seL4/l4v
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Lemmas for simplifying masking and thread states
#817
opened Sep 9, 2024 by
michaelmcinerney
Loading…
Prove related to `rt` branch and mixed-criticality systems
cancelBadgedSends_ccorres
MCS
#816
opened Sep 3, 2024 by
michaelmcinerney
Loading…
arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS
platforms
making proofs generic in platform and config settings
#815
opened Sep 2, 2024 by
lsf37
Loading…
make proofs generic in cacheLineBits
platforms
making proofs generic in platform and config settings
#814
opened Sep 2, 2024 by
lsf37
Loading…
verification for deferred cache flush in untyped reset
seL4-PR
requires merging a corresponding seL4 pull request
#811
opened Aug 16, 2024 by
lsf37
Loading…
MCS: Remove grant right from reply cap
MCS
related to `rt` branch and mixed-criticality systems
seL4-PR
requires merging a corresponding seL4 pull request
#808
opened Aug 2, 2024 by
corlewis
Loading…
Make 'a signed word have a different name than 'a word
#769
opened Jun 26, 2024 by
simonjwinwood
Loading…
Proofs for SGI API
multicore
anything related to multicore verification
seL4-PR
requires merging a corresponding seL4 pull request
MCS: set handler params when configuring TCBs
MCS
related to `rt` branch and mixed-criticality systems
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.