diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-03 18:46:59 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-03 18:46:59 +0100 |
| commit | bf3b63b4353cc73ddb77a5bd8a842add8573a95b (patch) | |
| tree | 6c5860ed2b0b53b461c433d924e987367516cb34 /README.md | |
| parent | c7f00312af56a4bcba0ba8a6a62033e1a95dab61 (diff) | |
Add TravisCI build status icon to README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,5 +1,7 @@ # Boogie +[](https://travis-ci.org/boogie-org/boogie) + Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the |