aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/miter.cc
Commit message (Expand)AuthorAgeFilesLines
* Bugfix in "miter -assert" handling of assumptionsClifford Wolf2016-10-171-2/+2
* Added $ff and $_FF_ cell typesClifford Wolf2016-10-121-7/+31
* Added "yosys -D" featureClifford Wolf2016-04-211-2/+2
* Renamed opt_const to opt_exprClifford Wolf2016-03-311-4/+4
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-1/+1
* Added "miter -assert"Clifford Wolf2015-07-251-1/+93
* Fixed trailing whitespacesClifford Wolf2015-07-021-4/+4
* namespace YosysClifford Wolf2014-09-271-1/+5
* Use "-keepdc" in "miter -equiv -flatten"Clifford Wolf2014-08-071-2/+2
* More bugfixes related to new RTLIL::IdStringClifford Wolf2014-08-021-3/+3
* Renamed port access function on RTLIL::Cell, added param access functionsClifford Wolf2014-07-311-28/+28
* Added module->design and cell->module, wire->module pointersClifford Wolf2014-07-311-1/+1
* Refactoring: Renamed RTLIL::Design::modules to modules_Clifford Wolf2014-07-271-6/+6
* Refactoring: Renamed RTLIL::Module::wires to wires_Clifford Wolf2014-07-271-7/+7
* Changed a lot of code to the new RTLIL::Wire constructorsClifford Wolf2014-07-261-18/+5
* Manual fixes for new cell connections APIClifford Wolf2014-07-261-4/+4
* Changed users of cell->connections_ to the new API (sed command)Clifford Wolf2014-07-261-29/+29
* Renamed RTLIL::{Module,Cell}::connections to connections_Clifford Wolf2014-07-261-29/+29
* Use only module->addCell() and module->remove() to create and delete cellsClifford Wolf2014-07-251-41/+10
* Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 3/3Clifford Wolf2014-07-231-1/+1
* Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 2/3Clifford Wolf2014-07-231-1/+1
* SigSpec refactoring: using the accessor functions everywhereClifford Wolf2014-07-221-4/+4
* SigSpec refactoring: renamed chunks and width to __chunks and __widthClifford Wolf2014-07-221-4/+4
* Removed deprecated module->new_wire()Clifford Wolf2014-07-211-6/+6
* Added "miter -equiv -flatten"Clifford Wolf2014-07-201-0/+14
* added log_header to miter and expose pass, show cell type for exposed portsJohann Glaser2014-05-281-0/+4
* Added miter -make_outcmpClifford Wolf2014-02-061-2/+23
* Fixed a bug in miter commandClifford Wolf2014-02-011-2/+2
* Added miter commandClifford Wolf2014-02-011-0/+306