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
1137
log
plain
-rw-r--r--
CPS.v
7178
log
plain
-rw-r--r--
Definitions.v
3318
log
plain
-rw-r--r--
Div.v
10120
log
plain
d---------
Div
39
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
372
log
plain
-rw-r--r--
Le.v
243
log
plain
-rw-r--r--
ModInv.v
3680
log
plain
-rw-r--r--
Modulo.v
12033
log
plain
d---------
Modulo
77
log
plain
-rw-r--r--
Morphisms.v
16814
log
plain
-rw-r--r--
MulSplit.v
1261
log
plain
-rw-r--r--
Notations.v
173
log
plain
-rw-r--r--
Peano.v
3606
log
plain
-rw-r--r--
Pow2Mod.v
1987
log
plain
-rw-r--r--
Quot.v
4309
log
plain
-rw-r--r--
Rshi.v
697
log
plain
-rw-r--r--
Sgn.v
344
log
plain
-rw-r--r--
Sorting.v
764
log
plain
-rw-r--r--
Stabilization.v
4783
log
plain
-rw-r--r--
Tactics.v
717
log
plain
d---------
Tactics
624
log
plain
-rw-r--r--
Testbit.v
3283
log
plain
-rw-r--r--
Z2Nat.v
216
log
plain
-rw-r--r--
ZSimplify.v
109
log
plain
d---------
ZSimplify
113
log
plain
-rw-r--r--
Zselect.v
496
log
plain