solinas64_2e255m19_5limbs_donna « Specific « src - fiat-crypto

Mode	Name	Size
-rw-r--r--	CurveParameters.v	2387	log plain
-rw-r--r--	Synthesis.v	338	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	454	log plain
-rw-r--r--	feaddDisplay.log	407	log plain
-rw-r--r--	feaddDisplay.v	161	log plain
-rw-r--r--	fecarry.c	1079	log plain
-rw-r--r--	fecarry.v	424	log plain
-rw-r--r--	fecarryDisplay.log	1002	log plain
-rw-r--r--	fecarryDisplay.v	165	log plain
-rw-r--r--	femul.c	2380	log plain
-rw-r--r--	femul.v	454	log plain
-rw-r--r--	femulDisplay.log	2148	log plain
-rw-r--r--	femulDisplay.v	161	log plain
-rw-r--r--	fesquare.c	1848	log plain
-rw-r--r--	fesquare.v	451	log plain
-rw-r--r--	fesquareDisplay.log	1730	log plain
-rw-r--r--	fesquareDisplay.v	167	log plain
-rw-r--r--	fesub.c	642	log plain
-rw-r--r--	fesub.v	454	log plain
-rw-r--r--	fesubDisplay.log	507	log plain
-rw-r--r--	fesubDisplay.v	161	log plain
-rw-r--r--	freeze.c	1431	log plain
-rw-r--r--	freeze.v	437	log plain
-rw-r--r--	freezeDisplay.log	1301	log plain
-rw-r--r--	freezeDisplay.v	165	log plain
-rwxr-xr-x	py_interpreter.sh	99	log plain