solinas32_2e255m19_10limbs « Specific « src - fiat-crypto

Mode	Name	Size
-rw-r--r--	CurveParameters.v	834	log plain
-rw-r--r--	Synthesis.v	333	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	449	log plain
-rw-r--r--	feaddDisplay.log	712	log plain
-rw-r--r--	feaddDisplay.v	156	log plain
-rw-r--r--	fecarry.c	1828	log plain
-rw-r--r--	fecarry.v	419	log plain
-rw-r--r--	fecarryDisplay.log	1669	log plain
-rw-r--r--	fecarryDisplay.v	160	log plain
-rw-r--r--	femul.c	5338	log plain
-rw-r--r--	femul.v	449	log plain
-rw-r--r--	femulDisplay.log	4935	log plain
-rw-r--r--	femulDisplay.v	156	log plain
-rw-r--r--	fesquare.c	4926	log plain
-rw-r--r--	fesquare.v	446	log plain
-rw-r--r--	fesquareDisplay.log	4726	log plain
-rw-r--r--	fesquareDisplay.v	162	log plain
-rw-r--r--	fesub.c	1145	log plain
-rw-r--r--	fesub.v	449	log plain
-rw-r--r--	fesubDisplay.log	852	log plain
-rw-r--r--	fesubDisplay.v	156	log plain
-rw-r--r--	freeze.c	2621	log plain
-rw-r--r--	freeze.v	432	log plain
-rw-r--r--	freezeDisplay.log	2339	log plain
-rw-r--r--	freezeDisplay.v	160	log plain
-rwxr-xr-x	py_interpreter.sh	101	log plain