aboutsummaryrefslogtreecommitdiff
path: root/etc
Commit message (Expand)AuthorAge
* 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
* Fixup header and footerGravatar Jason Gross2017-08-14
* Update scheduler to know about implicit mulx argGravatar Jason Gross2017-08-14
* Use a more realistic processor modelGravatar Jason Gross2017-08-13
* Revert "Revert "Subset compiler differently""Gravatar Jason Gross2017-08-13
* Revert "Subset compiler differently"Gravatar Jason Gross2017-08-13
* Subset compiler differentlyGravatar Jason Gross2017-08-13
* Add heuristic searchGravatar Jason Gross2017-08-13
* Update the graph makerGravatar Jason Gross2017-08-13
* Update exhaustive search compilerGravatar Jason Gross2017-08-13
* Add memoize.py to zinc compiler folderGravatar Jason Gross2017-08-11
* wip on register allocation in pythonGravatar Jason Gross2017-08-09
* Fix the sense of dependencies in zinc generationGravatar Jason Gross2017-08-09
* Get all scheduling done in one frameGravatar Jason Gross2017-08-09
* Fix wipGravatar Jason Gross2017-08-09
* Larger instruction window for zincGravatar Jason Gross2017-08-09
* Add a faster version of the zinc compilerGravatar Jason Gross2017-08-06
* Add initial stab at C-compilation by optimizationGravatar Jason Gross2017-08-06
* Fix format warning in gccGravatar Jason Gross2017-07-08
* Don't remove Adam Langley when anonymizing repoGravatar Jason Gross2017-07-06
* s/bash/shGravatar Andres Erbsen2017-07-05