projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
In sat: 'x' in init attr should not override constant
[yosys.git] / passes / sat / sat.cc
2019-08-22 Eddie HungIn sat: 'x' in init attr should not override constant blob | commitdiff | raw
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix blob | commitdiff | raw | diff to current
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... blob | commitdiff | raw | diff to current
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup blob | commitdiff | raw | diff to current
2019-08-07 Eddie Hungsubstr() -> compare() blob | commitdiff | raw | diff to current
2019-08-07 Eddie HungRemove std:: namespace blob | commitdiff | raw | diff to current
2019-08-07 Eddie Hungstoi -> atoi blob | commitdiff | raw | diff to current
2019-08-06 Eddie HungUse std::stoi instead of atoi(<str>.c_str()) blob | commitdiff | raw | diff to current
2019-07-24 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-06-27 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... blob | commitdiff | raw | diff to current
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/xaig' into xc7mux blob | commitdiff | raw | diff to current
2019-06-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig blob | commitdiff | raw | diff to current
2019-06-22 Eddie HungMerge pull request #1108 from YosysHQ/clifford/fix1091 blob | commitdiff | raw | diff to current
2019-06-21 Eddie HungMerge pull request #1085 from YosysHQ/eddie/shregmap_im... blob | commitdiff | raw | diff to current
2019-06-21 Clifford WolfMerge pull request #1117 from bwidawsk/more-home blob | commitdiff | raw | diff to current
2019-06-20 Ben WidawskyAdd a few more filename rewrites blob | commitdiff | raw | diff to current
2019-06-14 Bogdan VukobratovicSome cleanup, revert sat.cc blob | commitdiff | raw | diff to current
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master blob | commitdiff | raw | diff to current
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig blob | commitdiff | raw | diff to current
2019-05-31 Eddie HungMerge branch 'xaig' into xc7mux blob | commitdiff | raw | diff to current
2019-05-28 Bogdan VukobratovicFix the regression blob | commitdiff | raw | diff to current
2019-05-28 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-05-28 Bogdan VukobratovicOptimizing DFFs whose initial value prevents their... blob | commitdiff | raw | diff to current
2019-05-06 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2019-05-03 Eddie HungMerge remote-tracking branch 'origin/master' into cliff... blob | commitdiff | raw | diff to current
2019-05-03 Clifford WolfMerge pull request #969 from YosysHQ/clifford/pmgenstuff blob | commitdiff | raw | diff to current
2019-05-03 Clifford WolfMerge pull request #976 from YosysHQ/clifford/fix974 blob | commitdiff | raw | diff to current
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/clifford/pmgenstuf... blob | commitdiff | raw | diff to current
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux blob | commitdiff | raw | diff to current
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-05-01 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys blob | commitdiff | raw | diff to current
2019-05-01 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-05-01 Clifford WolfMerge branch 'clifford/fix883' blob | commitdiff | raw | diff to current
2019-05-01 Clifford WolfAdd missing enable_undef to "sat -tempinduct-def",... blob | commitdiff | raw | diff to current
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw | diff to current
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error blob | commitdiff | raw | diff to current
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master blob | commitdiff | raw | diff to current
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master blob | commitdiff | raw | diff to current
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 blob | commitdiff | raw | diff to current
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override blob | commitdiff | raw | diff to current
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error blob | commitdiff | raw | diff to current
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... blob | commitdiff | raw | diff to current
2018-03-29 Clifford WolfRemoved $timescale from "sat" command VCD writer blob | commitdiff | raw | diff to current
2016-09-06 Clifford WolfRun log_flush() before solving in sat command blob | commitdiff | raw | diff to current
2016-07-24 Clifford WolfMoved SatHelper::setup_init() code to SatHelper::setup() blob | commitdiff | raw | diff to current
2016-07-23 Clifford WolfAdded $initstate support to "sat" command blob | commitdiff | raw | diff to current
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
2016-04-07 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys blob | commitdiff | raw | diff to current
2016-04-05 Clifford WolfImproved formatting of "sat" output tables 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-18 Clifford WolfAdded sat -show-regs, -show-public, -show-all blob | commitdiff | raw | diff to current
2015-08-14 Clifford WolfRe-created command-reference-manual.tex, copied some... 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-18 Clifford Wolfdon't consider blackbox modules in "sat" command 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-26 Clifford WolfAdded non-std verilog assume() statement blob | commitdiff | raw | diff to current
2015-02-22 Clifford WolfFixed "sat -initsteps" off-by-one bug blob | commitdiff | raw | diff to current
2015-02-21 Clifford WolfAdded "sat -stepsize" and "sat -tempinduct-step" blob | commitdiff | raw | diff to current
2015-02-21 Clifford Wolfsat docu change blob | commitdiff | raw | diff to current
2015-02-21 Clifford WolfWhen "sat -tempinduct-baseonly -maxsteps N" reaches... blob | commitdiff | raw | diff to current
2015-02-21 Clifford WolfAdded "sat -tempinduct-baseonly -tempinduct-inductonly" blob | commitdiff | raw | diff to current
2015-02-21 Clifford WolfFixed basecase init for "sat -tempinduct" blob | commitdiff | raw | diff to current
2015-02-21 Clifford WolfReplaced ezDefaultSAT with ezSatPtr blob | commitdiff | raw | diff to current
2015-02-19 Clifford Wolfformat fixes in "sat -dump_json" blob | commitdiff | raw | diff to current
2015-02-19 Clifford WolfAdded "sat -dump_json" (WaveJSON format) blob | commitdiff | raw | diff to current
2015-01-27 Clifford WolfImproved an error message blob | commitdiff | raw | diff to current
2015-01-27 Clifford WolfAdded "sat -show-ports" 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 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-09-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2014-09-06 Clifford WolfMerge pull request #38 from rubund/master blob | commitdiff | raw | diff to current
2014-09-06 Ruben UndheimCorrected spelling mistakes found by lintian blob | commitdiff | raw | diff to current
2014-08-24 Clifford Wolfazonenberg: Make dump_vcd save model when temporal... blob | commitdiff | raw | diff to current
2014-08-08 Clifford WolfAdded "sat -prove-skip" 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-28 Clifford WolfUsing log_assert() instead of assert() 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-26 Clifford WolfMerge automatic and manual code changes for new cell... blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfChanged users of cell->connections_ to the new API... blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfRenamed RTLIL::{Module,Cell}::connections to connections_ 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-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-07-05 Clifford Wolfnow ignore init attributes on non-register wires in... blob | commitdiff | raw | diff to current
2014-03-13 Clifford WolfSmall improvement in SAT log messages blob | commitdiff | raw | diff to current
next