https://github.com/dafny-lang/solver-builds
Build infrastructure for solvers to use with Dafny (and other Boogie clients)
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (0.7%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
Build infrastructure for solvers to use with Dafny (and other Boogie clients)
Basic Info
- Host: GitHub
- Owner: dafny-lang
- License: mit
- Language: Shell
- Default Branch: main
- Size: 7.81 KB
Statistics
- Stars: 0
- Watchers: 3
- Forks: 2
- Open Issues: 0
- Releases: 5
Created over 3 years ago
· Last pushed about 1 year ago
Metadata Files
Readme
License
README.md
solver-builds
Build infrastructure for solvers to use with Dafny (and other Boogie clients)
Owner
- Name: Dafny
- Login: dafny-lang
- Kind: organization
- Repositories: 13
- Profile: https://github.com/dafny-lang
Dafny is a verification-aware programming language
GitHub Events
Total
- Release event: 1
- Push event: 2
- Pull request review event: 1
- Pull request event: 2
- Fork event: 1
Last Year
- Release event: 1
- Push event: 2
- Pull request review event: 1
- Pull request event: 2
- Fork event: 1
Committers
Last synced: 11 months ago
Top Committers
| Name | Commits | |
|---|---|---|
| Aaron Tomb | a****b@a****m | 11 |
| Rustan Leino | l****o@a****m | 1 |
| Ilya Shchepetkov | i****v@g****m | 1 |
| Fabio Madge | f****e@a****m | 1 |
Committer Domains (Top 20 + Academic)
amazon.com: 3
Issues and Pull Requests
Last synced: 11 months ago
All Time
- Total issues: 0
- Total pull requests: 2
- Average time to close issues: N/A
- Average time to close pull requests: 3 days
- Total issue authors: 0
- Total pull request authors: 2
- Average comments per issue: 0
- Average comments per pull request: 1.5
- Merged pull requests: 1
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 1
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 1
- Average comments per issue: 0
- Average comments per pull request: 0.0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
Pull Request Authors
- fabiomadge (2)
- 17451k (1)