main
yosys
Repository badge with B rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
C
backends\smt2\smtbmc.py
265 6 12
A
backends\smt2\smtbmc_incremental.py
148 4 1
B
backends\smt2\smtio.py
368 5 9
A
backends\smt2\test_cells.sh
 2 -
A
backends\smt2\witness.py
106 2 3
A
backends\smt2\ywio.py
123 1 -
A
backends\smv\smv.cc
211 2 5
A
backends\smv\test_cells.sh
 2 1
A
backends\spice\spice.cc
67 2 2
A
backends\table\table.cc
20 1 1
D
backends\verilog\verilog_backend.cc
542 10 9
A
docs\source\_static\custom.css
 1 -
A
docs\source\_static\yosyshq.css
 2 -
A
docs\source\_templates\page.html
 1 -
A
docs\source\code_examples\extensions\my_cmd.cc
11 1 -
A
docs\source\code_examples\stubnets\stubnets.cc
25 1 1
A
docs\source\conf.py
1 9 -
A
docs\source\requirements.txt
 2 -
A
docs\tests\macro_commands.py
 2 -
A
docs\util\RtlilLexer.py
 1 -