nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	include\tchecker\variables\static_analysis.hh	0	2	-
A	include\tchecker\variables\intvars.hh	9	2	-
A	include\tchecker\variables\clocks.hh	31	2	-
A	include\tchecker\variables\access.hh	0	2	-
A	include\tchecker\utils\spinlock.hh	4	2	-
A	include\tchecker\utils\singleton_pool.hh	7	2	-
A	include\tchecker\utils\shared_objects.hh	34	5	1
A	include\tchecker\utils\pool.hh	38	2	-
A	include\tchecker\utils\ordering.hh	8	2	-
A	include\tchecker\utils\log.hh	0	2	-
A	include\tchecker\utils\iterator.hh	42	2	-
A	include\tchecker\utils\index.hh	30	3	1
A	include\tchecker\utils\cache.hh	22	2	-
A	include\tchecker\utils\array.hh	37	4	3
A	include\tchecker\utils\allocation_size.hh	1	2	-
A	include\tchecker\ts\ts.hh	17	6	-
A	include\tchecker\ts\transition.hh	3	2	-
A	include\tchecker\ts\state.hh	3	3	-
A	include\tchecker\ts\allocators.hh	18	2	2
A	include\tchecker\ta\transition.hh	9	1	-