Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently | Dan Liew | 2015-12-01 |
* | Teach the TravisCI build to use the ``travis_retry`` command when | Dan Liew | 2015-11-21 |
* | Add .travis.yml file for TravisCI builds. | Dan Liew | 2015-04-03 |