nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	include\tchecker\ta\transition.hh	9	1	-
A	src\tck-simulate\simulate.hh	0	1	-
A	examples\gps-mc.sh		1	9
A	src\tck-simulate\tck-simulate.cc	30	1	-
A	src\waiting\waiting.cc	1	1	-
A	src\zg\extrapolation.cc	41	1	-
A	examples\ad94_Long.sh		1	-
A	examples\job-shop.sh		1	8
A	src\zg\semantics.cc	21	1	-
A	src\zg\state.cc	7	1	-
A	src\zg\transition.cc	3	1	-
A	examples\leader-election-async.sh		1	4
A	test\save-results.sh		1	2
A	test\tck-reach.sh		1	-
A	ci-scripts\install-Linux.sh		1	-
A	examples\ad94_mid.sh		1	-
A	examples\leader-election.sh		1	5
A	include\tchecker\graph\store_graph.hh	4	1	-
A	include\tchecker\graph\subsumption_graph.hh	34	1	-
A	include\tchecker\waiting\factory.hh	6	1	-