GitHub / dafny-lang/solver-builds committers
Build infrastructure for solvers to use with Dafny (and other Boogie clients)
Last synced: 27 days ago
Total Commits: 17
Total Committers: 4
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 4.25
Development Distribution Score (DDS): 0.353
Total Committers: 4
Total Bot Commits: 0
Total Bot Committers: 0
Avg Commits per committer: 4.25
Development Distribution Score (DDS): 0.353
Commits in the past year: 3
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 3.0
Development Distribution Score (DDS) in the past year: 0.0
Committers in the past year: 1
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 3.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/dafny-lang/solver-builds
View commits: View all commits
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsolver-builds
| Name | Commits | |
|---|---|---|
| Aaron Tomb | a****b@a****m | 11 |
| Fabio Madge | f****e@a****m | 4 |
| Rustan Leino | l****o@a****m | 1 |
| Ilya Shchepetkov | i****v@g****m | 1 |
Excludes empty and merge commits.
| Name | Commits | |
|---|---|---|
| Fabio Madge | f****e@a****m | 3 |
Committers in the past year are calculated by looking at the last 365 days of commits. Excludes empty and merge commits.