master
livehd
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
B
inou\prp\tests\prplib.py
184 32 23
A
lhd\tests\lsp_cli.py
18 1 10
B
inou\cgen\tests\sim\diff_test.py
9 3 9
C
pass\isabelle\pass_isabelle.cpp
551 16 9
A
inou\prp\tests\gen_equiv_tb.py
64 5 9
F
upass\runner\upass_runner.cpp
2669 166 9
B
pass\lean\pass_lean.cpp
563 27 8
A
inou\prp\tests\prpsim.py
39 6 8
A
inou\prp\tests\prplec.py
36 2 7
C
lhd\lhd_kernel_formal.cpp
525 53 6
D
upass\tolg\upass_tolg.cpp
1933 111 5
A
soomrv\reclassify.py
 1 5
A
scripts\livehd_exporter.py
0 2 4
C
upass\constprop\upass_constprop.cpp
1254 150 4
A
lhd\tests\lhd_abc_flat_test.sh
 6 4
C
inou\cgen\cgen_verilog.cpp
857 88 4
C
inou\slang\slang_structure.cpp
1331 68 4
A
scripts\v2v_verilator_diff.py
39 1 3
A
pass\cprop\cprop.cpp
898 61 3
A
lhd\tests\scalar_named_type_test.sh
 2 3