master
tchecker
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
test\covreach\parse-labels.sh
 2 1
A
test\bugfixes\bug-041.sh
 2 -
A
test\bugfixes\bug-008a.sh
 2 -
A
test\bugfixes\bug-007.cc
1 2 -
A
test\bugfixes\bug-005a.sh
 2 -
A
test\bugfixes\bug-004.sh
 2 -
A
src\zg\zone.cc
30 2 -
A
src\zg\zg.cc
22 2 -
A
src\zg\transition.cc
3 1 -
A
src\zg\state.cc
7 1 -
A
src\zg\semantics.cc
21 1 -
A
src\zg\extrapolation.cc
41 1 -
A
src\waiting\waiting.cc
1 1 -
A
src\vm\vm.cc
34 6 1
A
src\vm\compilers.cc
156 16 -
A
src\variables\variables.cc
2 2 -
A
src\variables\static_analysis.cc
11 2 -
A
src\variables\intvars.cc
12 2 -
A
src\variables\clocks.cc
70 2 -
A
src\variables\access.cc
20 3 -