index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
Commit message (
Expand
)
Author
Age
*
Util.Loops: remove non-stdlib dependencies
Andres Erbsen
2018-04-26
*
Bump coq-scripts to fix a bug
Jason Gross
2018-04-15
*
Bump coq-scripts
Jason Gross
2018-04-15
*
Die early if we can't create the archive
Jason Gross
2018-03-22
*
Update travis caching script
Jason Gross
2018-03-22
*
Add stuff to author-blacklist for bbv
Jason Gross
2018-02-28
*
git submodule update --remote --recursive
Andres Erbsen
2018-02-24
*
Fix an issue where travis was not building quite the right targets
Jason Gross
2018-02-12
*
Work around travis bugs
Jason Gross
2018-01-29
*
Attempt to build travis in stages
Jason Gross
2018-01-16
*
Also build non-specific on smithers
Jason Gross
2017-12-13
*
Add missing file from previous commit
Jason Gross
2017-12-13
*
Bump submodule
Jason Gross
2017-12-08
*
Bump submodule
Jason Gross
2017-12-08
*
Add Andres' machine name to the author blacklist
Jason Gross
2017-11-15
*
Also anonymize 'fiat', e.g., in 'fiat_solinas'
Jason Gross
2017-11-15
*
Add Fiat-Crypto to the list of things to be anonymized
Jason Gross
2017-11-15
*
Expand ratios script
Adam Chlipala
2017-11-14
*
A small script for calculating speedup ratios from results
Adam Chlipala
2017-11-14
*
Bump submodule for timing ordering
Jason Gross
2017-11-13
*
Print coq version on smithers
Jason Gross
2017-11-04
*
Bump coq submodule
Jason Gross
2017-10-31
*
Fix smithers build
Jason Gross
2017-10-31
*
Add nonautogenerated-specific{,-display} targets
Jason Gross
2017-10-23
*
Support machines without controllable cpu speed
Jason Gross
2017-10-13
*
Update smithers script
Jason Gross
2017-10-13
*
Smithers doesn't support -o pipefail
Jason Gross
2017-10-11
*
Add etc/ci/smithers.sh for smithers testing
Jason Gross
2017-10-10
*
Add example usage
Jason Gross
2017-09-27
*
Update etc scripts to include governor
Jason Gross
2017-09-27
*
Check if /sys/devices/system/cpu/intel_pstate/no_turbo exists before searchin...
Jason Gross
2017-09-16
*
Fix assembly
Jason Gross
2017-09-12
*
WIP on reg alloc for asm output
Jason Gross
2017-09-11
*
Fix (hopefully) overlap in reg
Jason Gross
2017-09-05
*
Fix schedule to be in correct order
Jason Gross
2017-09-05
*
WIP
Jason Gross
2017-09-05
*
Fix schedule
Jason Gross
2017-09-05
*
WIP on reg alloc
Jason Gross
2017-09-04
*
chmod +x
Jason Gross
2017-09-04
*
Add display files (temporary, kind-of)
Jason Gross
2017-09-04
*
WIP Update compile with registers
Jason Gross
2017-09-04
*
More WIP on register allocation
Jason Gross
2017-08-17
*
Handle most of register allocation
Jason Gross
2017-08-14
*
Handle equality in parsing
Jason Gross
2017-08-14
*
Fixup header and footer
Jason Gross
2017-08-14
*
Update scheduler to know about implicit mulx arg
Jason Gross
2017-08-14
*
Use a more realistic processor model
Jason Gross
2017-08-13
*
Revert "Revert "Subset compiler differently""
Jason Gross
2017-08-13
*
Revert "Subset compiler differently"
Jason Gross
2017-08-13
*
Subset compiler differently
Jason Gross
2017-08-13
[next]