Skip to content

Pull requests: seL4/l4v

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

AArch64 Access Control: initial setup Aarch64 AArch64-specific proofs, specs, etc AC access control proofs
#837 opened Dec 11, 2024 by ryybrr Loading…
Add sorted_ipc_queues invariant MCS related to `rt` branch and mixed-criticality systems
#836 opened Dec 10, 2024 by michaelmcinerney Loading…
arch-split Refine up to Invariants_H for AARCH64 (Draft) arch-split splitting proofs into generic and architecture dependent
#833 opened Dec 4, 2024 by Xaphiosis Draft
Prove cancelIPC_ccorres1
#831 opened Nov 30, 2024 by nspin Loading…
Discard ARM Refine proofs on rt branch MCS related to `rt` branch and mixed-criticality systems
#826 opened Nov 14, 2024 by corlewis Loading…
Refactor det_ext to remove scheduler state
#824 opened Oct 28, 2024 by corlewis Loading…
Small IPC lemmas MCS related to `rt` branch and mixed-criticality systems
#822 opened Oct 8, 2024 by michaelmcinerney Loading…
refill_budget_check_ccorres MCS related to `rt` branch and mixed-criticality systems
#821 opened Oct 2, 2024 by michaelmcinerney Loading…
make ARM+ARM_HYP proofs work for smaller irq_len platforms making proofs generic in platform and config settings
#820 opened Sep 28, 2024 by lsf37 Loading…
Update specs to use semi-lazy FPU switching seL4-PR requires merging a corresponding seL4 pull request
#819 opened Sep 24, 2024 by corlewis Loading…
Update decodeSetSchedParams
#818 opened Sep 12, 2024 by michaelmcinerney Draft
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…
Proofs for SGI API multicore anything related to multicore verification seL4-PR requires merging a corresponding seL4 pull request
#733 opened Mar 14, 2024 by lsf37 Draft
C heap tactic
#507 opened Jul 26, 2022 by simonjwinwood Draft
MCS: set handler params when configuring TCBs MCS related to `rt` branch and mixed-criticality systems
#505 opened Jul 22, 2022 by corlewis Draft
add some corres split rules
#399 opened Dec 5, 2021 by noneGMJ Loading…
ProTip! no:milestone will show everything without a milestone.