main
absolute-zero
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
examples\special-ops\database\transaction_nop.sql
 1 -
A
examples\special-ops\gpu\nop.cu
 1 -
A
examples\special-ops\os\futex_nop.c
9 2 -
A
examples\special-ops\os\ioctl_nop.c
18 2 -
A
examples\special-ops\os\sched_yield.c
21 2 -
A
examples\special-ops\os\signal_nop.c
16 2 -
A
examples\special-ops\os\syscall_nop.c
6 2 -
A
homepage\index.html
 1 -
A
homepage\style.css
 1 -
A
index.html
 1 -
A
proofs\verify-all-provers.sh
 1 -
A
proofs\z3\verify.sh
 1 -
A
scripts\use-echidna.sh
 2 -
A
verification\run-local-verification.sh
 1 -
A
verification\setup-and-verify.sh
 1 -
A
verification\verify-proofs.sh
 1 -