GitHub / sgpthomas issue stats
Total issues: 162
Total pull requests: 54
Merged pull request: 48
Average time to close issues: 3 months
Average time to close pull requests: 23 days
Average comments per issue: 1.19
Average comments per pull request: 1.41
Issues created
- calyxir/calyx: 54
- sgpthomas/flower: 20
- dijkstracula/solvent: 17
- sgpthomas/trails: 16
- sgpthomas/labsight: 11
- sgpthomas/sexpy: 9
- PataphysicalSociety/soupault: 6
- rachitnigam/runt: 5
- sgpthomas/hourglass: 4
- sgpthomas/elementary-redshift: 4
- rhaiscript/rhai: 3
- model-checking/kani: 2
- p-e-w/plotinus: 2
- Marwes/pretty.rs: 1
- lainsce/palaura: 1
- philip-scott/notes-up: 1
- mwillsey/symbol_table: 1
- mitsuhiko/insta: 1
- egraphs-good/egg: 1
- lainsce/quilter: 1
- jj-vcs/jj: 1
- cucapra/calyx: 1
Pull requests created
- calyxir/calyx: 28
- dijkstracula/solvent: 10
- vegaluisjose/vast: 5
- sgpthomas/flexible-isa: 3
- egraphs-good/egg: 1
- rachitnigam/runt: 1
- prove-rs/z3.rs: 1
- mwillsey/symbol_table: 1
- sampsyo/bril: 1
- camshaft/bolero: 1
- model-checking/kani: 1
- magit/forge: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (77, 47.53%)
- Owner (64, 39.51%)
- None (18, 11.11%)
- Contributor (3, 1.85%)
Pull Request Author Associations
- Collaborator (44, 81.48%)
- Contributor (5, 9.26%)
- Owner (3, 5.56%)
- None (2, 3.70%)
Top Issue Labels
- gui (8)
- Priority: Low (7)
- enhancement (6)
- library (5)
- low priority (5)
- bug (4)
- Status: Stale (4)
- Type: Pass (4)
- Status: Confirmed (2)
- Status: Discussion needed (2)
- high priority (2)
- Type: Tracker (2)
- [C] Feature / Enhancement (1)
- [C] Documentation (1)
- Confirmed (1)
Top Pull Request Labels
- enhancement (1)
- low priority (1)
- Z-BenchCI (1)