-
Notifications
You must be signed in to change notification settings - Fork 104
Pull requests: seL4/l4v
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
MCS: set handler params when configuring TCBs
MCS
related to `rt` branch and mixed-criticality systems
Proofs for SGI API
multicore
anything related to multicore verification
seL4-PR
requires merging a corresponding seL4 pull request
Make 'a signed word have a different name than 'a word
#769
opened Jun 26, 2024 by
simonjwinwood
Loading…
Overhaul arch-split in machine, ASpec and AInvs
arch-split
splitting proofs into generic and architecture dependent
cleanup
enhancement
proof engineering
nicer, shorter, more maintainable etc proofs
#805
opened Jul 26, 2024 by
Xaphiosis
Loading…
1 of 2 tasks
Prove related to `rt` branch and mixed-criticality systems
schedContext_donate_ccorres
MCS
#807
opened Jul 31, 2024 by
michaelmcinerney
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…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.