fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Don't let travis kill us in 10 minutes of silence	Jason Gross	2016-11-18
\|
*	Also redact mit-plv and fiat-crypto	Jason Gross	2016-11-15
\|
*	Add author-blacklist for repo anonymizer	Jason Gross	2016-11-14
\|
*	GF25519: add optimized addition chain	Andres Erbsen	2016-11-11
\|
*	Bump submodule for better timing	Jason Gross	2016-09-07
\|
*	Bump submodule	Jason Gross	2016-07-19
\|
*	Bump submodule	Jason Gross	2016-07-19
\|
*	Add coq-scripts submodule for timing scripts	Jason Gross	2016-06-22
\|
*	Fix freshen-bedrock-files.sh	Jason Gross	2016-04-03
\| \| \| \|	Previously, it was not actually recording when it found things.
*	Add etc/freshen-bedrock-files.sh	Jason Gross	2016-02-23
	It is used on smithers to remove .vo files which are older than relevant Bedrock .vo files. This prevents version mismatches when updating Bedrock on smithers.