Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/phadej/sbv-releases

Last synced: 13 days ago
JSON representation

Host: GitHub
URL: https://github.com/phadej/sbv-releases
Owner: phadej
License: other
Created: 2019-08-14T17:59:24.000Z (over 5 years ago)
Default Branch: master
Last Pushed: 2019-08-14T18:00:03.000Z (over 5 years ago)
Last Synced: 2024-11-07T03:48:49.079Z (2 months ago)
Language: Haskell
Size: 2.55 MB
Stars: 3
Watchers: 5
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE

Awesome Lists containing this project

README

        ## SBV: SMT Based Verification in Haskell

[![Hackage version](http://img.shields.io/hackage/v/sbv.svg?label=Hackage)](http://hackage.haskell.org/package/sbv)

Please see: http://leventerkok.github.io/sbv/

### Build Status

 - Linux:

     - GHC 8.4.4 [![Build1][3]][1]

     - GHC 8.6.3 [![Build1][4]][1]

 - Mac OSX:

     - GHC 8.6.3 [![Build1][5]][1]

 - Windows:

     - GHC 8.6.2 [![Build5][6]][2]

[1]: https://travis-ci.org/LeventErkok/sbv

[2]: https://ci.appveyor.com/project/LeventErkok/sbv

[3]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/1

[4]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/2

[5]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/3

[6]: https://ci.appveyor.com/api/projects/status/github/LeventErkok/sbv?svg=true