fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add example usage	Jason Gross	2017-09-27
\|
*	Update etc scripts to include governor	Jason Gross	2017-09-27
\| \| \| \| \| \| \| \|	It needs to be in performance, not powersave, to work well on my machine. While we're at it, also have the scripts print usage if you pass no arguments, rather than giving an error message about $1 being unset.
*	Check if /sys/devices/system/cpu/intel_pstate/no_turbo exists before ↵	Jason Gross	2017-09-16
\| \| \| \|	searching it
*	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
\| \| \| \| \| \| \| \| \| \|	The current allocation is terrible, probably because we are currently requiring that all instructions output to registers. My current guess at a decent thing to do is to make a pass, after register allocation, and eliminate all registers that simply get stored to memory, replacing the relevant instructions with the memory-using versions. Then we can re-register allocate, ignoring values that go straight to memory.
*	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
\| \| \| \| \|	Now it prefers putting together mulx with the same implicit arg (approximated as the same variable with the lower number).
*	Use a more realistic processor model	Jason Gross	2017-08-13
\|
*	Revert "Revert "Subset compiler differently""	Jason Gross	2017-08-13
\| \| \| \|	This reverts commit c8c82f2edf416b667ba487dfa2cff0795d37cbe6.
*	Revert "Subset compiler differently"	Jason Gross	2017-08-13
\| \| \| \|	This reverts commit 7038444e6515ec51a3b6d1cdfe972664d3f16c81.
*	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
\| \| \| \| \|	This brings the maximum window size back down to 53, so we use the old method of making dependencies, rather than the new one.
*	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
\| \| \| \|	Part of #227
*	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
\| \| \| \|	cc @andres-erbsen
*	stronger ladderstep correctness proof courtesy Teo	Andres Erbsen	2017-04-14
\|
*	Revert "update coq-scripts"	Jason Gross	2017-04-13
\| \| \| \| \| \| \| \|	This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits.
*	update coq-scripts	Andres Erbsen	2017-04-12
\|
*	Fix vo_reverse_closure	Jason Gross	2017-04-09
\|
*	Add printreversedeps	Jason Gross	2017-04-09
\|
*	Bump submodule for better travis timing logs	Jason Gross	2017-01-31
\|