projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-04-03 Eddie HungRefactor +/cmp2lcu.v into recursive techmap commit | commitdiff | tree
2020-04-03 Eddie HungCleanup commit | commitdiff | tree
2020-04-03 Eddie HungCleanup cmp2lcu.v commit | commitdiff | tree
2020-04-03 Eddie Hungtechmap +/cmp2lcu.v for decomposing arithmetic compares... commit | commitdiff | tree
2020-04-03 Eddie Hungcmp2lut: comment out unused since 362f4f9 commit | commitdiff | tree
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup commit | commitdiff | tree
2020-04-02 Claire WolfBump YOSYS_VER commit | commitdiff | tree
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols commit | commitdiff | tree
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info commit | commitdiff | tree
2020-04-02 Claire WolfMerge pull request #1777 from YosysHQ/claire/manyhot commit | commitdiff | tree
2020-04-02 Claire WolfImprove ezsat onehot encoding scheme commit | commitdiff | tree
2020-04-02 Claire WolfUsing LFSR counter for ezSAT::manyhot() commit | commitdiff | tree
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s... commit | commitdiff | tree
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor commit | commitdiff | tree
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu commit | commitdiff | tree
2020-04-01 David ShahMerge pull request #1844 from YosysHQ/dave/gen-source-loc commit | commitdiff | tree
2020-04-01 Eddie HungMerge pull request #1852 from boqwxp/cleanup_synth_ice40 commit | commitdiff | tree
2020-04-01 David Shahverilog: Add location info for generate constructs commit | commitdiff | tree
2020-04-01 Eddie HungMerge pull request #1849 from boqwxp/cleanup_kernel_yosys commit | commitdiff | tree
2020-04-01 Eddie HungMerge pull request #1850 from boqwxp/cleanup_backends commit | commitdiff | tree
2020-04-01 Alberto GonzalezFix indentation in `techlibs/ice40/synth_ice40.cc`. commit | commitdiff | tree
2020-04-01 Alberto GonzalezUpdate `RTLIL::id2cstr()` usage to `log_id`. commit | commitdiff | tree
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice commit | commitdiff | tree
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/inter... commit | commitdiff | tree
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/blif... commit | commitdiff | tree
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/veril... commit | commitdiff | tree
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/spice... commit | commitdiff | tree
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/edif... commit | commitdiff | tree
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `backends/ilang... commit | commitdiff | tree
2020-04-01 Alberto GonzalezClean up pseudo-private member usage in `kernel/yosys... commit | commitdiff | tree
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... commit | commitdiff | tree
2020-03-31 Eddie Hungast: simplify to fully populate dynamic slicing case... commit | commitdiff | tree
2020-03-31 Eddie HungAdd dynamic slicing Verilog testcase commit | commitdiff | tree
2020-03-30 Eddie HungMerge pull request #1783 from boqwxp/astcc_cleanup commit | commitdiff | tree
2020-03-30 Eddie HungMerge pull request #1835 from boqwxp/cleanup_sat_expose commit | commitdiff | tree
2020-03-30 Eddie HungMerge pull request #1832 from boqwxp/cleanup_passes_cmd... commit | commitdiff | tree
2020-03-30 Eddie HungMerge pull request #1786 from boqwxp/hierarchycc_cleanup commit | commitdiff | tree
2020-03-30 Alberto GonzalezAdd explanatory comment about inefficient wire removal... commit | commitdiff | tree
2020-03-30 Eddie HungMerge pull request #1831 from boqwxp/cleanup_sat_eval commit | commitdiff | tree
2020-03-30 Eddie HungMerge pull request #1833 from boqwxp/cleanup_sat_freduce commit | commitdiff | tree
2020-03-30 Alberto GonzalezRemove unused function parameter. commit | commitdiff | tree
2020-03-30 Alberto GonzalezSimplify iterating over selected modules or cells. commit | commitdiff | tree
2020-03-30 Alberto GonzalezReplace `RTLIL::id2cstr()` with `log_id()`. commit | commitdiff | tree
2020-03-30 Alberto GonzalezFix double deletion in `passes/hierarchy/hierarchy... commit | commitdiff | tree
2020-03-30 Alberto GonzalezFurther clean up `passes/sat/eval.cc`. commit | commitdiff | tree
2020-03-30 Alberto GonzalezFurther clean up `passes/sat/freduce.cc`. commit | commitdiff | tree
2020-03-30 Alberto GonzalezClean up more in `passes/sat/expose.cc`. commit | commitdiff | tree
2020-03-30 Eddie Hungmemory_share: fix stray brace commit | commitdiff | tree
2020-03-30 Eddie HungCode review fixes commit | commitdiff | tree
2020-03-30 Eddie HungApply suggestions from code review commit | commitdiff | tree
2020-03-30 N. EngelhardtMerge pull request #1811 from PeterCrozier/typedef_scope commit | commitdiff | tree
2020-03-30 N. EngelhardtMerge pull request #1778 from rswarbrick/sv-defines commit | commitdiff | tree
2020-03-28 Miodrag MilanovicExplicit include of csignal commit | commitdiff | tree
2020-03-28 Miodrag Milanovicwindows - there are no stopping signals commit | commitdiff | tree
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat... commit | commitdiff | tree
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat... commit | commitdiff | tree
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/cmds... commit | commitdiff | tree
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat... commit | commitdiff | tree
2020-03-27 Eddie Hungkernel: pass-by-value into Design::scratchpad_set_strin... commit | commitdiff | tree
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... commit | commitdiff | tree
2020-03-27 Peter CrozierInline productions to follow house style. commit | commitdiff | tree
2020-03-27 Rupert SwarbrickAdd support for SystemVerilog-style `define to Verilog... commit | commitdiff | tree
2020-03-27 Claire WolfMerge pull request #1815 from boqwxp/fix-ef-optimize commit | commitdiff | tree
2020-03-27 Alberto GonzalezRevert over-aggressive change to a more modest cleanup. commit | commitdiff | tree
2020-03-26 Eddie Hungkernel: const Wire* overload -> Wire* !!! commit | commitdiff | tree
2020-03-26 Alberto GonzalezDo not change solver output parsing for non-exists... commit | commitdiff | tree
2020-03-26 Eddie Hungkernel: clear some more ShareWorker state commit | commitdiff | tree
2020-03-26 Eddie Hungkernel: Cell::set{Port,Param}() to pass by value, but... commit | commitdiff | tree
2020-03-26 Claire WolfMerge pull request #1806 from YosysHQ/mwk/techmap-repla... commit | commitdiff | tree
2020-03-26 Alberto GonzalezSkip reading stdout from the solver that if it isn... commit | commitdiff | tree
2020-03-24 Claire WolfRevert part of 0fda8308 from #1746 that broke other... commit | commitdiff | tree
2020-03-24 Peter CrozierError duplicate declarations of a typedef name in the... commit | commitdiff | tree
2020-03-23 Peter CrozierSupport module/package/interface/block scope for typede... commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762 commit | commitdiff | tree
2020-03-23 Alberto GonzalezDo not warn on empty selection with prefixed `arg_memb`. commit | commitdiff | tree
2020-03-23 Alberto GonzalezSuppress warnings for empty `select` arguments when... commit | commitdiff | tree
2020-03-23 Alberto GonzalezAdd tests for `select` command warnings. commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1803 from Grazfather/typedef commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1805 from hofstee/master commit | commitdiff | tree
2020-03-23 Marcin Kościelnickitechmap: Fix cell names with _TECHMAP_REPLACE_.* commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup commit | commitdiff | tree
2020-03-23 Teguh Hofsteefix typo in `write_smt2` help commit | commitdiff | tree
2020-03-23 Alberto GonzalezWarn on empty selection for `add` command. commit | commitdiff | tree
2020-03-23 Peter CrozierSimplify was not being called for packages. Broke... commit | commitdiff | tree
2020-03-23 Peter CrozierBuild pkg_user_types before parsing in case of changes... commit | commitdiff | tree
2020-03-23 PeterClear pkg_user_types if no packages following a 'design... commit | commitdiff | tree
2020-03-23 PeterRevert typedef tests to standard grammar. commit | commitdiff | tree
2020-03-23 PeterParser changes to support typedef. commit | commitdiff | tree
2020-03-22 R. Ouiopadmap: Attempt to give new wires/cells meaningful... commit | commitdiff | tree
2020-03-21 David ShahMerge pull request #1794 from YosysHQ/dave/mince-abc9-fix commit | commitdiff | tree
2020-03-20 Eddie HungMerge pull request #1795 from smunaut/fix_abc9_spram commit | commitdiff | tree
2020-03-20 Eddie Hungopt_expr: fix failing $xnor test commit | commitdiff | tree
2020-03-20 Eddie Hungopt_expr: add failing $xnor test commit | commitdiff | tree
2020-03-20 Sylvain Munautice40: Fix typos in SPRAM ABC9 timing specs commit | commitdiff | tree
2020-03-20 David ShahAdd test for abc9+mince issue commit | commitdiff | tree
2020-03-20 David Shahice40: Map unmapped 'mince' DFFs to gate level commit | commitdiff | tree
2020-03-20 Eddie HungSimplify breaking tests/arch/*/fsm.ys tests commit | commitdiff | tree
2020-03-20 Eddie Hungopt_expr: fix missing brace commit | commitdiff | tree
2020-03-20 Marcin Kościelnickixilinx: Mark IOBUFDS.IOB as external pad commit | commitdiff | tree
2020-03-19 Eddie Hungopt_expr: add $xor/$xnor/$_XOR_/$_XNOR_ tests commit | commitdiff | tree
next