projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
+/cmp2lcu.v to work efficiently for fully/partially constant inputs
[yosys.git] / passes /
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s... tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu tree | commitdiff
2020-04-01 David ShahMerge pull request #1844 from YosysHQ/dave/gen-source-loc tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1852 from boqwxp/cleanup_synth_ice40 tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1849 from boqwxp/cleanup_kernel_yosys tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1850 from boqwxp/cleanup_backends tree | commitdiff
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1783 from boqwxp/astcc_cleanup tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1835 from boqwxp/cleanup_sat_expose tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1832 from boqwxp/cleanup_passes_cmd... tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1786 from boqwxp/hierarchycc_cleanup tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1831 from boqwxp/cleanup_sat_eval tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1833 from boqwxp/cleanup_sat_freduce tree | commitdiff
2020-03-30 Alberto GonzalezRemove unused function parameter. tree | commitdiff
2020-03-30 Alberto GonzalezSimplify iterating over selected modules or cells. tree | commitdiff
2020-03-30 Alberto GonzalezReplace `RTLIL::id2cstr()` with `log_id()`. tree | commitdiff
2020-03-30 Alberto GonzalezFix double deletion in `passes/hierarchy/hierarchy... tree | commitdiff
2020-03-30 Alberto GonzalezFurther clean up `passes/sat/eval.cc`. tree | commitdiff
2020-03-30 Alberto GonzalezFurther clean up `passes/sat/freduce.cc`. tree | commitdiff
2020-03-30 Alberto GonzalezClean up more in `passes/sat/expose.cc`. tree | commitdiff
2020-03-30 Eddie Hungmemory_share: fix stray brace tree | commitdiff
2020-03-30 Eddie HungCode review fixes tree | commitdiff
2020-03-30 Eddie HungApply suggestions from code review tree | commitdiff
2020-03-30 N. EngelhardtMerge pull request #1811 from PeterCrozier/typedef_scope tree | commitdiff
2020-03-30 N. EngelhardtMerge pull request #1778 from rswarbrick/sv-defines tree | commitdiff
2020-03-28 Miodrag MilanovicExplicit include of csignal tree | commitdiff
2020-03-28 Miodrag Milanovicwindows - there are no stopping signals tree | commitdiff
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat... tree | commitdiff
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat... tree | commitdiff
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/cmds... tree | commitdiff
2020-03-28 Alberto GonzalezClean up pseudo-private member usage in `passes/sat... tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-27 Rupert SwarbrickAdd support for SystemVerilog-style `define to Verilog... tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1815 from boqwxp/fix-ef-optimize tree | commitdiff
2020-03-26 Eddie Hungkernel: clear some more ShareWorker state tree | commitdiff
2020-03-26 Claire WolfMerge pull request #1806 from YosysHQ/mwk/techmap-repla... tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762 tree | commitdiff
2020-03-23 Alberto GonzalezDo not warn on empty selection with prefixed `arg_memb`. tree | commitdiff
2020-03-23 Alberto GonzalezSuppress warnings for empty `select` arguments when... tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1803 from Grazfather/typedef tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1805 from hofstee/master tree | commitdiff
2020-03-23 Marcin Kościelnickitechmap: Fix cell names with _TECHMAP_REPLACE_.* tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup tree | commitdiff
2020-03-23 Alberto GonzalezWarn on empty selection for `add` command. tree | commitdiff
2020-03-22 R. Ouiopadmap: Attempt to give new wires/cells meaningful... tree | commitdiff
2020-03-20 Eddie Hungopt_expr: fix failing $xnor test tree | commitdiff
2020-03-20 Eddie Hungopt_expr: fix missing brace tree | commitdiff
2020-03-19 Eddie Hungopt_expr: extend to $xnor and $_XNOR_ tree | commitdiff
2020-03-19 Eddie Hungopt_expr: optimise 1-bit $xor or $_XOR_ with constant... tree | commitdiff
2020-03-19 Eddie HungMerge pull request #1788 from YosysHQ/eddie/fix_ndebug tree | commitdiff
2020-03-19 Eddie Hungopt_expr: remove redundant tree | commitdiff
2020-03-19 Eddie Hungopt_expr: optimise $sub when both A[i] and B[i] ==... tree | commitdiff
2020-03-19 Eddie Hungopt_expr: optimise for identity $alu-s just like $add... tree | commitdiff
2020-03-19 Marcin Kościelnickifsm_extract: Initialize celltypes with full design. tree | commitdiff
2020-03-19 Miodrag MilanovićMerge pull request #1787 from YosysHQ/mmicko/lexer_deps tree | commitdiff
2020-03-19 N. EngelhardtMerge pull request #1774 from boqwxp/exec tree | commitdiff
2020-03-19 N. EngelhardtMerge pull request #1775 from huaixv/asserts_locations tree | commitdiff
2020-03-19 Alberto GonzalezClean up pseudo-private member usage in `passes/sat... tree | commitdiff
2020-03-19 Alberto GonzalezClean up pseudo-private member usage in `passes/hierarc... tree | commitdiff
2020-03-18 Eddie Hungkernel: share a single CellTypes within a pass tree | commitdiff
2020-03-18 Eddie Hungkernel: more pass by const ref, more speedups tree | commitdiff
2020-03-18 Alberto GonzalezUpdate copyright and license header. tree | commitdiff
2020-03-18 Alberto GonzalezClean up `exec` code according to review. tree | commitdiff
2020-03-17 Claire WolfAdd N:* to select language, fix some old code tree | commitdiff
2020-03-17 Eddie HungMerge pull request #1769 from boqwxp/select_cleanup tree | commitdiff
2020-03-16 Alberto GonzalezFurther clean up `passes/cmds/select.cc`. tree | commitdiff
2020-03-16 Alberto GonzalezCleanup code style and pseudo-private member usage... tree | commitdiff
2020-03-16 Eddie Hungopt_merge: unordered_map -> dict as per @cliffordwolf... tree | commitdiff
2020-03-16 Eddie Hungopt_merge: speedup tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1768 from boqwxp/smt2_cleanup tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization tree | commitdiff
2020-03-16 Alberto GonzalezAllow specifying multiple regexes to match in `exec... tree | commitdiff
2020-03-16 Alberto GonzalezAdd `exec` command to run shell commands. tree | commitdiff
2020-03-14 Miodrag MilanovićMerge pull request #1759 from zeldin/constant_with_comm... tree | commitdiff
2020-03-14 Miodrag MilanovićMerge pull request #1754 from boqwxp/precise_locations tree | commitdiff
2020-03-14 Miodrag MilanovićMerge pull request #1766 from YosysHQ/mmicko/regex_gcc48 tree | commitdiff
2020-03-13 Miodrag MilanovicAdd YS_ prefix to macros, add explanation and apply... tree | commitdiff
2020-03-13 Eddie Hungkernel: SigSpec use more const& + overloads to prevent... tree | commitdiff
2020-03-13 Miodrag MilanovicUse boost xpressive for gcc 4.8 tree | commitdiff
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile tree | commitdiff
2020-03-12 N. EngelhardtMerge pull request #1751 from boqwxp/add_assert tree | commitdiff
2020-03-11 Eddie HungMerge pull request #1743 from YosysHQ/eddie/abc9_keep tree | commitdiff
2020-03-11 Eddie HungMerge pull request #1744 from YosysHQ/eddie/fix1675 tree | commitdiff
2020-03-10 Alberto GonzalezExtend `add` command to allow adding cells for verifica... tree | commitdiff
2020-03-10 David ShahMerge pull request #1753 from YosysHQ/dave/abc9-speedup tree | commitdiff
2020-03-10 David ShahMerge pull request #1721 from YosysHQ/dave/tribuf-unused tree | commitdiff
2020-03-10 N. EngelhardtMerge pull request #1755 from boqwxp/add_cmd_cleanup tree | commitdiff
2020-03-10 Alberto GonzalezClean up passes/cmds/add.cc code style. tree | commitdiff
2020-03-09 David ShahAdd ScriptPass::run_nocheck and use for abc9 tree | commitdiff
2020-03-09 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix tree | commitdiff
2020-03-06 Eddie Hungabc9: for sccs, create a new wire instead of using... tree | commitdiff
2020-03-06 Eddie Hungabc9: (* keep *) wires to be PO only, not PI as well... tree | commitdiff
2020-03-06 Eddie Hungabc: add abc.debug scratchpad option tree | commitdiff
2020-03-04 Eddie HungMerge pull request #1735 from YosysHQ/eddie/abc9_dsp48e1 tree | commitdiff
2020-03-04 David Shahdeminout: Don't demote inouts with unused bits tree | commitdiff
next