master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
etc\ci\github-actions-make.sh
 2 -
A
etc\ci\in-debian-chroot.sh
 1 -
A
etc\ci\keep_alive.sh
 1 -
A
etc\ci\setup-debian-chroot.sh
 1 1
A
etc\ci\smithers.sh
 1 -
A
etc\ci\sudo-apt-get-update.sh
 1 -
A
etc\ci\test-fiat-c-boringssl.sh
 4 -
A
etc\ci\test-fiat-rust-crate-crypto-Ed448-Goldilocks.sh
 1 -
A
etc\ci\test-fiat-rust-curve25519-dalek.sh
 2 -
A
etc\ci\travis.sh
 1 1
A
etc\ci\travis_keep_alive.sh
 1 -
A
etc\compile-by-zinc\compile-to-zinc-only-registers.py
25 1 -
A
etc\compile-by-zinc\compile-to-zinc-registers.py
19 1 -
A
etc\compile-by-zinc\compile-to-zinc.py
19 1 -
A
etc\compile-by-zinc\exhaustive-search.py
21 1 -
A
etc\compile-by-zinc\heuristic-search.py
72 1 1
A
etc\compile-by-zinc\make-graph-with-reg-by-ac-buckets.py
338 1 9
A
etc\compile-by-zinc\make-graph-with-reg.py
142 1 4
A
etc\compile-by-zinc\make-graph.py
34 1 1
A
etc\compile-by-zinc\memoize.py
1 1 -