index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Add wff_SmartPairf_SmartVarfMap_same
Jason Gross
2017-10-20
*
Add SmartVarVarf_Pair, SmartPairfSmartVarVarf_SmartVarf
Jason Gross
2017-10-20
*
Add wff_invert_PairsConst
Jason Gross
2017-10-20
*
Better typing on postprocess_for_const_and_op
Jason Gross
2017-10-20
*
Add InlineConstAndOp
Jason Gross
2017-10-20
*
Add curry{3,4}
Jason Gross
2017-10-20
*
Fix arguments of previous commit
Jason Gross
2017-10-20
*
Add invert_PairsConst
Jason Gross
2017-10-20
*
Add invert_Pairs
Jason Gross
2017-10-20
*
Allow partial-inlining in the inliner
Jason Gross
2017-10-20
*
gmpvar.c: slightly faster montgomery ladder implementation using mpn_* functions
Andres Erbsen
2017-10-20
*
gmpsec.c: generic constant-time montgomery ladder implementation using mpn_se...
Andres Erbsen
2017-10-20
*
Allow inlining expressions not returning Tbase
Jason Gross
2017-10-20
*
Prove flatten_binding_list_interpf_SmartPairf_same
Jason Gross
2017-10-20
*
Add wff_SmartPairf
Jason Gross
2017-10-20
*
Fix bug in previous commit
Jason Gross
2017-10-20
*
Use div_cps, modulo_cps
Jason Gross
2017-10-20
*
gmpsec: towards an mxladder implementation
Andres Erbsen
2017-10-19
*
invscratch_sz
Andres Erbsen
2017-10-19
*
indent
Andres Erbsen
2017-10-19
*
Use fold_right_cps2 to get eqb_cps to get the right continuation type
Jason Gross
2017-10-19
*
gmpsec.c: field arithmetic implementation using GMP mpn_sec_*
Andres Erbsen
2017-10-19
*
Add more unfolds to basesystem_partial_evaluation_unfolder
Jason Gross
2017-10-19
*
Switch arithmetic to cps for Z * Z under the hood
Jason Gross
2017-10-19
*
Add mul_split_cps'
Jason Gross
2017-10-19
*
Add FancyMachine256 to selected-specific
Jason Gross
2017-10-19
*
Move tactics around in src/Arithmetic/CoreUnfolder.v
Jason Gross
2017-10-19
*
Update ZUtil cps definitions
Jason Gross
2017-10-19
*
Pattern over cps lemmas in Arithmetic/Core
Jason Gross
2017-10-19
*
Add ZUtil.CPS
Jason Gross
2017-10-19
*
Don't make autogenerated files in `coq`/default target
Jason Gross
2017-10-18
*
Unfold more things in basesystem_partial_evaluation_unfolder
Jason Gross
2017-10-18
*
Add display logs
Jason Gross
2017-10-18
*
Add more constant notations
Jason Gross
2017-10-18
*
Remove x2555-c128 from build
Jason Gross
2017-10-18
*
Fix the lite target
Jason Gross
2017-10-18
*
Fix a scope issue with solve_constant_sig
Jason Gross
2017-10-18
*
Separate out a24 constant as a Z
Jason Gross
2017-10-18
*
Saner checking for freeze and ladderstep
Jason Gross
2017-10-18
*
Remake some curves
Jason Gross
2017-10-18
*
Use a larger modinv_fuel
Jason Gross
2017-10-18
*
Better error message on pose_modinv failure
Jason Gross
2017-10-18
*
Only require half_sz_nonzero in karatsuba (it fails for sz=1)
Jason Gross
2017-10-18
*
Add sanity check of base_le_bitwidth
Jason Gross
2017-10-18
*
Better error messages on m_enc_bounded
Jason Gross
2017-10-18
*
Karatsuba in gallina
Jason Gross
2017-10-18
*
Explicitly specify base
Jason Gross
2017-10-18
*
Move more of carry_sig, zero_sig, one_sig, etc to gallina
Jason Gross
2017-10-18
*
Allow forcing a bitwidth to work
Jason Gross
2017-10-18
*
Add a few more base things
Jason Gross
2017-10-18
[next]