yosys.git
2020-04-06 whitequarkread_ilang: detect overflow of integer literals.
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise...
2020-04-02 Marcin Kościelnickisimcells.v: Generate the fine FF cell types by a python...
2020-04-02 Claire WolfMerge pull request #1846 from dh73/ast_fe
2020-04-02 Marcin Kościelnickiiopadmap: Fix z assignment to inout port
2020-04-02 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
2020-04-02 Eddie Hungkernel: IdString::in(const IdString &) as per @Tjoppen
2020-04-02 Eddie Hungkernel: fix formatting (thanks @boqwxp)
2020-04-02 Eddie Hungkernel: use C++11 fold hack to prevent recursion
2020-04-02 Eddie HungRevert "kernel: IdString:in() to use perfect forwarding"
2020-04-02 Eddie HungUpdate backends/btor/btor.cc; credit @boqwxp
2020-04-02 Eddie Hungkernel: separate IdString::put_reference() out to help...
2020-04-02 Eddie Hungkernel: IdString:in() to use perfect forwarding
2020-04-02 Eddie Hungkernel: use more ID::*
2020-04-02 Eddie Hungkernel: Use constids.inc for global/constant IdStrings
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup
2020-04-02 Claire WolfBump YOSYS_VER
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info
2020-04-02 Claire WolfMerge pull request #1777 from YosysHQ/claire/manyhot
2020-04-02 Claire WolfImprove ezsat onehot encoding scheme
2020-04-02 Claire WolfUsing LFSR counter for ezSAT::manyhot()
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s...
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu
2020-04-01 David ShahMerge pull request #1844 from YosysHQ/dave/gen-source-loc
2020-04-01 Eddie HungMerge pull request #1852 from boqwxp/cleanup_synth_ice40
2020-04-01 David Shahverilog: Add location info for generate constructs
2020-04-01 Eddie Hungast: cap dynamic range select to size of signal, suppre...
2020-04-01 Eddie HungMerge pull request #1849 from boqwxp/cleanup_kernel_yosys
2020-04-01 Eddie HungMerge pull request #1850 from boqwxp/cleanup_backends
2020-04-01 Alberto GonzalezFix indentation in `techlibs/ice40/synth_ice40.cc`.
2020-04-01 Alberto GonzalezUpdate `RTLIL::id2cstr()` usage to `log_id`.
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/inter...
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/blif...
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/veril...
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/spice...
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/edif...
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/ilang...
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `kernel/yosys...
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s...
2020-03-31 Eddie Hungast: simplify to fully populate dynamic slicing case...
2020-03-31 Eddie HungAdd dynamic slicing Verilog testcase
2020-03-31 Diego HReplacing log_error for log_file_error due consistency
2020-03-30 Diego HAdding error message for when size (width) of number...
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 Eddie Hungmemory_share: fix stray brace
2020-03-30 Eddie HungCode review fixes
2020-03-30 Eddie HungApply suggestions from code review
2020-03-30 Marcin Kościelnickideminout: prevent any constant assignment from demoting...
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 Eddie Hungkernel: pass-by-value into Design::scratchpad_set_strin...
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 Eddie Hungkernel: const Wire* overload -> Wire* !!!
2020-03-26 Alberto GonzalezDo not change solver output parsing for non-exists...
2020-03-26 Eddie Hungkernel: clear some more ShareWorker state
2020-03-26 Eddie Hungkernel: Cell::set{Port,Param}() to pass by value, but...
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...
next