Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 03-May-2022 | - | ||||
Data/ | H | 09-Sep-2001 | - | 29,089 | 17,055 | |
Documentation/SBV/Examples/ | H | 03-May-2022 | - | 10,414 | 3,482 | |
SBVBenchSuite/ | H | 03-May-2022 | - | 3,465 | 1,398 | |
SBVTestSuite/ | H | 03-May-2022 | - | 65,401 | 60,260 | |
CHANGES.md | H A D | 09-Sep-2001 | 125.2 KiB | 2,551 | 1,974 | |
COPYRIGHT | H A D | 09-Sep-2001 | 167 | 6 | 4 | |
INSTALL | H A D | 09-Sep-2001 | 442 | 12 | 8 | |
LICENSE | H A D | 09-Sep-2001 | 1.5 KiB | 27 | 23 | |
README.md | H A D | 09-Sep-2001 | 779 | 23 | 17 | |
Setup.hs | H A D | 09-Sep-2001 | 455 | 20 | 4 | |
sbv.cabal | H A D | 09-Sep-2001 | 28.3 KiB | 617 | 602 |
README.md
1## SBV: SMT Based Verification in Haskell 2 3On Hackage: http://hackage.haskell.org/package/sbv 4 5Please see: http://leventerkok.github.io/sbv/ 6 7### Build Status 8 9 - Linux: 10 - GHC 8.10.2 [![Build1][3]][1] 11 - GHC 8.8.4 [![Build1][4]][1] 12 - Mac OSX: 13 - GHC 8.10.2 [![Build1][5]][1] 14 - Windows: 15 - GHC 8.10.1 [![Build5][6]][2] 16 17[1]: https://travis-ci.org/LeventErkok/sbv 18[2]: https://ci.appveyor.com/project/LeventErkok/sbv 19[3]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/1 20[4]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/2 21[5]: https://travis-matrix-badges.herokuapp.com/repos/LeventErkok/sbv/branches/master/3 22[6]: https://ci.appveyor.com/api/projects/status/github/LeventErkok/sbv?svg=true 23