masc-ucsc/livehd

master

livehd

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