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
*
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
*
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
[next]