https://github.com/leventerkok/sbvplugin
Formally prove properties of Haskell programs using SBV/SMT.
https://github.com/leventerkok/sbvplugin
Keywords
haskell sbv smt verification
Last synced: 11 months ago
JSON representation
Acceptance Criteria
- Revelant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
Repository metadata
Formally prove properties of Haskell programs using SBV/SMT.
- Host: GitHub
- URL: https://github.com/leventerkok/sbvplugin
- Owner: LeventErkok
- License: other
- Created: 2015-11-09T05:42:44.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2024-05-22T22:58:23.000Z (12 months ago)
- Last Synced: 2024-05-22T23:04:11.263Z (12 months ago)
- Topics: haskell, sbv, smt, verification
- Language: Haskell
- Homepage:
- Size: 542 KB
- Stars: 44
- Watchers: 7
- Forks: 7
- Open Issues: 6
- Releases: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE
Owner metadata
- Name: Levent Erkök
- Login: LeventErkok
- Email:
- Kind: user
- Description:
- Website: http://leventerkok.github.io/
- Location: Portland, OR
- Twitter:
- Company:
- Icon url: https://avatars.githubusercontent.com/u/549449?v=4
- Repositories: 9
- Last ynced at: 2023-04-11T01:04:11.528Z
- Profile URL: https://github.com/LeventErkok
GitHub Events
Total
- Create event: 18
- Commit comment event: 1
- Issues event: 44
- Watch event: 41
- Delete event: 1
- Issue comment event: 36
- Push event: 273
- Pull request event: 8
- Fork event: 9
Last Year
- Create event: 2
- Push event: 9
- Watch event: 3
Committers metadata
Last synced: 12 months ago
Total Commits: 448
Total Committers: 6
Avg Commits per committer: 74.667
Development Distribution Score (DDS): 0.038
Commits in past year: 11
Committers in past year: 1
Avg Commits per committer in past year: 11.0
Development Distribution Score (DDS) in past year: 0.0
| Name | Commits | |
|---|---|---|
| Levent Erkok | e****l@g****m | 431 |
| Levent Erkok | l****k@a****m | 10 |
| Levent Erkok | l****k@i****m | 3 |
| Nickolas Fotopoulos | n****s@g****m | 2 |
| Stephan Renatus | s****s@c****o | 1 |
| Thomas M. DuBuisson | t****d@m****v | 1 |
Committer domains:
Issue and Pull Request metadata
Last synced: 12 months ago
Total issues: 25
Total pull requests: 3
Average time to close issues: 27 days
Average time to close pull requests: 8 days
Total issue authors: 3
Total pull request authors: 3
Average comments per issue: 0.72
Average comments per pull request: 6.0
Merged pull request: 3
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull request: 0
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
- LeventErkok (23)
- minad (1)
- thoughtpolice (1)
Top Pull Request Authors
- srenatus (1)
- TomMD (1)
- fotonick (1)
Top Issue Labels
- help wanted (1)
Top Pull Request Labels
Package metadata
- Total packages: 1
-
Total downloads:
- hackage: 6,173 total
- Total dependent packages: 0
- Total dependent repositories: 1
- Total versions: 19
- Total maintainers: 1
hackage.haskell.org: sbvPlugin
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.
- Homepage: http://github.com/LeventErkok/sbvPlugin
- Licenses: BSD-3-Clause
- Latest release: 9.8.2 (published about 1 year ago)
- Last Synced: 2024-05-22T23:04:08.875Z (12 months ago)
- Versions: 19
- Dependent Packages: 0
- Dependent Repositories: 1
- Downloads: 6,173 Total
-
Rankings:
- Stargazers count: 12.362%
- Forks count: 13.724%
- Dependent packages count: 19.096%
- Average: 21.085%
- Downloads: 23.48%
- Dependent repos count: 36.76%
- Maintainers (1)
Dependencies
- base >=4.11 && <5
- containers *
- ghc >=9.2.2
- ghc-prim *
- mtl *
- sbv >=9.0
- template-haskell *
- base >=4.11 && <5 test
- directory * test
- filepath * test
- process * test
- sbvPlugin * test
- tasty * test
- tasty-golden * test
- actions/cache/restore v3 composite
- actions/cache/save v3 composite
- actions/checkout v3 composite
- actions/checkout v2 composite
- rwe/actions-hlint-run v2 composite
- rwe/actions-hlint-setup v1 composite
Score: 14.432046636152378