master
tchecker
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
test\tck-reach.sh
 1 -
A
src\tck-reach\zg-covreach.cc
13 1 -
A
src\tck-reach\zg-reach.cc
13 1 -
A
src\system\system.cc
31 1 -
A
src\syncprod\transition.cc
6 1 -
A
src\graph\output.cc
7 1 -
A
src\algorithms\search_order.cc
6 1 -
A
include\tchecker\waiting\waiting.hh
10 1 -
A
examples\critical-region.sh
 2 6
A
include\tchecker\utils\singleton_pool.hh
7 2 -
A
include\tchecker\zg\state.hh
4 2 -
A
include\tchecker\vm\compilers.hh
0 2 -
A
include\tchecker\algorithms\covreach\stats.hh
0 2 -
A
include\tchecker\zg\transition.hh
1 2 -
A
ci-scripts\build.sh
 2 -
A
include\tchecker\algorithms\reach\algorithm.hh
11 2 -
A
include\tchecker\zg\zone.hh
11 2 -
A
include\tchecker\utils\cache.hh
22 2 -
A
examples\dining-philosophers.sh
 2 5
A
include\tchecker\utils\pool.hh
38 2 -