masc-ucsc/livehd

master

livehd

Grade	Name	Complexity	Churn	Issues
A	cops\live\lgsetup		2	-
A	cops\live\diff_finder.hpp	1	2	-
A	.github\workflows\lint.yml		3	-
A	cops\live\invariant_options.hpp	1	1	-
A	cops\live\invariant.hpp	7	2	-
A	cops\live\cops_live.hpp	1	1	-
A	cops\live\live_common.cpp	91	1	-
A	cops\live\live_common.hpp	3	2	-
A	cops\live\invariant.cpp	26	1	-
A	.github\workflows\ubuntu.yml		5	-
A	cops\live\invariant_options.cpp	8	1	-
A	cops\live\invariant_finder.cpp	44	2	-
A	cops\live\cops_live.cpp	13	1	-
A	cops\live\lglivesynth		2	-
A	benchmark\bm_format.cpp	16	5	-
A	cops\live\live_options.hpp	1	1	-
A	cops\live\live_options.cpp	9	1	-
A	.codacy.yml		1	-
A	codecov.yml		1	-
A	cops\live\invariant_finder.hpp	4	2	-