masc-ucsc/livehd

master

livehd

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