2lambda123/fiat-crypto

master

fiat-crypto

Grade	Name	Complexity	Churn	Issues
A	inversion\c\p384_32.c	0	1	-
A	inversion\c\p384_32_test.c	0	1	-
A	inversion\c\p434_64.c	0	1	-
A	inversion\c\p434_64_test.c	0	1	-
A	src\Bedrock\End2End\X25519\garagedoor.py		1	-
A	src\Rewriter\PerfTesting\Specific\make.py	30	1	-
A	src\Rewriter\PerfTesting\Specific\to_csv.py	75	1	1
A	src\Util\make_tactics.sh		1	-
A	src\Util\remake_tactics.sh		1	-