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
/
ArithmeticSimplifierInterp.v
Commit message (
Expand
)
Author
Age
*
remove old pipeline
Andres Erbsen
2019-01-09
*
Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil
Jason Gross
2018-08-23
*
Add specialize_all_ways, fix a proof in src/Compilers/Z/ArithmeticSimplifierI...
Jason Gross
2018-06-26
*
Add reflective compose, notation for Z.Syntax.{Expr,Interp}
Jason Gross
2017-10-12
*
Better simplification of mulsplit
Jason Gross
2017-06-18
*
Better test for simplifier
Jason Gross
2017-06-18
*
Stronger simplification of adc too add when we can prove the carry is 0
Jason Gross
2017-06-18
*
Be a bit more forceful in eliminating zeros in arith simpl
Jason Gross
2017-06-17
*
More arithmetic simplification for adc, mul
Jason Gross
2017-06-17
*
Add extra simplification to simplifier for adc
Jason Gross
2017-06-17
*
Rework and speed up arithmetic simplifier proofs
Jason Gross
2017-06-14
*
Handle IdWithAlt in the simplifier
Jason Gross
2017-06-12
*
Add compiler optimization for [Zselect (-x) _ _]
Jason Gross
2017-05-20
*
Get sbb conversion working in the pipeline
Jason Gross
2017-05-20
*
Add adc -> sbb to arithmetic simplifer
Jason Gross
2017-05-20
*
rename-everything
Andres Erbsen
2017-04-06