aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Added simplemap $lut supportClifford Wolf2015-04-272-0/+25
|
* Improved attributes API and handling of "src" attributesClifford Wolf2015-04-242-4/+35
|
* Fixed memory_share for unconditional write with part select to memoryClifford Wolf2015-04-221-0/+3
|
* don't consider blackbox modules in "sat" commandClifford Wolf2015-04-181-7/+5
|
* Improved handling of init values in opt_rmdffClifford Wolf2015-04-181-11/+9
| | | | based on a patch by Mingyu Gao, user gaomy3832 on github
* Bugfix for $_DFF_?_ in "dff2dffe -direct-match"Clifford Wolf2015-04-171-2/+2
|
* Improved "maccmap" help messageClifford Wolf2015-04-161-2/+2
|
* Fixed "dff2dffe -direct-match"Clifford Wolf2015-04-161-12/+23
|
* Added "dff2dffe -direct-match"Clifford Wolf2015-04-161-14/+35
|
* Added "splice -wires"Clifford Wolf2015-04-131-9/+20
|
* Added handling of bool-output cells to "wreduce"Clifford Wolf2015-04-131-0/+11
|
* Added memory_bram "make_outreg" featureClifford Wolf2015-04-091-2/+25
|
* Minor fixes in handling of "init" attributeClifford Wolf2015-04-091-0/+5
|
* techmap code cleanupClifford Wolf2015-04-091-10/+6
|
* Added support for "file names with blanks"Clifford Wolf2015-04-084-27/+19
|
* Removed "techmap -share_map" (use "-map +/filename" instead)Clifford Wolf2015-04-081-9/+0
|
* Added %M and %C select operatorsClifford Wolf2015-04-071-1/+38
|
* Added "pmuxtree" commandClifford Wolf2015-04-072-0/+113
|
* Added "chparam -list"Clifford Wolf2015-04-071-0/+21
|
* Added decoder generation to "muxcover"Clifford Wolf2015-04-071-13/+104
|
* Added "muxcover" commandClifford Wolf2015-04-072-0/+542
|
* typo fixClifford Wolf2015-04-071-1/+1
|
* Added "chparam" commandClifford Wolf2015-04-071-0/+57
|
* Added support for initialized bramsClifford Wolf2015-04-061-8/+35
|
* Avoid parameter values with size 0 ($mem cells)Clifford Wolf2015-04-052-6/+11
|
* Added $_MUX4_, $_MUX8_, and $_MUX16_ cell typesClifford Wolf2015-04-051-0/+88
|
* Added "dffinit", Support for initialized Xilinx DFFClifford Wolf2015-04-044-3/+125
|
* documentation improvementsClifford Wolf2015-03-292-1/+5
|
* Fixed detection of absolute paths in ABC for win32Clifford Wolf2015-03-221-3/+3
|
* Fixed handling of quotes in liberty parserClifford Wolf2015-03-181-2/+2
|
* Added hierarchy -auto-topClifford Wolf2015-03-181-1/+33
|
* Fixed bug in "hierarchy" for parametric designsClifford Wolf2015-03-041-20/+19
|
* Added non-std verilog assume() statementClifford Wolf2015-02-262-12/+30
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-02-251-14/+51
|\
| * Added "keep_hierarchy" attributeClifford Wolf2015-02-251-14/+51
| |
* | Bugfix in iopadmapClifford Wolf2015-02-251-10/+3
|/
* Some cleanups in "clean"Clifford Wolf2015-02-242-7/+18
|
* Fixed compilation problems with gcc 4.6.3; use enum instead of const ints.Clifford Wolf2015-02-241-2/+4
| | | | (original patch by Andrew Becker <andrew.becker@epfl.ch>)
* Fixed "check -assert"Clifford Wolf2015-02-221-1/+1
|
* Added "check -assert" docClifford Wolf2015-02-221-0/+3
|
* Added "check -assert"Clifford Wolf2015-02-221-0/+8
|
* Fixed "sat -initsteps" off-by-one bugClifford Wolf2015-02-221-1/+1
|
* Added "sat -stepsize" and "sat -tempinduct-step"Clifford Wolf2015-02-211-21/+64
|
* sat docu changeClifford Wolf2015-02-211-0/+3
|
* When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.Clifford Wolf2015-02-211-0/+5
|
* Added "sat -tempinduct-baseonly -tempinduct-inductonly"Clifford Wolf2015-02-211-66/+92
|
* Fixed basecase init for "sat -tempinduct"Clifford Wolf2015-02-211-1/+6
|
* Fixed "flatten" for non-pre-derived modulesClifford Wolf2015-02-211-2/+2
|
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-219-138/+140
|
* Catch constants assigned to cell outputs in "flatten"Clifford Wolf2015-02-211-0/+6
|