nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	include\tchecker\basictypes.hh	0	5	-
A	include\tchecker\zg\zg.hh	4	5	-
A	include\tchecker\refzg\refzg.hh	4	5	-
A	include\tchecker\expression\typechecking.hh	1	5	-
A	include\tchecker\dbm\dbm.hh	0	5	-
A	include\tchecker\syncprod\syncprod.hh	2	5	-
A	include\tchecker\variables\variables.hh	41	5	2
A	ci-scripts\install-sources.sh		4	-
A	include\tchecker\utils\array.hh	37	4	3
A	include\tchecker\expression\type_inference.hh	0	4	-
A	include\tchecker\expression\expression.hh	13	4	-
A	include\tchecker\dbm\db.hh	19	4	-
A	src\expression\typed_expression.cc	61	4	1
A	include\tchecker\statement\typechecking.hh	1	4	-
A	include\tchecker\refzg\state.hh	4	4	-
A	src\expression\static_analysis.cc	94	3	-
A	src\expression\expression.cc	65	3	-
A	include\tchecker\algorithms\covreach\algorithm.hh	18	3	-
A	include\tchecker\clockbounds\clockbounds.hh	11	3	-
A	include\tchecker\utils\index.hh	30	3	1