Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | remove old pipeline | 2019-01-09 | |
| | |||
* | [travis] Always display the diff, but don't display _CoqProject | 2018-10-25 | |
| | | | | | Because remove_autogenerated.sh updates _CoqProject, and we don't want to see the churn from that. | ||
* | [travis] Only run git diff on failure | 2018-08-09 | |
| | |||
* | Add git diff for better debugging of C-file issues | 2018-07-21 | |
| | |||
* | Define machine model, write prefancy->fancy pass, and prove Montgomery code ↵ | 2018-05-31 | |
| | | | | correct | ||
* | Util.Loops: remove non-stdlib dependencies | 2018-04-26 | |
| | |||
* | Bump coq-scripts to fix a bug | 2018-04-15 | |
| | |||
* | Bump coq-scripts | 2018-04-15 | |
| | | | | This should speed up the lite target on master | ||
* | Die early if we can't create the archive | 2018-03-22 | |
| | | | | This would have caught the issue fixed by the previous commit much earlier. | ||
* | Update travis caching script | 2018-03-22 | |
| | | | | We no longer have a Bedrock directory; we instead have a bbv directory | ||
* | Add stuff to author-blacklist for bbv | 2018-02-28 | |
| | |||
* | git submodule update --remote --recursive | 2018-02-24 | |
| | |||
* | Fix an issue where travis was not building quite the right targets | 2018-02-12 | |
| | |||
* | Work around travis bugs | 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 | 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 | 2017-12-13 | |
| | |||
* | Add missing file from previous commit | 2017-12-13 | |
| | |||
* | Bump submodule | 2017-12-08 | |
| | |||
* | Bump submodule | 2017-12-08 | |
| | |||
* | Add Andres' machine name to the author blacklist | 2017-11-15 | |
| | |||
* | Also anonymize 'fiat', e.g., in 'fiat_solinas' | 2017-11-15 | |
| | |||
* | Add Fiat-Crypto to the list of things to be anonymized | 2017-11-15 | |
| | |||
* | Expand ratios script | 2017-11-14 | |
| | |||
* | A small script for calculating speedup ratios from results | 2017-11-14 | |
| | |||
* | Bump submodule for timing ordering | 2017-11-13 | |
| | |||
* | Print coq version on smithers | 2017-11-04 | |
| | |||
* | Bump coq submodule | 2017-10-31 | |
| | |||
* | Fix smithers build | 2017-10-31 | |
| | |||
* | Add nonautogenerated-specific{,-display} targets | 2017-10-23 | |
| | |||
* | Support machines without controllable cpu speed | 2017-10-13 | |
| | |||
* | Update smithers script | 2017-10-13 | |
| | |||
* | Smithers doesn't support -o pipefail | 2017-10-11 | |
| | |||
* | Add etc/ci/smithers.sh for smithers testing | 2017-10-10 | |
| | |||
* | Add example usage | 2017-09-27 | |
| | |||
* | Update etc scripts to include governor | 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 ↵ | 2017-09-16 | |
| | | | | searching it | ||
* | Fix assembly | 2017-09-12 | |
| | |||
* | WIP on reg alloc for asm output | 2017-09-11 | |
| | |||
* | Fix (hopefully) overlap in reg | 2017-09-05 | |
| | |||
* | Fix schedule to be in correct order | 2017-09-05 | |
| | |||
* | WIP | 2017-09-05 | |
| | |||
* | Fix schedule | 2017-09-05 | |
| | |||
* | WIP on reg alloc | 2017-09-04 | |
| | |||
* | chmod +x | 2017-09-04 | |
| | |||
* | Add display files (temporary, kind-of) | 2017-09-04 | |
| | |||
* | WIP Update compile with registers | 2017-09-04 | |
| | |||
* | More WIP on register allocation | 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 | 2017-08-14 | |
| | |||
* | Handle equality in parsing | 2017-08-14 | |
| | |||
* | Fixup header and footer | 2017-08-14 | |
| |