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

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

Last synced: 8 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/phadej/sbv-releases
• Owner: phadej
• License: other
• Created: 2019-08-14T17:59:24.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2019-08-14T18:00:03.000Z (almost 7 years ago)
• Last Synced: 2024-12-27T04:09:05.612Z (over 1 year 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