index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
NISTP256
Commit message (
Expand
)
Author
Age
*
Add Z.land, Z.lor bounds stuff to zutil, also split up ZUtil
Jason Gross
2018-08-23
*
Pass -mbmi2 to gcc
Jason Gross
2018-01-19
*
Handle the fact that we haven't forbidden TWord 3
Jason Gross
2018-01-05
*
Print bool as uint8_t
Jason Gross
2018-01-05
*
make selected-specific-display for permit `TWord 0`
Jason Gross
2018-01-05
*
Update display logs and c files
Jason Gross
2017-11-10
*
Add a dummy karatsuba parameter
Jason Gross
2017-11-07
*
find . -name "py_interpreter.sh" | xargs chmod +x
Jason Gross
2017-11-03
*
Add generated py_interpreter.sh files
Jason Gross
2017-11-02
*
Update display logs
Jason Gross
2017-10-29
*
Update display logs
Jason Gross
2017-10-29
*
Update display logs
Jason Gross
2017-10-29
*
Add tight and loose bounds, no carry in add, sub
Jason Gross
2017-10-22
*
Allow inlining expressions not returning Tbase
Jason Gross
2017-10-20
*
Add display logs
Jason Gross
2017-10-18
*
Saner checking for freeze and ladderstep
Jason Gross
2017-10-18
*
Explicitly specify base
Jason Gross
2017-10-18
*
Turn CurveParameters into a record
Jason Gross
2017-10-18
*
Support p256 / montgomery in json format
Jason Gross
2017-10-18
*
Reorgainze synthesis framework files into a Framework folder
Jason Gross
2017-10-18
*
Turn on parenthetization in C output
Jason Gross
2017-10-17
*
Factor out some bits of ladderstep preglue
Jason Gross
2017-10-05
*
Factor out some of the preglue synthesis code
Jason Gross
2017-07-08
*
make bench
Andres Erbsen
2017-07-06
*
make bench
Jason Gross
2017-07-06
*
benchmark NISTZ256 with and without adx
Andres Erbsen
2017-07-05
*
make bench
Andres Erbsen
2017-07-05
*
make bench
Andres Erbsen
2017-07-04
*
use att style assembly with icc, test it
Andres Erbsen
2017-07-04
*
test p256 mixed addition
Andres Erbsen
2017-07-04
*
work around GCC issues 81294 and 81300
Andres Erbsen
2017-07-03
*
fix mulx argument order using sed, test feadd, femul (fails due to #234)
Andres Erbsen
2017-07-03
*
Fix display target
Jason Gross
2017-07-03
*
X25519 test (passed on first try)
Andres Erbsen
2017-07-02
*
automate P256 integration
Andres Erbsen
2017-07-02
*
Merge branch 'use-cmovznz' of https://github.com/JasonGross/fiat-crypto
Andres Erbsen
2017-07-02
|
\
*
|
make display
Andres Erbsen
2017-07-01
*
|
Fix misnamed references in Specific/ (broke after saturated arithetic reorg)
jadep
2017-06-30
|
*
make display
Jason Gross
2017-06-29
*
|
make display
Jason Gross
2017-06-29
*
|
Fix unfolding to not unfold sub_with_get_borrow in P256
Jason Gross
2017-06-29
|
/
*
Use -std=gnu11 for older versions of gcc
Jason Gross
2017-06-28
*
match C code in Jacobian addition
Andres Erbsen
2017-06-27
*
p256 compilation and benchmarks with manual kludges
Andres Erbsen
2017-06-27
*
More proof fixing
Jason Gross
2017-06-26
*
Remove an admit
Jason Gross
2017-06-26
*
make display
Jason Gross
2017-06-26
*
Add nonzero synthesis
Jason Gross
2017-06-26
*
make display on p256
Andres Erbsen
2017-06-25
*
make display
Jason Gross
2017-06-25
[next]