index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Compilers
/
Z
Mode
Name
Size
-rw-r--r--
ArithmeticSimplifier.v
8052
log
plain
-rw-r--r--
ArithmeticSimplifierInterp.v
4773
log
plain
-rw-r--r--
ArithmeticSimplifierUtil.v
3140
log
plain
-rw-r--r--
ArithmeticSimplifierWf.v
6311
log
plain
-rw-r--r--
BinaryNotationConstants.v
9866
log
plain
d---------
Bounds
391
log
plain
-rw-r--r--
CNotations.v
175071
log
plain
-rw-r--r--
CommonSubexpressionElimination.v
7824
log
plain
-rw-r--r--
CommonSubexpressionEliminationInterp.v
1025
log
plain
-rw-r--r--
CommonSubexpressionEliminationWf.v
1207
log
plain
-rw-r--r--
FoldTypes.v
601
log
plain
-rw-r--r--
HexNotationConstants.v
11850
log
plain
-rw-r--r--
Inline.v
428
log
plain
-rw-r--r--
InlineInterp.v
791
log
plain
-rw-r--r--
InlineWf.v
528
log
plain
-rw-r--r--
JavaNotations.v
82010
log
plain
-rw-r--r--
MapCastByDeBruijn.v
1341
log
plain
-rw-r--r--
MapCastByDeBruijnInterp.v
2637
log
plain
-rw-r--r--
MapCastByDeBruijnWf.v
2875
log
plain
d---------
Named
200
log
plain
-rw-r--r--
OpInversion.v
750
log
plain
-rw-r--r--
Reify.v
3124
log
plain
-rw-r--r--
RewriteAddToAdc.v
2436
log
plain
-rw-r--r--
RewriteAddToAdcInterp.v
3892
log
plain
-rw-r--r--
RewriteAddToAdcWf.v
1524
log
plain
-rw-r--r--
Syntax.v
4630
log
plain
d---------
Syntax
72
log
plain