Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently | 2015-12-01 | |
* | Teach the TravisCI build to use the ``travis_retry`` command when | 2015-11-21 | |
* | Add .travis.yml file for TravisCI builds. | 2015-04-03 |
![]() |
index : debian-boogie | |
Debian packaging for Boogie |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently | 2015-12-01 | |
* | Teach the TravisCI build to use the ``travis_retry`` command when | 2015-11-21 | |
* | Add .travis.yml file for TravisCI builds. | 2015-04-03 |