sbvPlugin: Formally prove properties of Haskell programs using SBV/SMT
[ bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers ]
[ Propose Tags ]
[ Report a vulnerability ]
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV package.
See Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples
for more details.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- sbvPlugin-9.4.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 0.10, 0.11, 0.12, 9.0.1, 9.2.2, 9.4.4, 9.6.1, 9.8.1, 9.8.2, 9.10.1 (info) |
---|---|
Change log | CHANGES.md |
Dependencies | base (>=4.11 && <5), containers, ghc (>=9.4.4), ghc-prim, mtl, sbv (>=9.2), template-haskell [details] |
Tested with | ghc ==9.4.4 |
License | BSD-3-Clause |
Author | Levent Erkok |
Maintainer | Levent Erkok (erkokl@gmail.com) |
Category | Formal methods, Theorem provers, Math, SMT, Symbolic Computation |
Home page | http://github.com/LeventErkok/sbvPlugin |
Bug tracker | http://github.com/LeventErkok/sbvPlugin/issues |
Source repo | head: git clone git://github.com/LeventErkok/sbvPlugin.git |
Uploaded | by LeventErkok at 2023-01-16T19:25:05Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 6497 total (87 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user [build log] All reported builds failed as of 2023-01-16 [all 2 reports] |