-
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
misc: remove obsolete BUILD_CACHE from isa-common.mk
cleanup
#760
opened May 31, 2024 by
lsf37
Loading…
Monad improvements
cleanup
proof engineering
nicer, shorter, more maintainable etc proofs
#759
opened May 30, 2024 by
corlewis
Loading…
haskell-translator: avoid invalid escape sequence warnings
cleanup
#758
opened May 29, 2024 by
lsf37
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!
Mix and match filters to narrow down what you’re looking for.