Total issues: 119
Total pull requests: 0
Average time to close issues: less than a minute
Average time to close pull requests: N/A
Total issue authors: 2
Total pull request authors: 0
Average comments per issue: 0.64
Average comments per pull request: 0
Merged pull requests: 0
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 requests: 0
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• None (75, 63.03%)
• Owner (1, 0.84%)

Pull Request Author Associations

Top Issue Authors

• GoogleCodeExporter (75)
• rgrig (1)

Top Pull Request Authors

All Maintainers

• rgrig (1)

Active Maintainers

Top Issue Labels

• auto-migrated (75)
• Package-FreeBoogie (55)
• Type-Enhancement (47)
• OpSys-All (27)
• Priority-Low (27)
• Usability (27)
• Milestone-Release0.3 (25)
• Maintainability (24)
• Type-Defect (22)
• Priority-Medium (21)
• Milestone-Release0.2 (19)
• Priority-High (17)
• Package-AstGen (14)
• Priority-Critical (10)
• Milestone-Release0.4 (8)
• Performance (5)
• Package-BmlToBpl (5)
• Milestone-Release0.5 (4)
• Type-Other (4)
• Package-GenericUtils (3)
• Type-Task (2)
• OpSys-Linux (2)
• Milestone-Release0.10 (2)
• Milestone-Release0.6 (2)
• Milestone-Release0.15 (2)
• Milestone-Release0.17 (2)
• OpSys-Windows (1)
• Milestone-Release0.7 (1)

Top Pull Request Labels