mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-04-18 18:10:19 +00:00
Code Activity
yosys/passes/sat
History
Clifford Wolf 3b52121d32 now ignore init attributes on non-register wires in sat command
2014-07-05 11:18:38 +02:00
..
eval.cc
example.v
example.ys
expose.cc added log_header to miter and expose pass, show cell type for exposed ports 2014-05-28 18:05:38 +02:00
freduce.cc Fixed bug in freduce command 2014-03-07 18:44:23 +01:00
Makefile.inc
miter.cc added log_header to miter and expose pass, show cell type for exposed ports 2014-05-28 18:05:38 +02:00
sat.cc now ignore init attributes on non-register wires in sat command 2014-07-05 11:18:38 +02:00