Skip to content

No labels!

There aren’t any labels for this repository quite yet.

22 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
Aarch64
Aarch64
AArch64-specific proofs, specs, etc
2
AC
AC
access control proofs
bug
bug
problems in spec, proofs, or tools
build system
build system
related to building the proofs or kernel
1
BV
BV
This work is related to Binary Verification projects
C-parser
C-parser
anything about the C/Simpl parser
4
CI
CI
1
cleanup
cleanup
20
docs
docs
Documentation, READMEs, etc
3
duplicate
duplicate
enhancement
enhancement
8
good first issue
good first issue
good issue to take on if you are new to the project
invalid
invalid
MCS
MCS
5
multicore
multicore
anything related to multicore verification
1
proof engineering
proof engineering
nicer, shorter, more maintainable etc proofs
26
proof performance
proof performance
making the proofs faster
1
proof tools
proof tools
convenience, automation, productivity tools
12
question
question
3
RISCV64
RISCV64
This work is related to verification of the RISCV64 architecture
seL4-PR
seL4-PR
requires merging a corresponding seL4 pull request
1
wontfix
wontfix