masc-ucsc/livehd

master

livehd

Grade	Name	Complexity	Churn	Issues
A	cops\live\lgsetup		2	-
A	cops\live\diff_finder.hpp	1	2	-
A	benchmark\bm_format.cpp	16	5	-
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	.github\workflows\lint.yml		3	-
A	cops\live\invariant.cpp	26	1	-
A	benchmark\run_benchmark.sh		4	1
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	.ycm_extra_conf.py		1	1
A	cops\live\diff_finder.cpp	173	2	1
A	.codacy.yml		1	-
A	.github\workflows\ubuntu.yml		5	-
A	codecov.yml		1	-
A	cops\live\invariant_finder.hpp	4	2	-