-
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
arm+arm-hyp spec+proofs: use UserContext datatype like other arches
cleanup
proof engineering
nicer, shorter, more maintainable etc proofs
#757
opened May 27, 2024 by
Xaphiosis
Loading…
docs: document platform branch procedure
docs
Documentation, READMEs, etc
#755
opened May 24, 2024 by
lsf37
Loading…
verification for IOAPIC PR seL4/seL4#896
seL4-PR
requires merging a corresponding seL4 pull request
#753
opened May 7, 2024 by
lsf37
Loading…
docs: add debugging tips for vcg goals
docs
Documentation, READMEs, etc
#741
opened Mar 25, 2024 by
lsf37
Loading…
Proofs for SGI API
multicore
anything related to multicore verification
seL4-PR
requires merging a corresponding seL4 pull request
ProTip!
Updated in the last three days: updated:>2024-05-25.