| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently |  Dan Liew | 2015-12-01 |
| | | | | | | | | | maintaining on the OpenSUSE build service. See https://build.opensuse.org/package/show/home:delcypher:z3/z3 | ||
| * | Teach the TravisCI build to use the ``travis_retry`` command when | Dan Liew | 2015-11-21 |
| | | | | | | | | | | using NuGet. The motivation here is that the ``nuget`` command is a little flakey (sometimes it times out) in the legacy TravisCI infrastructure. This command will retry the command passed to it a few times. Hopefully this will stop the random build failures we've been having. | ||
| * | Add .travis.yml file for TravisCI builds. | Dan Liew | 2015-04-03 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |
path: root/.travis.yml