projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023
[yosys.git] / passes / sat /
2017-05-28 Clifford WolfAdd "setundef -anyseq" tree | commitdiff
2016-10-19 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-10-17 Clifford WolfBugfix in "miter -assert" handling of assumptions tree | commitdiff
2016-10-17 Clifford WolfAdded clk2fflogic support for $dffsr and $dlatch tree | commitdiff
2016-10-16 Clifford WolfImprovements and bugfixes in clk2fflogic tree | commitdiff
2016-10-14 Clifford WolfSome minor build fixes for Visual C tree | commitdiff
2016-10-14 Clifford WolfAdded clk2fflogic tree | commitdiff
2016-10-11 Clifford WolfAdded $ff and $_FF_ cell types tree | commitdiff
2016-09-07 Clifford WolfImprovements in assertpmux tree | commitdiff
2016-09-06 Clifford WolfAdded assertpmux tree | commitdiff
2016-09-06 Clifford WolfRun log_flush() before solving in sat command tree | commitdiff
2016-07-24 Clifford WolfMoved SatHelper::setup_init() code to SatHelper::setup() tree | commitdiff
2016-07-23 Clifford WolfAdded $initstate support to "sat" command tree | commitdiff
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... tree | commitdiff
2016-04-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-04-21 Clifford WolfAdded "yosys -D" feature tree | commitdiff
2016-04-07 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-04-05 Clifford WolfImproved formatting of "sat" output tables tree | commitdiff
2016-04-01 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-03-31 Clifford WolfRenamed opt_const to opt_expr tree | commitdiff
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master tree | commitdiff
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace tree | commitdiff
2015-10-24 Clifford Wolfrenamed SigSpec::to_single_sigbit() to SigSpec::as_bit... tree | commitdiff
2015-08-18 Clifford WolfAdded sat -show-regs, -show-public, -show-all tree | commitdiff
2015-08-14 Clifford WolfRe-created command-reference-manual.tex, copied some... tree | commitdiff
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) tree | commitdiff
2015-07-25 Clifford WolfAdded "miter -assert" tree | commitdiff
2015-07-02 Clifford WolfFixed trailing whitespaces tree | commitdiff
2015-06-30 Clifford WolfAdded logic-loop error handling to freduce tree | commitdiff
2015-04-18 Clifford Wolfdon't consider blackbox modules in "sat" command tree | commitdiff
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2015-02-26 Clifford WolfAdded non-std verilog assume() statement tree | commitdiff
2015-02-22 Clifford WolfFixed "sat -initsteps" off-by-one bug tree | commitdiff
2015-02-21 Clifford WolfAdded "sat -stepsize" and "sat -tempinduct-step" tree | commitdiff
2015-02-21 Clifford Wolfsat docu change tree | commitdiff
2015-02-21 Clifford WolfWhen "sat -tempinduct-baseonly -maxsteps N" reaches... tree | commitdiff
2015-02-21 Clifford WolfAdded "sat -tempinduct-baseonly -tempinduct-inductonly" tree | commitdiff
2015-02-21 Clifford WolfFixed basecase init for "sat -tempinduct" tree | commitdiff
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr tree | commitdiff
2015-02-19 Clifford Wolfformat fixes in "sat -dump_json" tree | commitdiff
2015-02-19 Clifford WolfAdded "sat -dump_json" (WaveJSON format) tree | commitdiff
2015-01-27 Clifford WolfImproved an error message tree | commitdiff
2015-01-27 Clifford WolfAdded "sat -show-ports" tree | commitdiff
2015-01-22 Clifford WolfMoved equiv stuff to passes/equiv/ tree | commitdiff
2015-01-21 Clifford WolfProgress in equiv_simple tree | commitdiff
2015-01-19 Clifford WolfAdded equiv_simple tree | commitdiff
2015-01-19 Clifford WolfAdded equiv_status tree | commitdiff
2015-01-19 Clifford WolfAdded equiv_make command tree | commitdiff
2014-12-24 Clifford WolfRenamed extend() to extend_xx(), changed most users... tree | commitdiff
2014-11-09 Clifford WolfAdded log_warning() API tree | commitdiff
2014-10-10 Clifford WolfRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because... tree | commitdiff
2014-10-10 Clifford WolfRenamed SIZE() to GetSize() because of name collision... tree | commitdiff
2014-09-27 Clifford Wolfnamespace Yosys tree | commitdiff
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-09-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-09-06 Clifford WolfMerge pull request #38 from rubund/master tree | commitdiff
2014-09-06 Ruben UndheimCorrected spelling mistakes found by lintian tree | commitdiff
2014-09-01 Clifford WolfFixes in old SAT example.ys tree | commitdiff
2014-09-01 Clifford WolfMoved "share" and "wreduce" to passes/opt/ tree | commitdiff
2014-08-24 Clifford Wolfazonenberg: Make dump_vcd save model when temporal... tree | commitdiff
2014-08-15 Clifford WolfRenamed $_INV_ cell type to $_NOT_ tree | commitdiff
2014-08-09 Clifford WolfFixed "share" for complex scenarios with never-active... tree | commitdiff
2014-08-09 Clifford WolfDo not share any $reduce_* cells (its complicated and... tree | commitdiff
2014-08-08 Clifford WolfFixed sharing of reduce operator tree | commitdiff
2014-08-08 Clifford WolfAdded "sat -prove-skip" tree | commitdiff
2014-08-07 Clifford WolfUse "-keepdc" in "miter -equiv -flatten" tree | commitdiff
2014-08-03 Clifford WolfFixed "share" for memory read ports tree | commitdiff
2014-08-02 Clifford WolfRemoved at() method from RTLIL::IdString tree | commitdiff
2014-08-02 Clifford WolfMore bugfixes related to new RTLIL::IdString tree | commitdiff
2014-08-02 Clifford WolfMore cleanups related to RTLIL::IdString usage tree | commitdiff
2014-07-31 Clifford WolfRenamed modwalker.h to modtools.h tree | commitdiff
2014-07-31 Clifford WolfRenamed port access function on RTLIL::Cell, added... tree | commitdiff
2014-07-31 Clifford WolfAdded module->design and cell->module, wire->module... tree | commitdiff
2014-07-28 Clifford WolfUsing log_assert() instead of assert() tree | commitdiff
2014-07-27 Clifford WolfRefactoring: Renamed RTLIL::Design::modules to modules_ tree | commitdiff
2014-07-26 Clifford WolfRefactoring: Renamed RTLIL::Module::cells to cells_ tree | commitdiff
2014-07-26 Clifford WolfRefactoring: Renamed RTLIL::Module::wires to wires_ tree | commitdiff
2014-07-26 Clifford WolfChanged more code to the new RTLIL::Wire constructors tree | commitdiff
2014-07-26 Clifford WolfChanged a lot of code to the new RTLIL::Wire constructors tree | commitdiff
2014-07-26 Clifford WolfMore RTLIL::Cell API usage cleanups tree | commitdiff
2014-07-26 Clifford WolfAdded RTLIL::Cell::has(portname) tree | commitdiff
2014-07-26 Clifford WolfMerge automatic and manual code changes for new cell... tree | commitdiff
2014-07-26 Clifford WolfManual fixes for new cell connections API tree | commitdiff
2014-07-26 Clifford WolfChanged users of cell->connections_ to the new API... tree | commitdiff
2014-07-26 Clifford WolfRenamed RTLIL::{Module,Cell}::connections to connections_ tree | commitdiff
2014-07-25 Clifford WolfUse only module->addCell() and module->remove() to... tree | commitdiff
2014-07-23 Clifford WolfRemoved RTLIL::SigSpec::optimize() tree | commitdiff
2014-07-23 Clifford WolfRemoved RTLIL::SigSpec::expand() method tree | commitdiff
2014-07-23 Clifford WolfFixed all users of SigSpec::chunks_rw() and removed it tree | commitdiff
2014-07-23 Clifford WolfMerge branch: Refactoring {SigSpec|SigChunk}(RTLIL... tree | commitdiff
2014-07-23 Clifford WolfRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ... tree | commitdiff
2014-07-23 Clifford WolfRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ... tree | commitdiff
2014-07-23 Clifford WolfRefactoring {SigSpec|SigChunk}(RTLIL::Wire *wire, ... tree | commitdiff
2014-07-22 Clifford WolfSigSpec refactoring: change RTLIL::SigSpec::chunks... tree | commitdiff
2014-07-22 Clifford WolfSigSpec refactoring: using the accessor functions every... tree | commitdiff
2014-07-22 Clifford WolfSigSpec refactoring: renamed chunks and width to __chun... tree | commitdiff
2014-07-21 Clifford WolfRemoved deprecated module->new_wire() tree | commitdiff
2014-07-21 Clifford WolfWider range of cell types supported in "share" pass tree | commitdiff
2014-07-21 Clifford WolfUse ezSAT::non_incremental() in "share" pass tree | commitdiff
2014-07-20 Clifford WolfAdded support for resource sharing in mux control logic tree | commitdiff
next