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
31122
log
plain
-rw-r--r--
ArithmeticSimplifierInterp.v
11656
log
plain
-rw-r--r--
ArithmeticSimplifierUtil.v
3140
log
plain
-rw-r--r--
ArithmeticSimplifierWf.v
9242
log
plain
-rw-r--r--
BinaryNotationConstants.v
17977
log
plain
d---------
Bounds
391
log
plain
-rw-r--r--
CNotations.v
462331
log
plain
-rw-r--r--
CommonSubexpressionElimination.v
8377
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
20750
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--
InterpSideConditions.v
459
log
plain
-rw-r--r--
JavaNotations.v
92146
log
plain
-rw-r--r--
MapCastByDeBruijn.v
1341
log
plain
-rw-r--r--
MapCastByDeBruijnInterp.v
3003
log
plain
-rw-r--r--
MapCastByDeBruijnWf.v
2875
log
plain
d---------
Named
200
log
plain
-rw-r--r--
OpInversion.v
799
log
plain
-rw-r--r--
Reify.v
4215
log
plain
-rw-r--r--
RewriteAddToAdc.v
2436
log
plain
-rw-r--r--
RewriteAddToAdcInterp.v
3891
log
plain
-rw-r--r--
RewriteAddToAdcWf.v
1673
log
plain
-rw-r--r--
Syntax.v
4996
log
plain
d---------
Syntax
72
log
plain
-rw-r--r--
TypeInversion.v
1317
log
plain
