Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | |||
* | Fixup header and footer | Jason Gross | 2017-08-14 |
| | |||
* | Update scheduler to know about implicit mulx arg | Jason Gross | 2017-08-14 |
| | | | | | Now it prefers putting together mulx with the same implicit arg (approximated as the same variable with the lower number). | ||
* | Use a more realistic processor model | Jason Gross | 2017-08-13 |
| | |||
* | Revert "Revert "Subset compiler differently"" | Jason Gross | 2017-08-13 |
| | | | | This reverts commit c8c82f2edf416b667ba487dfa2cff0795d37cbe6. | ||
* | Revert "Subset compiler differently" | Jason Gross | 2017-08-13 |
| | | | | This reverts commit 7038444e6515ec51a3b6d1cdfe972664d3f16c81. | ||
* | Subset compiler differently | Jason Gross | 2017-08-13 |
| | |||
* | Add heuristic search | Jason Gross | 2017-08-13 |
| | |||
* | Update the graph maker | Jason Gross | 2017-08-13 |
| | |||
* | Update exhaustive search compiler | Jason Gross | 2017-08-13 |
| | |||
* | Add memoize.py to zinc compiler folder | Jason Gross | 2017-08-11 |
| | |||
* | wip on register allocation in python | Jason Gross | 2017-08-09 |
| | |||
* | Fix the sense of dependencies in zinc generation | Jason Gross | 2017-08-09 |
| | | | | | This brings the maximum window size back down to 53, so we use the old method of making dependencies, rather than the new one. | ||
* | Get all scheduling done in one frame | Jason Gross | 2017-08-09 |
| | |||
* | Fix wip | Jason Gross | 2017-08-09 |
| | |||
* | Larger instruction window for zinc | Jason Gross | 2017-08-09 |
| | |||
* | Add a faster version of the zinc compiler | Jason Gross | 2017-08-06 |
| | |||
* | Add initial stab at C-compilation by optimization | Jason Gross | 2017-08-06 |
| | |||
* | Fix format warning in gcc | Jason Gross | 2017-07-08 |
| | | | | Part of #227 | ||
* | Don't remove Adam Langley when anonymizing repo | Jason Gross | 2017-07-06 |
| | |||
* | s/bash/sh | Andres Erbsen | 2017-07-05 |
| | |||
* | etc: add scripts to control turbo boost and hyper threading | Andres Erbsen | 2017-07-05 |
| | |||
* | benchmarking: correct for differences in CPU and TSC frequency | Andres Erbsen | 2017-07-05 |
| | |||
* | 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 |
| | |||
* | Bump coq-scripts | Jason Gross | 2017-06-06 |
| | |||
* | Unrevert the coq-scripts module again | Jason Gross | 2017-04-14 |
| | | | | cc @andres-erbsen | ||
* | stronger ladderstep correctness proof courtesy Teo | Andres Erbsen | 2017-04-14 |
| | |||
* | Revert "update coq-scripts" | Jason Gross | 2017-04-13 |
| | | | | | | | | This reverts commit 96d5cedb2cd194e15711ff5b284380539b9a9d99. That commit broke the `lite` target and the `printreversedeps` target, and reverted 2ad2524dba1321e3facdba3c1142e7e7fbbe1634, among other commits. | ||
* | update coq-scripts | Andres Erbsen | 2017-04-12 |
| | |||
* | Fix vo_reverse_closure | Jason Gross | 2017-04-09 |
| | |||
* | Add printreversedeps | Jason Gross | 2017-04-09 |
| | |||
* | Bump submodule for better travis timing logs | Jason Gross | 2017-01-31 |
| | |||
* | Don't let travis kill us in 10 minutes of silence | Jason Gross | 2016-11-18 |
| | |||
* | Also redact mit-plv and fiat-crypto | Jason Gross | 2016-11-15 |
| |