aboutsummaryrefslogtreecommitdiff
path: root/etc
Commit message (Expand)AuthorAge
...
* 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
* etc: add scripts to control turbo boost and hyper threadingGravatar Andres Erbsen2017-07-05
* benchmarking: correct for differences in CPU and TSC frequencyGravatar Andres Erbsen2017-07-05
* don't key benchmarks on cpu frequencyGravatar Andres Erbsen2017-06-18
* handle missing /sys/class/power_supply/ACGravatar Andres Erbsen2017-06-18
* more sh portability fixes...Gravatar Andres Erbsen2017-06-18
* "make bench", currently just X25519-C64 (closes #185)Gravatar Andres Erbsen2017-06-18
* Bump coq-scriptsGravatar Jason Gross2017-06-06
* Unrevert the coq-scripts module againGravatar Jason Gross2017-04-14
* stronger ladderstep correctness proof courtesy TeoGravatar Andres Erbsen2017-04-14
* Revert "update coq-scripts"Gravatar Jason Gross2017-04-13
* update coq-scriptsGravatar Andres Erbsen2017-04-12
* Fix vo_reverse_closureGravatar Jason Gross2017-04-09
* Add printreversedepsGravatar Jason Gross2017-04-09
* Bump submodule for better travis timing logsGravatar Jason Gross2017-01-31
* Don't let travis kill us in 10 minutes of silenceGravatar Jason Gross2016-11-18
* Also redact mit-plv and fiat-cryptoGravatar Jason Gross2016-11-15
* Add author-blacklist for repo anonymizerGravatar Jason Gross2016-11-14
* GF25519: add optimized addition chainGravatar Andres Erbsen2016-11-11
* Bump submodule for better timingGravatar Jason Gross2016-09-07
* Bump submoduleGravatar Jason Gross2016-07-19
* Bump submoduleGravatar Jason Gross2016-07-19
* Add coq-scripts submodule for timing scriptsGravatar Jason Gross2016-06-22
* Fix freshen-bedrock-files.shGravatar Jason Gross2016-04-03
* Add etc/freshen-bedrock-files.shGravatar Jason Gross2016-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-27 14:50:47 +0000