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
Commit message (
Expand
)
Author
Age
*
Make a reification package
Jason Gross
2017-11-07
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Fix error in generated C notations
Jason Gross
2017-11-03
*
Add preformatting for casts of mulx
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add notations for mulx involving uint8_t
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-03
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-02
*
Add more constant notations
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-11-01
*
Add more constant notations
Jason Gross
2017-10-31
*
Add more constant notations
Jason Gross
2017-10-29
*
Add InlineConstAndOpByRewrite
Jason Gross
2017-10-23
*
Add inline_const_and_op{f,} specializations
Jason Gross
2017-10-22
*
Add Z.InlineConstAndOp*
Jason Gross
2017-10-20
*
Add more constant notations
Jason Gross
2017-10-18
*
Extract rexpr_sig from the record
Jason Gross
2017-10-18
*
Extract evars from reflective pipeline
Jason Gross
2017-10-18
*
Package reflective pipeline side-conditions into a record
Jason Gross
2017-10-18
*
Add more notation constants
Jason Gross
2017-10-18
*
Make use of faster interp rewriting
Jason Gross
2017-10-17
*
Turn on parenthetization in C output
Jason Gross
2017-10-17
*
Unify notation printing to allow changing it all at once
Jason Gross
2017-10-17
*
Add support for parenthesizing all CNotations expressions
Jason Gross
2017-10-16
*
Add more constants
Jason Gross
2017-10-16
*
Add some more power-of-two notations
Jason Gross
2017-10-16
*
Add more notations
Jason Gross
2017-10-16
*
Add some constants from montgomery
Jason Gross
2017-10-15
*
Add more constant notations from solinas primes
Jason Gross
2017-10-15
*
Fix a spelling error
Jason Gross
2017-10-13
*
Factor out truncation_bounds
Jason Gross
2017-10-13
*
Add comment to Compilers/Z/Bounds/Interpretation.v
Jason Gross
2017-10-13
*
Add reflective compose, notation for Z.Syntax.{Expr,Interp}
Jason Gross
2017-10-12
[next]