aboutsummaryrefslogtreecommitdiff
path: root/etc
Commit message (Expand)AuthorAge
* bump submodulesGravatar Andres Erbsen2019-03-22
* remove old pipelineGravatar Andres Erbsen2019-01-09
* [travis] Always display the diff, but don't display _CoqProjectGravatar Jason Gross2018-10-25
* [travis] Only run git diff on failureGravatar Jason Gross2018-08-09
* Add git diff for better debugging of C-file issuesGravatar Jason Gross2018-07-21
* Define machine model, write prefancy->fancy pass, and prove Montgomery code c...Gravatar Jade Philipoom2018-05-31
* Util.Loops: remove non-stdlib dependenciesGravatar Andres Erbsen2018-04-26
* Bump coq-scripts to fix a bugGravatar Jason Gross2018-04-15
* Bump coq-scriptsGravatar Jason Gross2018-04-15
* Die early if we can't create the archiveGravatar Jason Gross2018-03-22
* Update travis caching scriptGravatar Jason Gross2018-03-22
* Add stuff to author-blacklist for bbvGravatar Jason Gross2018-02-28
* git submodule update --remote --recursiveGravatar Andres Erbsen2018-02-24
* Fix an issue where travis was not building quite the right targetsGravatar Jason Gross2018-02-12
* Work around travis bugsGravatar Jason Gross2018-01-29
* Attempt to build travis in stagesGravatar Jason Gross2018-01-16
* Also build non-specific on smithersGravatar Jason Gross2017-12-13
* Add missing file from previous commitGravatar Jason Gross2017-12-13
* Bump submoduleGravatar Jason Gross2017-12-08
* Bump submoduleGravatar Jason Gross2017-12-08
* Add Andres' machine name to the author blacklistGravatar Jason Gross2017-11-15
* Also anonymize 'fiat', e.g., in 'fiat_solinas'Gravatar Jason Gross2017-11-15
* Add Fiat-Crypto to the list of things to be anonymizedGravatar Jason Gross2017-11-15
* Expand ratios scriptGravatar Adam Chlipala2017-11-14
* A small script for calculating speedup ratios from resultsGravatar Adam Chlipala2017-11-14
* Bump submodule for timing orderingGravatar Jason Gross2017-11-13
* Print coq version on smithersGravatar Jason Gross2017-11-04
* Bump coq submoduleGravatar Jason Gross2017-10-31
* Fix smithers buildGravatar Jason Gross2017-10-31
* Add nonautogenerated-specific{,-display} targetsGravatar Jason Gross2017-10-23
* Support machines without controllable cpu speedGravatar Jason Gross2017-10-13
* Update smithers scriptGravatar Jason Gross2017-10-13
* Smithers doesn't support -o pipefailGravatar Jason Gross2017-10-11
* Add etc/ci/smithers.sh for smithers testingGravatar Jason Gross2017-10-10
* Add example usageGravatar Jason Gross2017-09-27
* Update etc scripts to include governorGravatar Jason Gross2017-09-27
* Check if /sys/devices/system/cpu/intel_pstate/no_turbo exists before searchin...Gravatar Jason Gross2017-09-16
* Fix assemblyGravatar Jason Gross2017-09-12
* WIP on reg alloc for asm outputGravatar Jason Gross2017-09-11
* Fix (hopefully) overlap in regGravatar Jason Gross2017-09-05
* Fix schedule to be in correct orderGravatar Jason Gross2017-09-05
* WIPGravatar Jason Gross2017-09-05
* Fix scheduleGravatar Jason Gross2017-09-05
* WIP on reg allocGravatar Jason Gross2017-09-04
* chmod +xGravatar Jason Gross2017-09-04
* Add display files (temporary, kind-of)Gravatar Jason Gross2017-09-04
* WIP Update compile with registersGravatar Jason Gross2017-09-04
* More WIP on register allocationGravatar Jason Gross2017-08-17
* Handle most of register allocationGravatar Jason Gross2017-08-14
* Handle equality in parsingGravatar Jason Gross2017-08-14