index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
/
sat
/
eval.cc
Commit message (
Expand
)
Author
Age
*
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Clifford Wolf
2014-10-10
*
Renamed SIZE() to GetSize() because of name collision on Win32
Clifford Wolf
2014-10-10
*
namespace Yosys
Clifford Wolf
2014-09-27
*
More cleanups related to RTLIL::IdString usage
Clifford Wolf
2014-08-02
*
Refactoring: Renamed RTLIL::Design::modules to modules_
Clifford Wolf
2014-07-27
*
Refactoring: Renamed RTLIL::Module::cells to cells_
Clifford Wolf
2014-07-27
*
Refactoring: Renamed RTLIL::Module::wires to wires_
Clifford Wolf
2014-07-27
*
Removed RTLIL::SigSpec::optimize()
Clifford Wolf
2014-07-23
*
Removed RTLIL::SigSpec::expand() method
Clifford Wolf
2014-07-23
*
Fixed all users of SigSpec::chunks_rw() and removed it
Clifford Wolf
2014-07-23
*
Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 3/3
Clifford Wolf
2014-07-23
*
Refactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ..) constructor -- step 2/3
Clifford Wolf
2014-07-23
*
SigSpec refactoring: change RTLIL::SigSpec::chunks() to be read-only, created...
Clifford Wolf
2014-07-22
*
SigSpec refactoring: using the accessor functions everywhere
Clifford Wolf
2014-07-22
*
SigSpec refactoring: renamed chunks and width to __chunks and __width
Clifford Wolf
2014-07-22
*
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables
Clifford Wolf
2014-02-06
*
Major rewrite of "freduce" command
Clifford Wolf
2014-01-02
*
Fixed compiler warining in passes/sat/eval.cc
Clifford Wolf
2013-12-07
*
Added eval -set-undef and eval -table
Clifford Wolf
2013-12-07
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
*
Improvements in satgen undef handling
Clifford Wolf
2013-11-25
*
Started implementing undef handling in satgen
Clifford Wolf
2013-11-25
*
Improved user-friendliness of "sat" and "eval" expression parsing
Clifford Wolf
2013-11-09
*
Added verification of SAT model to "eval -vloghammer_report" command
Clifford Wolf
2013-11-09
*
Added handling of unconnected/unspecified signals to eval -vloghammer_report
Clifford Wolf
2013-11-06
*
Added correct RTL undef handling to eval vloghammer mode
Clifford Wolf
2013-11-06
*
Added eval -vloghammer_report mode
Clifford Wolf
2013-11-06
*
Added eval -brute_force_equiv_checker_x mode
Clifford Wolf
2013-08-15
*
Added "eval" pass
Clifford Wolf
2013-06-19