Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump coq-scripts to fix a bug | Jason Gross | 2018-04-15 |
| | |||
* | Bump coq-scripts | Jason Gross | 2018-04-15 |
| | | | | This should speed up the lite target on master | ||
* | Die early if we can't create the archive | Jason Gross | 2018-03-22 |
| | | | | This would have caught the issue fixed by the previous commit much earlier. | ||
* | Update travis caching script | Jason Gross | 2018-03-22 |
| | | | | We no longer have a Bedrock directory; we instead have a bbv directory | ||
* | Add stuff to author-blacklist for bbv | Jason Gross | 2018-02-28 |
| | |||
* | git submodule update --remote --recursive | Andres Erbsen | 2018-02-24 |
| | |||
* | Fix an issue where travis was not building quite the right targets | Jason Gross | 2018-02-12 |
| | |||
* | Work around travis bugs | Jason Gross | 2018-01-29 |
| | | | | | | | https://github.com/travis-ci/travis-ci/issues/8507 We use a script and travis_retry to work around "failed to fetch" with launchpad | ||
* | Attempt to build travis in stages | Jason Gross | 2018-01-16 |
| | | | | | | | | | | | | Hopefully this will lead to overall faster builds Also: - try to allow failures - Version-specific vo caches - Make archives stage-specific This way, if multiple branches are running stages at the same time, they don't have as much a chance of clobbering each others builds. | ||
* | Also build non-specific on smithers | Jason Gross | 2017-12-13 |
| | |||
* | Add missing file from previous commit | Jason Gross | 2017-12-13 |
| | |||
* | Bump submodule | Jason Gross | 2017-12-08 |
| | |||
* | Bump submodule | Jason Gross | 2017-12-08 |
| | |||
* | Add Andres' machine name to the author blacklist | Jason Gross | 2017-11-15 |
| | |||
* | Also anonymize 'fiat', e.g., in 'fiat_solinas' | Jason Gross | 2017-11-15 |
| | |||
* | Add Fiat-Crypto to the list of things to be anonymized | Jason Gross | 2017-11-15 |
| | |||
* | Expand ratios script | Adam Chlipala | 2017-11-14 |
| | |||
* | A small script for calculating speedup ratios from results | Adam Chlipala | 2017-11-14 |
| | |||
* | Bump submodule for timing ordering | Jason Gross | 2017-11-13 |
| | |||
* | Print coq version on smithers | Jason Gross | 2017-11-04 |
| | |||
* | Bump coq submodule | Jason Gross | 2017-10-31 |
| | |||
* | Fix smithers build | Jason Gross | 2017-10-31 |
| | |||
* | Add nonautogenerated-specific{,-display} targets | Jason Gross | 2017-10-23 |
| | |||
* | Support machines without controllable cpu speed | Jason Gross | 2017-10-13 |
| | |||
* | Update smithers script | Jason Gross | 2017-10-13 |
| | |||
* | Smithers doesn't support -o pipefail | Jason Gross | 2017-10-11 |
| | |||
* | Add etc/ci/smithers.sh for smithers testing | Jason Gross | 2017-10-10 |
| | |||
* | Add example usage | Jason Gross | 2017-09-27 |
| | |||
* | 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 | ||
* | 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 |
| |