General |
|||
---|---|---|---|
Project Activity
|
|||
Open Hub Data Quality
|
Updated 1 day ago | Updated 2 days ago | |
Homepage
|
cvc4.cs.nyu.edu | www.cs.utexas.edu | |
Project License
|
BSD-3-Clause | gpl | |
$5,790,830 | $303,920,878 | ||
All Time Statistics |
|||
92 developers | 94 developers | ||
12430 commits | 37738 commits | ||
Initial Commit
|
over 14 years ago | over 16 years ago | |
Most Recent Commit
|
1 day ago | 4 days ago | |
12 Month Statistics |
|||
Contributors (Past 12 Months)
|
21 developers | 28 developers | |
Commits (Past 12 Months)
|
813 commits | 4,677 commits | |
Files Modified
|
2,936 files | 16,725 files | |
Lines Added
|
126,642 lines | 25,182,313 lines | |
Lines Removed
|
85,152 lines | 19,456,803 lines | |
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
Contributors (Past 30 Days)
|
7 developers | 9 developers | |
Commits (Past 30 Days)
|
93 commits | 351 commits | |
Files Modified
|
299 files | 13,859 files | |
Lines Added
|
7,272 lines | 5,762,854 lines | |
Lines Removed
|
1,630 lines | 3,651,863 lines | |
Code Analysis |
|||
C++ | Lisp | ||
Comments
|
High | Low | |
392,641 lines | 16,994,134 lines | ||
People |
|||
Managers
|
|||
Open Hub Users
|
1 user | 2 users | |
Open Hub User Rating
|
5.0
Based on 1 user rating. |
0.0
Based on 0 user ratings. |