yosys.git
2020-04-11 Alberto GonzalezUse `pool` instead of `std::set`.
2020-04-11 Alberto GonzalezUse `dict` instead of `std::map`.
2020-04-09 Alberto GonzalezClean up `passes/sat/qbfsat.cc`.
2020-04-07 Alberto GonzalezRemove `$anyconst` cells before specialization to elimi...
2020-04-04 Alberto GonzalezUse newly-renamed `-push-copy` option.
2020-04-04 Alberto GonzalezImprove style in `passes/sat/qbfsat.cc`.
2020-04-04 Alberto GonzalezGracefully report error when module has nothing to...
2020-04-04 Alberto GonzalezSuppress `yosys-smtbmc` output unless the new `-show...
2020-04-04 Alberto GonzalezFix handling of `-sat` and `-unsat` options when the...
2020-04-04 Alberto GonzalezUse `log_push()` and `log_pop()` and show the satisfiab...
2020-04-04 Alberto GonzalezClean up `qbfsat` command and fix AND-reduction of...
2020-04-04 Alberto GonzalezUse the `-duplicate` option rather than `-save` and...
2020-04-04 Alberto GonzalezUse internal `run_command()` API instead of `popen()`.
2020-04-04 Alberto GonzalezClean up manual casting.
2020-04-04 Alberto GonzalezRemove unimplemented `-timeout` option.
2020-04-04 Alberto GonzalezImplement the `-assume-outputs`, `-sat`, and -unsat...
2020-04-04 Alberto GonzalezAdd NDEBUG guards to `qbfsat` assertions.
2020-04-04 Alberto GonzalezImplement `-specialize-from-file` option for the `qbfsa...
2020-04-04 Alberto GonzalezImplement `-write-solution` option for the `qbfsat...
2020-04-04 Alberto GonzalezClean up `passes/sat/qbfsat.cc`.
2020-04-04 Alberto GonzalezUpdated `yosys-smtbmc` to optionally dump raw bit strin...
2020-04-04 Alberto GonzalezHole value recovery and specialization implementation...
2020-04-04 Alberto GonzalezBarebones implementation of `qbfsat` command.
2020-04-04 Alberto GonzalezInitial skeleton for `qbfsat` command.
2020-04-04 Alberto GonzalezRename `-duplicate` to `-push-copy`.
2020-04-03 Alberto GonzalezAdd `-duplicate` option to the `design` command.
2020-03-30 Eddie HungMerge pull request #1783 from boqwxp/astcc_cleanup
2020-03-30 Eddie HungMerge pull request #1835 from boqwxp/cleanup_sat_expose
2020-03-30 Eddie HungMerge pull request #1832 from boqwxp/cleanup_passes_cmd...
2020-03-30 Eddie HungMerge pull request #1786 from boqwxp/hierarchycc_cleanup
2020-03-30 Alberto GonzalezAdd explanatory comment about inefficient wire removal...
2020-03-30 Eddie HungMerge pull request #1831 from boqwxp/cleanup_sat_eval
2020-03-30 Eddie HungMerge pull request #1833 from boqwxp/cleanup_sat_freduce
2020-03-30 Alberto GonzalezRemove unused function parameter.
2020-03-30 Alberto GonzalezSimplify iterating over selected modules or cells.
2020-03-30 Alberto GonzalezReplace `RTLIL::id2cstr()` with `log_id()`.
2020-03-30 Alberto GonzalezFix double deletion in `passes/hierarchy/hierarchy...
2020-03-30 Alberto GonzalezFurther clean up `passes/sat/eval.cc`.
2020-03-30 Alberto GonzalezFurther clean up `passes/sat/freduce.cc`.
2020-03-30 Alberto GonzalezClean up more in `passes/sat/expose.cc`.
2020-03-30 N. EngelhardtMerge pull request #1811 from PeterCrozier/typedef_scope
2020-03-30 N. EngelhardtMerge pull request #1778 from rswarbrick/sv-defines
2020-03-28 Miodrag MilanovicExplicit include of csignal
2020-03-28 Miodrag Milanovicwindows - there are no stopping signals
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat...
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat...
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/cmds...
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat...
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl...
2020-03-27 Peter CrozierInline productions to follow house style.
2020-03-27 Rupert SwarbrickAdd support for SystemVerilog-style `define to Verilog...
2020-03-27 Claire WolfMerge pull request #1815 from boqwxp/fix-ef-optimize
2020-03-27 Alberto GonzalezRevert over-aggressive change to a more modest cleanup.
2020-03-26 Alberto GonzalezDo not change solver output parsing for non-exists...
2020-03-26 Claire WolfMerge pull request #1806 from YosysHQ/mwk/techmap-repla...
2020-03-26 Alberto GonzalezSkip reading stdout from the solver that if it isn...
2020-03-24 Claire WolfRevert part of 0fda8308 from #1746 that broke other...
2020-03-24 Peter CrozierError duplicate declarations of a typedef name in the...
2020-03-23 Peter CrozierSupport module/package/interface/block scope for typede...
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762
2020-03-23 Alberto GonzalezDo not warn on empty selection with prefixed `arg_memb`.
2020-03-23 Alberto GonzalezSuppress warnings for empty `select` arguments when...
2020-03-23 Alberto GonzalezAdd tests for `select` command warnings.
2020-03-23 N. EngelhardtMerge pull request #1803 from Grazfather/typedef
2020-03-23 N. EngelhardtMerge pull request #1805 from hofstee/master
2020-03-23 Marcin Kościelnickitechmap: Fix cell names with _TECHMAP_REPLACE_.*
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup
2020-03-23 Teguh Hofsteefix typo in `write_smt2` help
2020-03-23 Alberto GonzalezWarn on empty selection for `add` command.
2020-03-23 Peter CrozierSimplify was not being called for packages. Broke...
2020-03-23 Peter CrozierBuild pkg_user_types before parsing in case of changes...
2020-03-23 PeterClear pkg_user_types if no packages following a 'design...
2020-03-23 PeterRevert typedef tests to standard grammar.
2020-03-23 PeterParser changes to support typedef.
2020-03-22 R. Ouiopadmap: Attempt to give new wires/cells meaningful...
2020-03-21 David ShahMerge pull request #1794 from YosysHQ/dave/mince-abc9-fix
2020-03-20 Eddie HungMerge pull request #1795 from smunaut/fix_abc9_spram
2020-03-20 Sylvain Munautice40: Fix typos in SPRAM ABC9 timing specs
2020-03-20 David ShahAdd test for abc9+mince issue
2020-03-20 David Shahice40: Map unmapped 'mince' DFFs to gate level
2020-03-20 Marcin Kościelnickixilinx: Mark IOBUFDS.IOB as external pad
2020-03-19 Eddie HungMerge pull request #1788 from YosysHQ/eddie/fix_ndebug
2020-03-19 Marcin Kościelnickifsm_extract: Initialize celltypes with full design.
2020-03-19 Miodrag MilanovićMerge pull request #1787 from YosysHQ/mmicko/lexer_deps
2020-03-19 Miodrag MilanovicAdd one mode dependency
2020-03-19 Eddie HungFix NDEBUG warnings
2020-03-19 N. EngelhardtMerge pull request #1774 from boqwxp/exec
2020-03-19 N. EngelhardtMerge pull request #1775 from huaixv/asserts_locations
2020-03-19 Alberto GonzalezClean up pseudo-private member usage in `frontends...
2020-03-19 Alberto GonzalezClean up pseudo-private member usage in `passes/sat...
2020-03-19 Alberto GonzalezClean up pseudo-private member usage in `passes/hierarc...
2020-03-19 huaixvAdd precise locations for asserts
2020-03-18 Miodrag MilanovićMerge pull request #1780 from YosysHQ/fix-test-bash
2020-03-18 N. Engelhardtfix argument order for macOS compatibility
2020-03-18 N. Engelhardtadd bash to brewfile
2020-03-18 Alberto GonzalezUpdate copyright and license header.
2020-03-18 Alberto GonzalezClean up `exec` code according to review.
2020-03-17 Claire WolfAdd N:* to select language, fix some old code
2020-03-17 Eddie HungMerge pull request #1769 from boqwxp/select_cleanup
2020-03-17 N. EngelhardtMerge pull request #1776 from boqwxp/precise_locations
next