master
tchecker
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\dbm\dbm.cc
177 5 2
A
src\vm\compilers.cc
156 16 -
F
test\unit-tests\test-dbm.hh
140 3 14
A
src\dbm\refdbm.cc
124 5 -
A
test\unit-tests\test-refdbm.hh
120 3 -
A
test\unit-tests\test-variables-access.hh
119 2 2
A
src\clockbounds\solver.cc
113 6 -
A
src\clockbounds\clockbounds.cc
111 2 -
A
src\parsing\declaration.cc
101 2 -
A
src\expression\static_analysis.cc
94 3 -
A
src\syncprod\system.cc
74 1 -
A
src\variables\clocks.cc
70 2 -
A
src\expression\type_inference.cc
69 5 -
A
src\expression\expression.cc
65 3 -
A
test\unit-tests\test-waiting.hh
62 1 -
A
src\expression\typed_expression.cc
61 4 1
A
src\expression\typechecking.cc
55 9 -
A
src\statement\statement.cc
52 8 -
A
include\tchecker\vm\vm.hh
51 14 1
A
src\syncprod\syncprod.cc
50 3 -