From 75b5befa9f82f6fd54817d9cec20522af1a797a6 Mon Sep 17 00:00:00 2001 From: Valentin Wüstholz Date: Thu, 19 Nov 2015 18:23:03 -0600 Subject: Update test output for Z3 4.4.1. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index a976b249..224d7196 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ You can also report issues on our [issue tracker](https://github.com/boogie-org/ ### Requirements - [NuGet](https://www.nuget.org/) -- [Z3](https://github.com/Z3Prover/z3) 4.3.2 or [CVC4](http://cvc4.cs.nyu.edu/web/) **FIXME_VERSION** (note +- [Z3](https://github.com/Z3Prover/z3) 4.4.1 or [CVC4](http://cvc4.cs.nyu.edu/web/) **FIXME_VERSION** (note CVC4 support is experimental) #### Windows specific -- cgit v1.2.3 From 3e4a58021e7f9b2bd31dd195f9a7b2f02d5b4c02 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 2 Dec 2015 09:27:06 +0000 Subject: TravisCI build icon should only show build status for master branch, not all branches. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 224d7196..1dd0ba5a 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ |-------------------------------|---------------------------------| | [![linux build status][1]][2] | [![windows_build_status][3]][4] | -[1]: https://travis-ci.org/boogie-org/boogie.svg +[1]: https://travis-ci.org/boogie-org/boogie.svg?branch=master [2]: https://travis-ci.org/boogie-org/boogie [3]: https://pmbuilds.inf.ethz.ch/buildStatus/icon?job=boogie [4]: #FIXME -- cgit v1.2.3