index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
Commit message (
Expand
)
Author
Age
*
Pass -mbmi2 to gcc
Jason Gross
2018-01-19
*
Add .c and .log files
Jason Gross
2018-01-15
*
Add x25519 donna versions with the new way of generating C code
Jason Gross
2018-01-15
*
Add some fecarry .log files
Jason Gross
2018-01-10
*
Add some fecarry .log and .c files
Jason Gross
2018-01-10
*
Generate fecarry for solinas
Jason Gross
2018-01-10
*
make src/Specific/solinas64_2e255m19_5limbs/*.c
David Benjamin
2018-01-08
*
make src/Specific/solinas32_2e255m19_10limbs/*.c
David Benjamin
2018-01-05
*
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
*
Permit `TWord 0`
Jason Gross
2018-01-05
*
Add support for {addcarryx,subborrow}_u{25,26}
Jason Gross
2018-01-02
*
Update display logs and c files
Jason Gross
2017-11-17
*
Update display logs and c files
Jason Gross
2017-11-17
*
Update display logs and c files
Jason Gross
2017-11-16
*
build src/Specific/montgomery64_2e510m290x2e496m1_8limbs/femul.c
Andres Erbsen
2017-11-16
*
Update display logs and c files
Jason Gross
2017-11-16
*
Update display logs and c files
Jason Gross
2017-11-15
*
Add a bunch of missing fesquare files
Jason Gross
2017-11-15
*
build two montgomery files, including 32-bit p256
Andres Erbsen
2017-11-15
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Revert "first batch benchmarks stash"
Andres Erbsen
2017-11-13
*
first batch benchmarks stash
Andres Erbsen
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
*
Update display logs and c files
Jason Gross
2017-11-13
[next]