solinas32_2e255m19_10limbs_donna « Specific « src - fiat-crypto

Mode	Name	Size
-rw-r--r--	CurveParameters.v	10559	log plain
-rw-r--r--	Synthesis.v	339	log plain
-rwxr-xr-x	compiler.sh	748	log plain
-rwxr-xr-x	compilerxx.sh	752	log plain
-rw-r--r--	feadd.c	1005	log plain
-rw-r--r--	feadd.v	455	log plain
-rw-r--r--	feaddDisplay.log	712	log plain
-rw-r--r--	feaddDisplay.v	162	log plain
-rw-r--r--	fecarry.c	1828	log plain
-rw-r--r--	fecarry.v	425	log plain
-rw-r--r--	fecarryDisplay.log	1669	log plain
-rw-r--r--	fecarryDisplay.v	166	log plain
-rw-r--r--	femul.c	6384	log plain
-rw-r--r--	femul.v	455	log plain
-rw-r--r--	femulDisplay.log	5837	log plain
-rw-r--r--	femulDisplay.v	162	log plain
-rw-r--r--	fesquare.c	4909	log plain
-rw-r--r--	fesquare.v	452	log plain
-rw-r--r--	fesquareDisplay.log	4565	log plain
-rw-r--r--	fesquareDisplay.v	168	log plain
-rw-r--r--	fesub.c	1145	log plain
-rw-r--r--	fesub.v	455	log plain
-rw-r--r--	fesubDisplay.log	852	log plain
-rw-r--r--	fesubDisplay.v	162	log plain
-rw-r--r--	freeze.c	2621	log plain
-rw-r--r--	freeze.v	438	log plain
-rw-r--r--	freezeDisplay.log	2339	log plain
-rw-r--r--	freezeDisplay.v	166	log plain
-rwxr-xr-x	py_interpreter.sh	101	log plain