aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/eval.cc
Commit message (Expand)AuthorAgeFilesLines
* Use HTTPS for website links, gatecat emailClaire Xenia Wolf2021-06-091-1/+1
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-2/+2
* 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-4/+4
* Further clean up `passes/sat/eval.cc`.Alberto Gonzalez2020-03-301-16/+15
* Clean up pseudo-private member usage in `passes/sat/eval.cc`.Alberto Gonzalez2020-03-281-35/+34
* Use State::S{0,1}Eddie Hung2019-08-061-2/+2
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-251-1/+1
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-3/+3
* Fixed trailing whitespacesClifford Wolf2015-07-021-4/+4
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-211-10/+10
* Added log_warning() APIClifford Wolf2014-11-091-1/+1
* Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32Clifford Wolf2014-10-101-1/+1
* Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-101-2/+2
* namespace YosysClifford Wolf2014-09-271-3/+3
* More cleanups related to RTLIL::IdString usageClifford Wolf2014-08-021-1/+1
* Refactoring: Renamed RTLIL::Design::modules to modules_Clifford Wolf2014-07-271-6/+6
* Refactoring: Renamed RTLIL::Module::cells to cells_Clifford Wolf2014-07-271-1/+1
* Refactoring: Renamed RTLIL::Module::wires to wires_Clifford Wolf2014-07-271-11/+11
* Removed RTLIL::SigSpec::optimize()Clifford Wolf2014-07-231-3/+0
* Removed RTLIL::SigSpec::expand() methodClifford Wolf2014-07-231-6/+2
* Fixed all users of SigSpec::chunks_rw() and removed itClifford Wolf2014-07-231-8/+6
* Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 3/3Clifford Wolf2014-07-231-2/+2
* Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 2/3Clifford Wolf2014-07-231-2/+2
* SigSpec refactoring: change RTLIL::SigSpec::chunks() to be read-only, created...Clifford Wolf2014-07-221-2/+2
* SigSpec refactoring: using the accessor functions everywhereClifford Wolf2014-07-221-33/+33
* SigSpec refactoring: renamed chunks and width to __chunks and __widthClifford Wolf2014-07-221-33/+33
* Added generic RTLIL::SigSpec::parse_sel() with support for selection variablesClifford Wolf2014-02-061-4/+4
* Major rewrite of "freduce" commandClifford Wolf2014-01-021-1/+1
* Fixed compiler warining in passes/sat/eval.ccClifford Wolf2013-12-071-2/+2
* Added eval -set-undef and eval -tableClifford Wolf2013-12-071-11/+140
* Improvements in satgen undef handlingClifford Wolf2013-11-251-14/+39
* Improvements in satgen undef handlingClifford Wolf2013-11-251-4/+20
* Started implementing undef handling in satgenClifford Wolf2013-11-251-9/+30
* Improved user-friendliness of "sat" and "eval" expression parsingClifford Wolf2013-11-091-17/+13
* Added verification of SAT model to "eval -vloghammer_report" commandClifford Wolf2013-11-091-0/+43
* Added handling of unconnected/unspecified signals to eval -vloghammer_reportClifford Wolf2013-11-061-2/+6
* Added correct RTL undef handling to eval vloghammer modeClifford Wolf2013-11-061-3/+17
* Added eval -vloghammer_report modeClifford Wolf2013-11-061-4/+142
* Added eval -brute_force_equiv_checker_x modeClifford Wolf2013-08-151-5/+15
* Added "eval" passClifford Wolf2013-06-191-0/+216