index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
/
ZUtil
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--
Definitions.v
3561
log
plain
-rw-r--r--
DistrIf.v
2178
log
plain
-rw-r--r--
Div.v
16005
log
plain
d---------
Div
39
log
plain
-rw-r--r--
Divide.v
1254
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
2224
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
1615
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