index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
*
[demo] Replace (max (length a) (length b)) with explicit nat arg
Jason Gross
2017-11-24
*
[Demo] Define [place] in terms of nat_rect
Jason Gross
2017-11-24
*
[demo] Use [List.repeat] rather than [List.map]
Jason Gross
2017-11-24
*
[demo] Pass in a [nat] for list length
Jason Gross
2017-11-24
*
Remove tuple from src/DemoWithReification.v
Jason Gross
2017-11-24
*
Move DemoWithReification.v => Experiments/SimplyTypedArithmetic.v
Jason Gross
2017-11-24
*
Make a copy of Demo.v
Jason Gross
2017-11-24
*
Add support for custom intro tactic in ring pkg, for speed
Jason Gross
2017-11-17
*
Fix an argument order issue
Jason Gross
2017-11-17
*
Add interpf_SmartVarf
Jason Gross
2017-11-17
*
Add fast path for vm_decide (_ = false)
Jason Gross
2017-11-17
*
Update display logs and c files
Jason Gross
2017-11-17
*
Add fast path for vm_decide (_ = true) package
Jason Gross
2017-11-17
*
Make arguments of InterpLinearize more implicit
Jason Gross
2017-11-17
*
Add Interp{ExprEta,Linearize}_ind
Jason Gross
2017-11-17
*
Update display logs and c files
Jason Gross
2017-11-17
*
Add native_compute evar packages
Jason Gross
2017-11-16
*
Add vm_compute_cbv_evar_package
Jason Gross
2017-11-16
*
Add ModInv autosolver
Jason Gross
2017-11-16
*
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
*
Delete .gitignore
Jason Gross
2017-11-15
*
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
*
Add MontgomeryAPI.encode and two lemmas about it
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
*
Add more constant notations
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
[next]