master
livehd
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
C
inou\cgen\cgen_sim.cpp
3098 74 3
F
upass\runner\upass_runner.cpp
2669 166 9
D
upass\tolg\upass_tolg.cpp
1933 111 5
B
upass\prp_writer\lnast_prp_writer.cpp
1932 77 2
C
inou\slang\slang_structure.cpp
1331 68 4
C
upass\constprop\upass_constprop.cpp
1254 150 4
A
inou\cgen\sim_color_plan.cpp
1022 11 1
B
inou\prp\prp2lnast.cpp
963 171 2
A
pass\lec\encode.cpp
944 68 1
A
pass\cprop\cprop.cpp
898 61 3
A
pass\lec\query.cpp
872 89 1
C
inou\cgen\cgen_verilog.cpp
857 88 4
A
inou\prp\prp_sim.cpp
840 35 -
A
pass\abc\abc_map.cpp
800 40 1
A
graph\latch_contract.cpp
585 16 -
B
pass\lean\pass_lean.cpp
563 27 8
C
pass\isabelle\pass_isabelle.cpp
551 16 9
C
lhd\lhd_kernel_formal.cpp
525 53 6
A
lhd\lhd_kernel_common.cpp
522 29 1
A
pass\semdiff\semdiff.cpp
496 24 1