index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
p256_32.c
Commit message (
Expand
)
Author
Age
*
Rebuild .c files
Jason Gross
2019-03-31
*
Use Preconditions: Postconditions:, rather than /\ and ->
Jason Gross
2019-02-02
*
Update with davidben's and Andres' suggestions
Jason Gross
2019-02-02
*
Drop `map λ` bits in docstrings
Jason Gross
2019-02-02
*
Address code review comments to improve docstrings
Jason Gross
2019-02-02
*
Add autogenerated docstrings to synthesized code
Jason Gross
2019-02-02
*
Constant-propogate 0+x and x+0 after bounds
Jason Gross
2019-01-16
*
Add a rewrite rule to collapse constant casts
Jason Gross
2019-01-16
*
Fix computation of INTX_MIN
Jason Gross
2019-01-15
*
Don't cast signed to unsigned before shifting
Jason Gross
2019-01-15
*
Autocompute s and c in WBW Montgomery
Jason Gross
2019-01-14
*
Add some Z.le Proper hints to zarith
Jason Gross
2018-08-13
*
Revert "Improve rewriter speed"
Jason Gross
2018-07-24
*
Improve rewriter speed
Jason Gross
2018-07-24
*
Add some primes to be synthesized
Jason Gross
2018-07-21
*
Montgomery reduction in new pipeline
Jason Gross
2018-07-21