master
fiat-crypto
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
etc\compile-by-zinc\make-graph-with-reg-by-ac-buckets.py
338 1 7
A
etc\compile-by-zinc\make-graph-with-reg.py
142 1 2
A
src\Rewriter\PerfTesting\Specific\to_csv.py
75 1 1
A
etc\compile-by-zinc\heuristic-search.py
72 1 1
A
fiat-bedrock2\src\curve25519_scalar_64.c
44 1 -
A
fiat-bedrock2\src\p256_scalar_64.c
44 1 -
A
fiat-bedrock2\src\p224_64.c
44 1 -
A
fiat-bedrock2\src\secp256k1_montgomery_64.c
44 1 -
A
fiat-bedrock2\src\secp256k1_montgomery_scalar_64.c
44 1 -
A
fiat-bedrock2\src\p256_64.c
44 1 -
A
fiat-bedrock2\src\curve25519_64.c
36 1 -
A
fiat-bedrock2\src\curve25519_32.c
36 1 -
A
fiat-bedrock2\src\poly1305_32.c
34 1 -
A
etc\compile-by-zinc\make-graph.py
34 1 -
A
fiat-bedrock2\src\p521_64.c
34 2 -
A
fiat-bedrock2\src\p448_solinas_64.c
34 1 -
A
fiat-bedrock2\src\poly1305_64.c
34 1 -
A
src\Rewriter\PerfTesting\Specific\make.py
30 1 -
A
etc\compile-by-zinc\compile-to-zinc-only-registers.py
25 1 -
A
fiat-java\src\FiatP256.java
22 3 -