masc-ucsc/livehd

master

livehd

Grade	Name	Complexity	Churn	Issues
A	docs\mkdocs.yml		1	-
A	inou\prp\formal_blocks.hpp	0	6	-
A	lhd\tests\cgen_sim_comb_loop_test.sh		7	-
A	lhd\tests\clock_cell_test.sh		2	-
A	inou\prp\inou_prp.cpp	5	5	-
A	lhd\tests\emit_dir_alias_test.sh		1	-
A	.codacy.yml		1	-
A	lhd\tests\formal_assume_rca_test.sh		1	-
A	core\explicit_type.hpp	11	3	-
A	core\options.hpp	3	3	-
A	graph\ann_place.hpp	5	3	-
A	inou\prp\inou_prp.hpp	0	3	-
A	lhd\tests\hier_property_test.sh		2	-
A	lhd\tests\latch_clock_identity_test.sh		2	-
A	lhd\tests\latch_contract_check_test.sh		3	-
A	graph\attrs.hpp	0	21	-
A	inou\prp\prp2lnast.hpp	16	75	-
A	lhd\tests\latch_fail_closed_test.sh		7	-
A	lhd\tests\latch_verilog_emission_test.sh		3	-
A	inou\prp\prp_ast_facade.hpp	59	2	-