aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/miter.cc
Commit message (Collapse)AuthorAgeFilesLines
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
|
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-49/+49
|
* kernel: use more ID::*Eddie Hung2020-04-021-24/+24
|
* Clean up pseudo-private member usage in `passes/sat/miter.cc`.Alberto Gonzalez2020-03-191-60/+56
|
* substr() -> compare()Eddie Hung2019-08-071-2/+2
|
* Use State::S{0,1}Eddie Hung2019-08-061-1/+1
|
* Add "techmap -wb", use in formal flowsClifford Wolf2019-04-201-4/+4
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* 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
| | | | | | | | | git grep -l 'connections_' | xargs sed -i -r -e ' s/(->|\.)connections_\["([^"]*)"\] = (.*);/\1set("\2", \3);/g; s/(->|\.)connections_\["([^"]*)"\]/\1get("\2")/g; s/(->|\.)connections_.at\("([^"]*)"\)/\1get("\2")/g; s/(->|\.)connections_.push_back/\1connect/g; s/(->|\.)connections_/\1connections()/g;'
* 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