master
tchecker
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\vm\compilers.cc
156 16 -
A
include\tchecker\vm\vm.hh
51 14 1
A
src\statement\typechecking.cc
36 11 -
A
src\expression\typechecking.cc
55 9 -
A
include\tchecker\statement\statement.hh
13 9 -
A
src\statement\statement.cc
52 8 -
A
src\statement\static_analysis.cc
38 8 -
A
include\tchecker\statement\typed_statement.hh
24 8 1
A
src\statement\typed_statement.cc
44 7 -
A
include\tchecker\expression\typed_expression.hh
22 7 1
A
include\tchecker\ta\ta.hh
4 7 -
A
src\clockbounds\solver.cc
113 6 -
A
include\tchecker\ts\ts.hh
17 6 -
A
src\vm\vm.cc
34 6 1
A
src\statement\type_inference.cc
25 6 -
A
include\tchecker\statement\type_inference.hh
0 6 -
A
src\dbm\dbm.cc
177 5 2
A
include\tchecker\expression\typechecking.hh
1 5 -
A
include\tchecker\refzg\refzg.hh
4 5 -
A
src\dbm\refdbm.cc
124 5 -