-
Notifications
You must be signed in to change notification settings - Fork 108
Pull requests: seL4/l4v
Author
Label
Projects
Milestones
Reviews
Assignee
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 related to `rt` branch and mixed-criticality systems
sorted_ipc_queues
invariant
MCS
#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
Discard ARM Refine proofs on rt branch
MCS
related to `rt` branch and mixed-criticality systems
#826
opened Nov 14, 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
#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…
Lemmas for simplifying masking and thread states
#817
opened Sep 9, 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…
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!
no:milestone will show everything without a milestone.