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
*
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
*
Add heuristic search
Jason Gross
2017-08-13
*
Update the graph maker
Jason Gross
2017-08-13
*
Update exhaustive search compiler
Jason Gross
2017-08-13
*
Add memoize.py to zinc compiler folder
Jason Gross
2017-08-11
*
wip on register allocation in python
Jason Gross
2017-08-09
*
Fix the sense of dependencies in zinc generation
Jason Gross
2017-08-09
*
Get all scheduling done in one frame
Jason Gross
2017-08-09
*
Fix wip
Jason Gross
2017-08-09
*
Larger instruction window for zinc
Jason Gross
2017-08-09
*
Add a faster version of the zinc compiler
Jason Gross
2017-08-06
*
Add initial stab at C-compilation by optimization
Jason Gross
2017-08-06
*
Fix format warning in gcc
Jason Gross
2017-07-08
*
Don't remove Adam Langley when anonymizing repo
Jason Gross
2017-07-06
*
s/bash/sh
Andres Erbsen
2017-07-05
*
etc: add scripts to control turbo boost and hyper threading
Andres Erbsen
2017-07-05
*
benchmarking: correct for differences in CPU and TSC frequency
Andres Erbsen
2017-07-05
*
don't key benchmarks on cpu frequency
Andres Erbsen
2017-06-18
*
handle missing /sys/class/power_supply/AC
Andres Erbsen
2017-06-18
*
more sh portability fixes...
Andres Erbsen
2017-06-18
*
"make bench", currently just X25519-C64 (closes #185)
Andres Erbsen
2017-06-18
*
Bump coq-scripts
Jason Gross
2017-06-06
*
Unrevert the coq-scripts module again
Jason Gross
2017-04-14
*
stronger ladderstep correctness proof courtesy Teo
Andres Erbsen
2017-04-14
*
Revert "update coq-scripts"
Jason Gross
2017-04-13
[next]