projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #1085 from YosysHQ/eddie/shregmap_improve
[yosys.git] / passes / sat / eval.cc
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error blob | commitdiff | raw
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master blob | commitdiff | raw
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master blob | commitdiff | raw
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 blob | commitdiff | raw
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override blob | commitdiff | raw
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... blob | commitdiff | raw
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... blob | commitdiff | raw | diff to current
2016-04-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys blob | commitdiff | raw | diff to current
2016-04-21 Clifford WolfAdded "yosys -D" feature blob | commitdiff | raw | diff to current
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master blob | commitdiff | raw | diff to current
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace blob | commitdiff | raw | diff to current
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) blob | commitdiff | raw | diff to current
2015-07-02 Clifford WolfFixed trailing whitespaces blob | commitdiff | raw | diff to current
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr blob | commitdiff | raw | diff to current
2014-11-09 Clifford WolfAdded log_warning() API blob | commitdiff | raw | diff to current
2014-10-10 Clifford WolfRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because... blob | commitdiff | raw | diff to current
2014-10-10 Clifford WolfRenamed SIZE() to GetSize() because of name collision... blob | commitdiff | raw | diff to current
2014-09-27 Clifford Wolfnamespace Yosys blob | commitdiff | raw | diff to current
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2014-08-02 Clifford WolfMore cleanups related to RTLIL::IdString usage blob | commitdiff | raw | diff to current
2014-07-27 Clifford WolfRefactoring: Renamed RTLIL::Design::modules to modules_ blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfRefactoring: Renamed RTLIL::Module::cells to cells_ blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfRefactoring: Renamed RTLIL::Module::wires to wires_ blob | commitdiff | raw | diff to current
2014-07-23 Clifford WolfRemoved RTLIL::SigSpec::optimize() blob | commitdiff | raw | diff to current
2014-07-23 Clifford WolfRemoved RTLIL::SigSpec::expand() method blob | commitdiff | raw | diff to current
2014-07-23 Clifford WolfFixed all users of SigSpec::chunks_rw() and removed it blob | commitdiff | raw | diff to current
2014-07-23 Clifford WolfMerge branch: Refactoring {SigSpec|SigChunk}(RTLIL... blob | commitdiff | raw | diff to current
2014-07-23 Clifford WolfRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ... blob | commitdiff | raw | diff to current
2014-07-23 Clifford WolfRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ... blob | commitdiff | raw | diff to current
2014-07-22 Clifford WolfSigSpec refactoring: change RTLIL::SigSpec::chunks... blob | commitdiff | raw | diff to current
2014-07-22 Clifford WolfSigSpec refactoring: using the accessor functions every... blob | commitdiff | raw | diff to current
2014-07-22 Clifford WolfSigSpec refactoring: renamed chunks and width to __chun... blob | commitdiff | raw | diff to current
2014-02-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2014-02-06 Clifford WolfAdded generic RTLIL::SigSpec::parse_sel() with support... blob | commitdiff | raw | diff to current
2014-01-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2014-01-02 Clifford WolfMajor rewrite of "freduce" command blob | commitdiff | raw | diff to current
2013-12-07 Clifford WolfFixed compiler warining in passes/sat/eval.cc blob | commitdiff | raw | diff to current
2013-12-07 Clifford WolfAdded eval -set-undef and eval -table blob | commitdiff | raw | diff to current
2013-11-25 Clifford WolfImprovements in satgen undef handling blob | commitdiff | raw | diff to current
2013-11-25 Clifford WolfImprovements in satgen undef handling blob | commitdiff | raw | diff to current
2013-11-25 Clifford WolfStarted implementing undef handling in satgen blob | commitdiff | raw | diff to current
2013-11-09 Clifford WolfImproved user-friendliness of "sat" and "eval" expressi... blob | commitdiff | raw | diff to current
2013-11-09 Clifford WolfAdded verification of SAT model to "eval -vloghammer_re... blob | commitdiff | raw | diff to current
2013-11-06 Clifford WolfAdded handling of unconnected/unspecified signals to... blob | commitdiff | raw | diff to current
2013-11-06 Clifford WolfAdded correct RTL undef handling to eval vloghammer... blob | commitdiff | raw | diff to current
2013-11-06 Clifford WolfAdded eval -vloghammer_report mode blob | commitdiff | raw | diff to current
2013-08-15 Clifford WolfAdded eval -brute_force_equiv_checker_x mode blob | commitdiff | raw | diff to current
2013-06-19 Clifford WolfAdded "eval" pass blob | commitdiff | raw | diff to current