main
valence-shell
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
B
tests\integration_test.sh
 1 4
A
setup.sh
 1 -
A
scripts\verify-z3.sh
 1 -
A
scripts\verify-proofs.sh
 3 -
A
scripts\validate-with-echidna.sh
 2 -
A
scripts\validate-correspondence.sh
 1 -
A
scripts\security-audit.sh
 2 -
A
scripts\run.sh
 1 -
A
scripts\generate-verification-report.sh
 1 -
A
scripts\demo_verified_operations.sh
 1 -
A
launch.sh
 1 -
A
impl\zig\src\valence_ffi.h
0 2 -
A
impl\rust-cli\tests\manual_sigint_test.sh
 1 -
A
impl\rust-cli\tests\manual_redirect_test.sh
 1 -
A
impl\ocaml\lean_wrapper.c
22 2 -
A
impl\elixir\c_src\valence_nif.c
38 2 -
A
hooks\validate-spdx.sh
 1 -
A
hooks\validate-sha-pins.sh
 1 -
A
hooks\validate-permissions.sh
 1 -
A
hooks\validate-codeql.sh
 1 -