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
*
Allow test and bench to fail on travis
Jason Gross
2017-10-11
*
Add targets for no-curves-proofs-non-specific, and selected-specific,
Jason Gross
2017-10-11
*
Smithers doesn't support -o pipefail
Jason Gross
2017-10-11
*
Factor out -w "-notation-overridden" in Makefile
Jason Gross
2017-10-10
*
Add etc/ci/smithers.sh for smithers testing
Jason Gross
2017-10-10
*
More Makefile factoring
Jason Gross
2017-10-10
*
Update Makefile by deduplicating some file lists
Jason Gross
2017-10-10
*
Hopefully fix travis
Jason Gross
2017-10-10
*
Add update_by_tac_if_not_exists
Jason Gross
2017-10-10
*
TagList: make get error, and fix bugs
Jason Gross
2017-10-10
*
Add TagList
Jason Gross
2017-10-10
*
Add notations
Jason Gross
2017-10-10
*
Add UniformWeightInstances
Jason Gross
2017-10-09
*
Fix .dir-locals.el to work on Windows
Jason Gross
2017-10-07
*
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
*
[travis] trunk is now called master
Jason Gross
2017-10-06
*
Switch Coq {8.6 => 8.6.1} on travis
Jason Gross
2017-10-06
*
Drop 8.5 travis build
Jason Gross
2017-10-06
*
Fix printenv sed script in Makefile for Windows support
Jason Gross
2017-10-06
*
Coq 8.5 can't handle symbol-free notations
Jason Gross
2017-10-06
*
Fix display log
Jason Gross
2017-10-06
*
Clean up TestCase a bit
Jason Gross
2017-10-06
*
Add another constant
Jason Gross
2017-10-06
*
Fix the printlite target
Jason Gross
2017-10-06
*
Add pow_ceil_mul_nat_nonneg
Jason Gross
2017-10-05
*
Add PoseTermWithName
Jason Gross
2017-10-05
*
Factor out some bits of ladderstep preglue
Jason Gross
2017-10-05
*
Add some ZUtil lemmas
Jason Gross
2017-10-03
*
Make some typeclasses opaque
Jason Gross
2017-10-02
*
Speed up reification a little bit
Jason Gross
2017-10-02
*
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 BITWIDTH=64 to extract-function.sh rule in Makefile
Jason Gross
2017-09-27
*
Add example usage
Jason Gross
2017-09-27
*
Update etc scripts to include governor
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
*
Update constants files
Jason Gross
2017-09-21
*
Add extract_Expr
Jason Gross
2017-09-21
*
Split off tactics in IntegrationTestDisplayCommon
Jason Gross
2017-09-21
*
Check if /sys/devices/system/cpu/intel_pstate/no_turbo exists before searchin...
Jason Gross
2017-09-16
*
Drop test target on travis
Jason Gross
2017-09-16
*
Test `make bench` on travis.
Jason Gross
2017-09-15
*
Don't inline measure_helper
Jason Gross
2017-09-15
*
Allow bp in inline asm by tweaking measure
Jason Gross
2017-09-15
*
Merge remote-tracking branch 'origin/master'
Jason Gross
2017-09-15
|
\
|
*
Use imul (not sure if it's better...)
Jason Gross
2017-09-12
[next]