Clifford Wolf ab0c44d3ed Added %R select expression

2015-12-20 13:35:58 +01:00

..

cmds

Added %R select expression

2015-12-20 13:35:58 +01:00

equiv

Use mfp<> in equiv_mark

2015-10-27 19:15:35 +01:00

fsm

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00

hierarchy

Added "singleton" pass

2015-11-07 19:10:43 +01:00

memory

Bugfix in memory_dff

2015-10-31 22:01:41 +01:00

opt

Improvements in wreduce

2015-10-31 13:39:30 +01:00

proc

Improved proc_mux performance for huge always blocks

2015-12-02 22:02:20 +01:00

sat

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00

techmap

Added "abc -g"

2015-11-10 11:10:11 +01:00

tests

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00