fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Support machines without controllable cpu speed	Jason Gross	2017-10-13
\|
*	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
*	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