fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	bump submodules	Andres Erbsen	2019-03-22
\|
*	remove old pipeline	Andres Erbsen	2019-01-09
\|
*	[travis] Always display the diff, but don't display _CoqProject	Jason Gross	2018-10-25
\| \| \| \| \|	Because remove_autogenerated.sh updates _CoqProject, and we don't want to see the churn from that.
*	[travis] Only run git diff on failure	Jason Gross	2018-08-09
\|
*	Add git diff for better debugging of C-file issues	Jason Gross	2018-07-21
\|
*	Define machine model, write prefancy->fancy pass, and prove Montgomery code ↵	Jade Philipoom	2018-05-31
\| \| \| \|	correct
*	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
\| \| \| \|	This should speed up the lite target on master
*	Die early if we can't create the archive	Jason Gross	2018-03-22
\| \| \| \|	This would have caught the issue fixed by the previous commit much earlier.
*	Update travis caching script	Jason Gross	2018-03-22
\| \| \| \|	We no longer have a Bedrock directory; we instead have a bbv directory
*	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
\| \| \| \| \| \| \|	https://github.com/travis-ci/travis-ci/issues/8507 We use a script and travis_retry to work around "failed to fetch" with launchpad
*	Attempt to build travis in stages	Jason Gross	2018-01-16
\| \| \| \| \| \| \| \| \| \| \| \|	Hopefully this will lead to overall faster builds Also: - try to allow failures - Version-specific vo caches - Make archives stage-specific This way, if multiple branches are running stages at the same time, they don't have as much a chance of clobbering each others builds.
*	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
\| \| \| \| \| \| \| \|	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
\|