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
*
Support p256 / montgomery in json format
Jason Gross
2017-10-18
*
Reorganize the curve-specific synthesis framework
Jason Gross
2017-10-18
*
Support curves with +2^... in them
Jason Gross
2017-10-18
*
Add default computation for goldilocks
Jason Gross
2017-10-18
*
Default carry chains in json files
Jason Gross
2017-10-18
*
Handle generating the correct c from 2^448-2^224-1
Jason Gross
2017-10-18
*
Fold Karatsuba into json format and synthesis
Jason Gross
2017-10-18
*
Build curve-specific files from json
Jason Gross
2017-10-18
*
Generate C64 from python script and json
Jason Gross
2017-10-18
*
Reorgainze synthesis framework files into a Framework folder
Jason Gross
2017-10-18
*
Replace curve-specific definitions with tactics
Jason Gross
2017-10-18
*
Factor out specific code underlying ReificationTypes
Jason Gross
2017-10-18
*
Turn on parenthetization in C output
Jason Gross
2017-10-17
*
Remove outdated json file, reorder remake_curves.sh
Jason Gross
2017-10-17
*
Add more json files
Jason Gross
2017-10-16
*
Don't print ".0" for integer bases in the json files
Jason Gross
2017-10-16
*
bugfixes from messy rebase; remade json files
jadep
2017-10-16
*
Fix base generation
Jason Gross
2017-10-16
*
Add more json files
Jason Gross
2017-10-16
*
Don't error if we can't open a file
Jason Gross
2017-10-16
*
Regenerate json files
Jason Gross
2017-10-16
*
Prettier json file generation
Jason Gross
2017-10-14
*
Add generated json files from generate_parameters.py
Jason Gross
2017-10-14
*
Add curve-specific json files
Jason Gross
2017-10-14
*
Generalize phis
Jason Gross
2017-10-07
*
Factor out the compute bit of the compute notation in curve params
Jason Gross
2017-10-07
*
Factor out parameter-specific code
Jason Gross
2017-10-07
*
Fix display log
Jason Gross
2017-10-06
*
Factor out some bits of ladderstep preglue
Jason Gross
2017-10-05
*
Add missing tactic in comment in ladderstep
Jason Gross
2017-09-27
*
Add src/Specific/X25519/C32/compiler.sh, update src/Specific/X25519/C64/scala...
Jason Gross
2017-09-27
*
Add curve25519-donna-c64 to etc/third_party
Jason Gross
2017-09-27
*
Add missing file
Jason Gross
2017-09-21
*
Add femul,fesqure for C32
Jason Gross
2017-09-21
*
Add extract_Expr
Jason Gross
2017-09-21
*
Split off tactics in IntegrationTestDisplayCommon
Jason Gross
2017-09-21
*
make bench
Jason Gross
2017-09-12
*
Fix more commented out alternatives
Jason Gross
2017-09-05
*
Fix commented out alternate version in ladderstep
Jason Gross
2017-09-05
*
Factor out some of the preglue synthesis code
Jason Gross
2017-07-08
*
More fine-grained tactics imports
Jason Gross
2017-07-08
*
prove an admit in ArithmeticSynthesisTest
Andres Erbsen
2017-07-06
*
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
[next]