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 / miter.cc
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master blob | commitdiff | raw
2019-04-30 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw
2019-04-30 Benedikt TutzerMerge branch 'master' of https://github.com/YosysHQ... blob | commitdiff | raw
2019-04-22 Clifford WolfMerge pull request #905 from christian-krieg/feature... blob | commitdiff | raw
2019-04-22 Clifford WolfMerge pull request #941 from Wren6991/sim_lib_io_clke blob | commitdiff | raw
2019-04-22 Clifford WolfMerge branch 'master' of https://github.com/dh73/yosys_... blob | commitdiff | raw
2019-04-22 Clifford WolfMerge pull request #911 from mmicko/gowin-nobram blob | commitdiff | raw
2019-04-22 Clifford WolfMerge pull request #909 from zachjs/master blob | commitdiff | raw
2019-04-22 Clifford WolfMerge pull request #944 from YosysHQ/clifford/pmux2shiftx blob | commitdiff | raw
2019-04-21 Eddie HungMerge branch 'master' into map_cells_before_map_luts blob | commitdiff | raw
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/clifford/pmux2shif... blob | commitdiff | raw
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl blob | commitdiff | raw
2019-04-20 Clifford WolfMerge pull request #943 from YosysHQ/clifford/whitebox blob | commitdiff | raw
2019-04-20 Clifford WolfAdd "techmap -wb", use in formal flows blob | commitdiff | raw
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-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... blob | commitdiff | raw | diff to current
2016-10-19 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys blob | commitdiff | raw | diff to current
2016-10-17 Clifford WolfBugfix in "miter -assert" handling of assumptions blob | commitdiff | raw | diff to current
2016-10-11 Clifford WolfAdded $ff and $_FF_ cell types 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-01 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys blob | commitdiff | raw | diff to current
2016-03-31 Clifford WolfRenamed opt_const to opt_expr blob | commitdiff | raw | diff to current
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) blob | commitdiff | raw | diff to current
2015-07-25 Clifford WolfAdded "miter -assert" 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
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-07 Clifford WolfUse "-keepdc" in "miter -equiv -flatten" blob | commitdiff | raw | diff to current
2014-08-02 Clifford WolfMore bugfixes related to new RTLIL::IdString blob | commitdiff | raw | diff to current
2014-07-31 Clifford WolfRenamed port access function on RTLIL::Cell, added... blob | commitdiff | raw | diff to current
2014-07-31 Clifford WolfAdded module->design and cell->module, wire->module... 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::wires to wires_ blob | commitdiff | raw | diff to current
2014-07-26 Clifford WolfChanged a lot of code to the new RTLIL::Wire constructors 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 WolfManual fixes for new cell connections API 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-25 Clifford WolfUse only module->addCell() and module->remove() to... 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: 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-21 Clifford WolfRemoved deprecated module->new_wire() blob | commitdiff | raw | diff to current
2014-07-20 Clifford WolfAdded "miter -equiv -flatten" blob | commitdiff | raw | diff to current
2014-05-29 Clifford WolfMerge pull request #36 from hansiglaser/master blob | commitdiff | raw | diff to current
2014-05-28 Johann Glaseradded log_header to miter and expose pass, show cell... blob | commitdiff | raw | diff to current
2014-02-06 Clifford WolfAdded miter -make_outcmp blob | commitdiff | raw | diff to current
2014-02-01 Clifford WolfFixed a bug in miter command blob | commitdiff | raw | diff to current
2014-02-01 Clifford WolfAdded miter command blob | commitdiff | raw | diff to current