fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	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
\| \| \| \| \| \| \| \|	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
\|