ZUtil « Util « src - fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
-rw-r--r--	AddGetCarry.v	4021	log plain
-rw-r--r--	AddModulo.v	283	log plain
-rw-r--r--	CC.v	3310	log plain
-rw-r--r--	CPS.v	7178	log plain
-rw-r--r--	Combine.v	1482	log plain
-rw-r--r--	Definitions.v	3650	log plain
-rw-r--r--	DistrIf.v	2178	log plain
-rw-r--r--	Div.v	16146	log plain
d---------	Div	39	log plain
-rw-r--r--	Divide.v	1444	log plain
-rw-r--r--	EquivModulo.v	4045	log plain
-rw-r--r--	Ge.v	417	log plain
-rw-r--r--	Hints.v	703	log plain
d---------	Hints	146	log plain
-rw-r--r--	Land.v	869	log plain
-rw-r--r--	LandLorBounds.v	15746	log plain
-rw-r--r--	LandLorShiftBounds.v	13792	log plain
-rw-r--r--	Le.v	2223	log plain
-rw-r--r--	Lnot.v	382	log plain
-rw-r--r--	Log2.v	3111	log plain
-rw-r--r--	ModInv.v	3680	log plain
-rw-r--r--	Modulo.v	16074	log plain
d---------	Modulo	77	log plain
-rw-r--r--	Morphisms.v	19457	log plain
-rw-r--r--	Mul.v	184	log plain
-rw-r--r--	MulSplit.v	1261	log plain
-rw-r--r--	N2Z.v	1919	log plain
-rw-r--r--	Notations.v	173	log plain
-rw-r--r--	Odd.v	1164	log plain
-rw-r--r--	Ones.v	8868	log plain
-rw-r--r--	Opp.v	311	log plain
-rw-r--r--	Peano.v	3606	log plain
-rw-r--r--	Pow.v	2481	log plain
-rw-r--r--	Pow2.v	687	log plain
-rw-r--r--	Pow2Mod.v	2360	log plain
-rw-r--r--	Quot.v	4309	log plain
-rw-r--r--	Rshi.v	2029	log plain
-rw-r--r--	Sgn.v	344	log plain
-rw-r--r--	Shift.v	15577	log plain
-rw-r--r--	Sorting.v	764	log plain
-rw-r--r--	Stabilization.v	4943	log plain
-rw-r--r--	Tactics.v	717	log plain
d---------	Tactics	624	log plain
-rw-r--r--	Testbit.v	4601	log plain
-rw-r--r--	Z2Nat.v	1563	log plain
-rw-r--r--	ZSimplify.v	109	log plain
d---------	ZSimplify	113	log plain
-rw-r--r--	Zselect.v	496	log plain