main
absolute-zero
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
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 -
A
examples\c\balanced_ops.c
1 2 -
A
examples\c\nop.c
1 2 -
A
examples\cpp\nop.cpp
1 1 -
A
examples\scala\BalancedOps.scala
1 1 -
A
examples\scala\Nop.scala
1 1 -
A
examples\cpp\balanced_ops.cpp
3 1 -
A
examples\special-ops\os\syscall_nop.c
6 2 -
A
examples\special-ops\os\futex_nop.c
9 2 -
A
examples\special-ops\os\signal_nop.c
16 2 -
A
examples\special-ops\os\ioctl_nop.c
18 2 -
A
examples\special-ops\os\sched_yield.c
21 2 -