Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [travis] remove autogenerated files from _CoqProject | 2017-12-13 | |
| | | | | This will hopefully work better than kludging around coqdep | ||
* | Apparently ln -s is too slow on travis, so we fake it when we're not ↵ | 2017-12-13 | |
| | | | | building things | ||
* | Print out Coq version info on travis | 2017-12-05 | |
| | |||
* | Add a target to speed up coqdep with a kludge on travis | 2017-11-26 | |
| | |||
* | Update .travis.yml from 8.7+beta2 to 8.7.0 | 2017-10-18 | |
| | | | | This closes #255 | ||
* | Update .travis.yml to be 8.7-only | 2017-10-18 | |
| | |||
* | Allow test and bench to fail on travis | 2017-10-11 | |
| | | | | | | | | We now only build selected-test and selected-bench with one version of Coq (picked 8.7+beta2, because hopefully it'll be faster than 8.6.1). Previously, some travis builds failed because some travis machines don't support adc, adcx, mulx, etc. | ||
* | Add targets for no-curves-proofs-non-specific, and selected-specific, | 2017-10-11 | |
| | | | | Also hopefully fix travis | ||
* | Hopefully fix travis | 2017-10-10 | |
| | | | | | | Travis was too slow to run all of the coq target, so we split off the no-curves-proofs and the curves-proofs targets, and, while we're at it, also add 8.7+beta1 tests. | ||
* | [travis] trunk is now called master | 2017-10-06 | |
| | |||
* | Switch Coq {8.6 => 8.6.1} on travis | 2017-10-06 | |
| | |||
* | Drop 8.5 travis build | 2017-10-06 | |
| | | | | It's not useful, since we pass -compat 8.6 | ||
* | Drop test target on travis | 2017-09-16 | |
| | | | | It gives "illegal instruction" on p256 | ||
* | Test `make bench` on travis. | 2017-09-15 | |
| | |||
* | Also test coq v8.7 on travis | 2017-07-08 | |
| | |||
* | Don't set COQPATH in travis | 2017-07-03 | |
| | | | | We don't need it | ||
* | test display target on travis | 2017-07-03 | |
| | |||
* | Remove tabs from .travis.yml | 2017-07-03 | |
| | |||
* | Clean up .travis.yml | 2017-07-03 | |
| | | | | It's more readable now | ||
* | Don't make curves proofs on travis (hopefully fast enough build) | 2017-06-17 | |
| | |||
* | Fix the use of TARGETS on travis | 2017-06-14 | |
| | |||
* | Add a printlite target to display lite files | 2017-06-14 | |
| | |||
* | Also test the 'lite' target on 8.6 in travis | 2017-06-14 | |
| | |||
* | Fix travis targets | 2017-04-03 | |
| | |||
* | [travis] Only build the lite target on Coq 8.5 | 2017-03-16 | |
| | | | | This closes #122 | ||
* | Remove display .vo from default target | 2017-03-06 | |
| | |||
* | Use 8.6 rather than 8.6rc1 on travis | 2016-12-19 | |
| | |||
* | More travis fixups for package installation | 2016-12-08 | |
| | |||
* | Only install Coq package on travis | 2016-12-08 | |
| | |||
* | Test 8.6rc1 on travis | 2016-12-08 | |
| | |||
* | Add trunk as an allowed failure to .travis.yml | 2016-12-06 | |
| | |||
* | Update .travis.yml | 2016-12-05 | |
| | |||
* | Update .travis.yml | 2016-12-05 | |
| | |||
* | Only test 8.6beta1 on travis | 2016-12-05 | |
| | |||
* | Don't let travis kill us in 10 minutes of silence | 2016-11-18 | |
| | |||
* | Don't build 8.5pl{1,2} on travis | 2016-11-17 | |
| | | | | | | This will cancel out the timing increase of adding v8.5, v8.6. I've never seen 8.5 and 8.5pl3 succeed, while either 8.5pl1, or 8.5pl2 failed | ||
* | Add tip of 8.5, 8.6 to travis | 2016-11-17 | |
| | | | | Allow them to fail, though | ||
* | Also test 8.5pl3 on travis | 2016-10-29 | |
| | |||
* | Test fewer Coq versions on Travis (#46) | 2016-08-04 | |
| | | | Each version of 8.4 takes around 17 minutes to complete. I've yet to see anything that behaves differently among 8.4{,pl1,pl2,pl3,pl4}, or among 8.4pl{5,6}. So if we keep 8.4pl3 (the version of Coq distributed in debian trusty), and 8.4pl6, we should capture the range of behaviors, and save about an hour-and-a-quarter per test. | ||
* | Display pretty timing graph on travis | 2016-07-20 | |
| | |||
* | An attempt at fixing 8.5pl2 | 2016-07-11 | |
| | | | See #23 | ||
* | Add 8.5pl2 to travis | 2016-07-11 | |
| | |||
* | Also install libcoq-ocaml | 2016-06-28 | |
| | | | | | Because I can't figure out how to package coq so that coq depends on libcoq-ocaml automatically. | ||
* | Add many versions of Coq 8.4 to travis | 2016-06-28 | |
| | |||
* | Test 8.5 and 8.5pl1 on travis | 2016-06-27 | |
| | | | | | Now that I've finally managed to get packages built for both of these versions of Coq on my ppa... | ||
* | Make Coq 8.5 the default target for Fiat-Crypto | 2016-06-22 | |
| | | | | Instructions for 8.4 build in the README | ||
* | Also build with Coq 8.5 on travis | 2016-06-22 | |
| | |||
* | Add .travis.yml | 2016-06-20 | |