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

Mode	Name	Size
-rw-r--r--	CurveParameters.v	832	log plain
-rw-r--r--	Synthesis.v	332	log plain
-rwxr-xr-x	compiler.sh	735	log plain
-rwxr-xr-x	compilerxx.sh	739	log plain
-rw-r--r--	feadd.c	634	log plain
-rw-r--r--	feadd.v	448	log plain
-rw-r--r--	feaddDisplay.log	468	log plain
-rw-r--r--	feaddDisplay.v	155	log plain
-rw-r--r--	fecarry.c	1228	log plain
-rw-r--r--	fecarry.v	418	log plain
-rw-r--r--	fecarryDisplay.log	1135	log plain
-rw-r--r--	fecarryDisplay.v	159	log plain
-rw-r--r--	femul.c	2771	log plain
-rw-r--r--	femul.v	448	log plain
-rw-r--r--	femulDisplay.log	2531	log plain
-rw-r--r--	femulDisplay.v	155	log plain
-rw-r--r--	fesquare.c	2503	log plain
-rw-r--r--	fesquare.v	445	log plain
-rw-r--r--	fesquareDisplay.log	2385	log plain
-rw-r--r--	fesquareDisplay.v	161	log plain
-rw-r--r--	fesub.c	742	log plain
-rw-r--r--	fesub.v	448	log plain
-rw-r--r--	fesubDisplay.log	576	log plain
-rw-r--r--	fesubDisplay.v	155	log plain
-rw-r--r--	freeze.c	3024	log plain
-rw-r--r--	freeze.v	431	log plain
-rw-r--r--	freezeDisplay.log	2948	log plain
-rw-r--r--	freezeDisplay.v	159	log plain
-rwxr-xr-x	py_interpreter.sh	101	log plain