projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
opt_lut: add -limit option, for debugging misoptimizations.
[yosys.git] / passes / sat /
2018-10-02 Clifford WolfMerge pull request #645 from daveshah1/ecp5_dram_fix tree | commitdiff
2018-10-01 Aman GoelMerge pull request #4 from YosysHQ/master tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-09-14 Clifford WolfMerge pull request #625 from aman-goel/master tree | commitdiff
2018-09-14 Clifford WolfMerge pull request #627 from acw1251/master tree | commitdiff
2018-09-12 acw1251Fixed minor typo in "sim" help message tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #576 from cr1901/no-resource tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #562 from udif/pr_fix_illegal_port_decl tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2018-07-19 Clifford WolfAdd async2sync pass tree | commitdiff
2018-03-29 Clifford WolfRemoved $timescale from "sat" command VCD writer tree | commitdiff
2018-03-12 Clifford WolfAdd "expose -input" tree | commitdiff
2018-02-26 Clifford WolfAdd $dlatchsr support to clk2fflogic tree | commitdiff
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-14 Clifford WolfFix a bug in clk2fflogic memory handling tree | commitdiff
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-14 Clifford WolfAdd clk2fflogic memory support tree | commitdiff
2017-12-13 Clifford WolfCheck for memories in clk2fflogic tree | commitdiff
2017-08-20 Clifford WolfRename "singleton" pass to "uniquify" tree | commitdiff
2017-08-18 Clifford WolfAdd "sim -zinit -rstlen" tree | commitdiff
2017-08-18 Clifford WolfMerge branch 'sim' tree | commitdiff
2017-08-18 Clifford WolfAdd "sim" support for memories tree | commitdiff
2017-08-18 Clifford WolfAdd support for assert/assume/cover to "sim" command tree | commitdiff
2017-08-17 Clifford WolfAdd writeback mode to "sim" command tree | commitdiff
2017-08-17 Clifford WolfImprove "sim" command tree | commitdiff
2017-08-16 Clifford WolfAdd "sim" command skeleton tree | commitdiff
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
next