aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Added WORDS parameter to $meminitClifford Wolf2015-07-311-7/+25
* Fixed flatten $meminit handlingClifford Wolf2015-07-301-1/+1
* Fixed "check" command for inout portsClifford Wolf2015-07-271-3/+11
* Some cleanups in opt_rmdffClifford Wolf2015-07-251-16/+9
* Added "miter -assert"Clifford Wolf2015-07-251-1/+93
* Keep modules with $assume (like $assert)Clifford Wolf2015-07-251-1/+1
* Improved $adff simplificationClifford Wolf2015-07-241-1/+1
* Fixed techmap processes error msgClifford Wolf2015-07-181-2/+3
* Some fixes in "select" commandClifford Wolf2015-07-161-1/+3
* Do not collect disabled $memwr cellsClifford Wolf2015-07-061-15/+18
* Bugfix in fsm_extractClifford Wolf2015-07-031-3/+16
* Fixed trailing whitespacesClifford Wolf2015-07-0284-256/+256
* Added opt_const -clkinvClifford Wolf2015-07-012-6/+95
* Added logic-loop error handling to freduceClifford Wolf2015-06-301-0/+11
* Bugfix in chparamClifford Wolf2015-06-301-6/+5
* Added design->rename(module, new_name)Clifford Wolf2015-06-301-3/+1
* Added "rename -top new_name"Clifford Wolf2015-06-171-0/+27
* Modernized memory_dff (and fixed a bug)Clifford Wolf2015-06-142-151/+166
* Added "memory -nordff"Clifford Wolf2015-06-141-2/+9
* Fixed cstr_buf for std::string with small string optimizationClifford Wolf2015-06-111-1/+1
* AigMaker refactoringClifford Wolf2015-06-101-1/+1
* Renamed "aig" to "aigmap"Clifford Wolf2015-06-103-10/+10
* Fixed cellaigs port extendingClifford Wolf2015-06-102-2/+10
* Added "aig" passClifford Wolf2015-06-092-0/+149
* Merge clock inverters in memory_dffClifford Wolf2015-06-091-16/+37
* Added opt_share -share_allClifford Wolf2015-05-312-16/+32
* Added liberty dont_use support to dfflibmapClifford Wolf2015-05-311-0/+4
* Improved "flatten" handlings of inout portsClifford Wolf2015-05-231-2/+26
* Added simple $dlatch support to opt_rmdffClifford Wolf2015-05-231-0/+35
* preserve used $-wires with init attribute in opt_cleanClifford Wolf2015-05-221-1/+1
* Generalized blifparse APIClifford Wolf2015-05-171-4/+6
* abc/blifparse files reorganizationClifford Wolf2015-05-175-302/+5
* Added .barbuf support to abc BLIF parserClifford Wolf2015-05-131-0/+20
* Fixed memory_unpack for initialized memoriesClifford Wolf2015-04-291-0/+17
* Preserve important attributes in splitnetsClifford Wolf2015-04-291-0/+13
* Added $eq/$neq -> $logic_not/$reduce_bool optimizationClifford Wolf2015-04-292-1/+22
* 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
* 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