summaryrefslogtreecommitdiff
path: root/passes/sat/eval.cc
Commit message (Collapse)AuthorAge
* Removed RTLIL::SigSpec::optimize()Clifford Wolf2014-07-23
|
* Removed RTLIL::SigSpec::expand() methodClifford Wolf2014-07-23
|
* Fixed all users of SigSpec::chunks_rw() and removed itClifford Wolf2014-07-23
|
* Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 3/3Clifford Wolf2014-07-23
|
* Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 2/3Clifford Wolf2014-07-23
|
* SigSpec refactoring: change RTLIL::SigSpec::chunks() to be read-only, ↵Clifford Wolf2014-07-22
| | | | created interim RTLIL::SigSpec::chunks_rw()
* SigSpec refactoring: using the accessor functions everywhereClifford Wolf2014-07-22
|
* SigSpec refactoring: renamed chunks and width to __chunks and __widthClifford Wolf2014-07-22
|
* Added generic RTLIL::SigSpec::parse_sel() with support for selection variablesClifford Wolf2014-02-06
|
* Major rewrite of "freduce" commandClifford Wolf2014-01-02
|
* Fixed compiler warining in passes/sat/eval.ccClifford Wolf2013-12-07
|
* Added eval -set-undef and eval -tableClifford Wolf2013-12-07
|
* Improvements in satgen undef handlingClifford Wolf2013-11-25
|
* Improvements in satgen undef handlingClifford Wolf2013-11-25
|
* Started implementing undef handling in satgenClifford Wolf2013-11-25
|
* Improved user-friendliness of "sat" and "eval" expression parsingClifford Wolf2013-11-09
|
* Added verification of SAT model to "eval -vloghammer_report" commandClifford Wolf2013-11-09
|
* Added handling of unconnected/unspecified signals to eval -vloghammer_reportClifford Wolf2013-11-06
|
* Added correct RTL undef handling to eval vloghammer modeClifford Wolf2013-11-06
|
* Added eval -vloghammer_report modeClifford Wolf2013-11-06
|
* Added eval -brute_force_equiv_checker_x modeClifford Wolf2013-08-15
|
* Added "eval" passClifford Wolf2013-06-19