yosys.git
2020-03-30 Alberto GonzalezReplace `RTLIL::id2cstr()` with `log_id()`.
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/cmds...
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl...
2020-03-27 Claire WolfMerge pull request #1815 from boqwxp/fix-ef-optimize
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-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 `passes/sat...
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
2020-03-17 Alberto GonzalezAdd AST node source location information in a couple...
2020-03-16 Alberto GonzalezFurther clean up `passes/cmds/select.cc`.
2020-03-16 Alberto GonzalezCleanup code style and pseudo-private member usage...
2020-03-16 Claire WolfUpdate Copyright
2020-03-16 Claire WolfMerge pull request #1771 from waldyrious/license-update
2020-03-16 N. EngelhardtMerge pull request #1768 from boqwxp/smt2_cleanup
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization
2020-03-16 Alberto GonzalezAdd test for `exec` command.
2020-03-16 Alberto GonzalezAllow specifying multiple regexes to match in `exec...
2020-03-16 Alberto GonzalezAdd `exec` command to run shell commands.
2020-03-15 David ShahMerge pull request #1773 from smunaut/fix_spram_model
2020-03-14 Sylvain Munautice40: Fix SPRAM model to keep data stable if chipselec...
2020-03-14 Waldir PimentaLicense: bump year and add title
2020-03-14 Miodrag MilanovicFix invalid verilog syntax
2020-03-14 Miodrag MilanovićMerge pull request #1759 from zeldin/constant_with_comm...
2020-03-14 Marcus ComstedtAdd regression tests for new handling of comments in...
2020-03-14 Miodrag MilanovićMerge pull request #1754 from boqwxp/precise_locations
2020-03-14 Miodrag MilanovićMerge pull request #1766 from YosysHQ/mmicko/regex_gcc48
2020-03-13 Alberto GonzalezClean up pseudo-private member usage in `backends/smt2...
2020-03-13 Alberto GonzalezAdd support for optimizing exists-forall problems.
2020-03-13 Miodrag Milanovicexclude clang from checking
2020-03-13 Miodrag MilanovicAdd YS_ prefix to macros, add explanation and apply...
2020-03-13 Claire WolfMerge pull request #1764 from Xiretza/fix-abcrev-check
2020-03-13 Miodrag MilanovicAdded back tests for logger
2020-03-13 Miodrag MilanovicUse boost xpressive for gcc 4.8
2020-03-13 Miodrag Milanovicremove include where not used
2020-03-12 XiretzaImprove ABC repository management in Makefile
2020-03-12 Miodrag MilanovicAdded filter-out for libyosys.so
2020-03-12 Miodrag MilanovicRevert "Clean up 'install' Makefile target"
2020-03-12 Miodrag MilanovicRevert "Improve ABC repository management in Makefile"
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile
2020-03-12 N. EngelhardtMerge pull request #1751 from boqwxp/add_assert
2020-03-12 Miodrag MilanovicAdd mandatory wasm file to zip file as well
2020-03-12 Miodrag MilanovićMerge pull request #1757 from jiegec/fix-emcc
2020-03-11 Marcus Comstedtrefixed parsing of constant with comment between size...
2020-03-11 jiegecAdd EXTRA_EXPORTED_RUNTIME_METHODS env for yosysjs
2020-03-11 jiegecFix compilation for emcc
2020-03-11 Eddie Hungverilog: add test
2020-03-11 Eddie HungMerge pull request #1743 from YosysHQ/eddie/abc9_keep
2020-03-11 Eddie HungMerge pull request #1744 from YosysHQ/eddie/fix1675
2020-03-10 Alberto GonzalezExtend `add` command to allow adding cells for verifica...
2020-03-10 Eddie Hungverilog: also set location for simple_behavioral_stmt
2020-03-10 David ShahMerge pull request #1753 from YosysHQ/dave/abc9-speedup
2020-03-10 David ShahMerge pull request #1721 from YosysHQ/dave/tribuf-unused
2020-03-10 N. EngelhardtMerge pull request #1755 from boqwxp/add_cmd_cleanup
2020-03-10 Alberto GonzalezClean up passes/cmds/add.cc code style.
2020-03-10 Alberto GonzalezSet AST source locations in more parser rules.
2020-03-09 Eddie HungMerge pull request #1747 from YosysHQ/claire/partselfix
2020-03-09 David ShahAdd ScriptPass::run_nocheck and use for abc9
2020-03-09 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix
2020-03-08 Claire WolfFix partsel expr bit width handling and add test case
2020-03-06 Eddie Hungxaiger: remove some unnecessary operations ...
2020-03-06 Eddie HungBump ABCREV to receive fix for #1675
next