yosys/passes
Clifford Wolf 4b44907619 documentation improvements 2015-03-29 20:22:08 +02:00
..
abc Fixed detection of absolute paths in ABC for win32 2015-03-22 11:03:56 +01:00
cmds documentation improvements 2015-03-29 20:22:08 +02:00
equiv Replaced ezDefaultSAT with ezSatPtr 2015-02-21 12:15:41 +01:00
fsm Added onehot attribute 2015-02-04 18:52:54 +01:00
hierarchy documentation improvements 2015-03-29 20:22:08 +02:00
memory Replaced ezDefaultSAT with ezSatPtr 2015-02-21 12:15:41 +01:00
opt Added non-std verilog assume() statement 2015-02-26 18:47:39 +01:00
proc Fixed compilation problems with gcc 4.6.3; use enum instead of const ints. 2015-02-24 11:01:00 +01:00
sat Added non-std verilog assume() statement 2015-02-26 18:47:39 +01:00
techmap Fixed handling of quotes in liberty parser 2015-03-18 16:03:19 +01:00
tests Replaced ezDefaultSAT with ezSatPtr 2015-02-21 12:15:41 +01:00