-
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
[WIP] Opinionated deployment of enhanced Requalify capabilities on AInvs
arch-split
splitting proofs into generic and architecture dependent
cleanup
enhancement
proof engineering
nicer, shorter, more maintainable etc proofs
proof performance
making the proofs faster
#791
opened Jul 11, 2024 by
Xaphiosis
Loading…
5 tasks
arch-split: Requalify enhancements
enhancement
proof engineering
nicer, shorter, more maintainable etc proofs
#788
opened Jul 11, 2024 by
Xaphiosis
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!
Add no:assignee to see everything that’s not assigned.