diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-28 16:46:17 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-28 16:46:17 +0100 |
commit | 3a69fdd7dd02b3bb77da16c6d0e3958f16689ed1 (patch) | |
tree | d716a5b0e1a568979f1798e5a3ac7fbf0e20dace /README.md | |
parent | bed8d4a027c635a146911a2ce973046f02a8e719 (diff) |
Try to add build status icon for the Windows build.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -1,6 +1,17 @@ # Boogie -[![Build Status](https://travis-ci.org/boogie-org/boogie.svg)](https://travis-ci.org/boogie-org/boogie) +## Build Status + +| Linux | Windows | +|-------------------------------|---------------------------------| +| [![linux build status][1]][2] | [![windows_build_status][3]][4] | + +[1]: https://travis-ci.org/boogie-org/boogie.svg +[2]: https://travis-ci.org/boogie-org/boogie +[3]: https://pmbuilds.inf.ethz.ch/buildStatus/icon?job=boogie +[4]: #FIXME + +## About Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have |