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
...
*
Apparently ln -s is too slow on travis, so we fake it when we're not building...
Jason Gross
2017-12-13
*
Add fast-path versions of [destruct_head] for unit,bool,True
Jason Gross
2017-12-12
*
Fix call to ln -s
Jason Gross
2017-12-12
*
Fix fast-autogenerated-deps target
Jason Gross
2017-12-12
*
Loops (trying again) (#259)
Andres Erbsen
2017-12-11
*
Test more synthesis files on travis / lite
Jason Gross
2017-12-11
*
Bump submodule
Jason Gross
2017-12-08
*
Bump submodule
Jason Gross
2017-12-08
*
Print out Coq version info on travis
Jason Gross
2017-12-05
*
Curves.Montgomery.XZ: add+check boringssl ladderstep (#278)
Andres Erbsen
2017-12-05
*
pick best implementation, not first
jadep
2017-12-01
*
[demo] Add reification in src/Experiments/SimplyTypedArithmetic.v (#275)
Jason Gross
2017-11-26
*
Rename run_tactic_as_bool to is_success_run_tactic
Jason Gross
2017-11-26
*
Reserve a printing-only notation for function application
Jason Gross
2017-11-26
*
Add Tactics.RunTacticAsConstr
Jason Gross
2017-11-26
*
Add reserved expr_let notation
Jason Gross
2017-11-26
*
Add src/Specific/.autgenerated-deps to clean target
Jason Gross
2017-11-26
*
Add a target to speed up coqdep with a kludge on travis
Jason Gross
2017-11-26
*
[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
*
Remove obsolete syntax for locality. (#270)
Maxime Dénès
2017-11-20
*
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
*
Add a regenerate-curves target
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
*
change how input data is gathered and tweak tables
jadep
2017-11-16
*
table formatting tweaks
jadep
2017-11-16
*
remove old aggregate file
jadep
2017-11-16
*
krail -> krait
Andres Erbsen
2017-11-16
*
excplicit, sorted list of failures on haswell
Andres Erbsen
2017-11-16
*
clean benchmarks on android
Andres Erbsen
2017-11-16
*
android benchmarking script in new format
Andres Erbsen
2017-11-16
*
actual measurements on Haswell
Andres Erbsen
2017-11-16
*
Update display logs and c files
Jason Gross
2017-11-16
*
clean Haswell benchmarks
Andres Erbsen
2017-11-16
*
build src/Specific/montgomery64_2e510m290x2e496m1_8limbs/femul.c
Andres Erbsen
2017-11-16
[prev]
[next]