solinas64_2e255m19_5limbs « Specific « src - fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
-rw-r--r--	CurveParameters.v	824	log plain
-rw-r--r--	Synthesis.v	332	log plain
-rwxr-xr-x	compiler.sh	732	log plain
-rwxr-xr-x	compilerxx.sh	736	log plain
-rw-r--r--	feadd.c	542	log plain
-rw-r--r--	feadd.v	448	log plain
-rw-r--r--	feaddDisplay.log	407	log plain
-rw-r--r--	feaddDisplay.v	155	log plain
-rw-r--r--	fecarry.c	1079	log plain
-rw-r--r--	fecarry.v	418	log plain
-rw-r--r--	fecarryDisplay.log	1002	log plain
-rw-r--r--	fecarryDisplay.v	159	log plain
-rw-r--r--	femul.c	2175	log plain
-rw-r--r--	femul.v	448	log plain
-rw-r--r--	femulDisplay.log	1975	log plain
-rw-r--r--	femulDisplay.v	155	log plain
-rw-r--r--	fesquare.c	1946	log plain
-rw-r--r--	fesquare.v	445	log plain
-rw-r--r--	fesquareDisplay.log	1848	log plain
-rw-r--r--	fesquareDisplay.v	161	log plain
-rw-r--r--	fesub.c	642	log plain
-rw-r--r--	fesub.v	448	log plain
-rw-r--r--	fesubDisplay.log	507	log plain
-rw-r--r--	fesubDisplay.v	155	log plain
-rw-r--r--	freeze.c	1431	log plain
-rw-r--r--	freeze.v	431	log plain
-rw-r--r--	freezeDisplay.log	1301	log plain
-rw-r--r--	freezeDisplay.v	159	log plain
-rwxr-xr-x	py_interpreter.sh	99	log plain