diff options
| author |  qunyanm <qunyanm@hotmail.com> | 2015-12-15 11:04:27 -0800 |
|---|---|---|
| committer | qunyanm <qunyanm@hotmail.com> | 2015-12-15 11:04:27 -0800 |
| commit | eb64daf4d3b3609bc47fa8f0f22069e7576c80c7 (patch) | |
| tree | 668923025c0de2a99a4cb2b6ceb2133a014f1ed4 /README.md | |
| parent | 277e5e7400330f4b26270fcaa4b0a70514b35104 (diff) | |
| parent | 8938d00be93e780d54917c1448bc534702766fdf (diff) | |
Merge branch 'master' of https://github.com/boogie-org/boogie
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 @@ -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 |