aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Improve ezsat onehot encoding schemeClaire Wolf2020-04-021-14/+28
* Using LFSR counter for ezSAT::manyhot()Claire Wolf2020-04-021-0/+118
* Merge pull request #1828 from YosysHQ/eddie/celltypes_speedupEddie Hung2020-04-014-31/+50
|\
| * memory_share: fix stray braceEddie Hung2020-03-301-1/+0
| * Code review fixesEddie Hung2020-03-302-3/+3
| * Apply suggestions from code reviewEddie Hung2020-03-302-6/+2
| * kernel: clear some more ShareWorker stateEddie Hung2020-03-261-0/+4
| * kernel: share a single CellTypes within a passEddie Hung2020-03-184-31/+51
* | Merge pull request #1790 from YosysHQ/eddie/opt_expr_xorEddie Hung2020-04-014-10/+92
|\ \
| * | opt_expr: fix failing $xnor testEddie Hung2020-03-201-2/+17
| * | opt_expr: add failing $xnor testEddie Hung2020-03-201-1/+13
| * | Simplify breaking tests/arch/*/fsm.ys testsEddie Hung2020-03-202-7/+3
| * | opt_expr: fix missing braceEddie Hung2020-03-201-2/+4
| * | opt_expr: add $xor/$xnor/$_XOR_/$_XNOR_ testsEddie Hung2020-03-191-0/+40
| * | opt_expr: extend to $xnor and $_XNOR_Eddie Hung2020-03-191-8/+12
| * | opt_expr: optimise 1-bit $xor or $_XOR_ with constant inputEddie Hung2020-03-191-1/+14
| |/
* | Merge pull request #1789 from YosysHQ/eddie/opt_expr_aluEddie Hung2020-04-012-19/+114
|\ \
| * | opt_expr: add $alu testsEddie Hung2020-03-191-0/+63
| * | opt_expr: remove redundantEddie Hung2020-03-191-3/+0
| * | opt_expr: optimise $sub when both A[i] and B[i] == 1'b1Eddie Hung2020-03-191-9/+20
| * | opt_expr: optimise for identity $alu-s just like $add/$subEddie Hung2020-03-191-7/+31
| |/
* | Merge pull request #1844 from YosysHQ/dave/gen-source-locDavid Shah2020-04-011-0/+6
|\ \
| * | verilog: Add location info for generate constructsDavid Shah2020-04-011-0/+6
* | | Merge pull request #1852 from boqwxp/cleanup_synth_ice40Eddie Hung2020-04-011-4/+4
|\ \ \
| * | | Fix indentation in `techlibs/ice40/synth_ice40.cc`.Alberto Gonzalez2020-04-011-4/+4
* | | | Merge pull request #1849 from boqwxp/cleanup_kernel_yosysEddie Hung2020-04-011-14/+13
|\ \ \ \
| * | | | Clean up pseudo-private member usage in `kernel/yosys.cc`.Alberto Gonzalez2020-04-011-14/+13
| |/ / /
* | | | Merge pull request #1850 from boqwxp/cleanup_backendsEddie Hung2020-04-017-103/+84
|\ \ \ \
| * | | | Update `RTLIL::id2cstr()` usage to `log_id`.Alberto Gonzalez2020-04-011-2/+2
| * | | | Clean up pseudo-private member usage in `backends/intersynth/intersynth.cc`.Alberto Gonzalez2020-04-011-22/+19
| * | | | Clean up pseudo-private member usage in `backends/blif/blif.cc`.Alberto Gonzalez2020-04-011-15/+11
| * | | | Clean up pseudo-private member usage in `backends/verilog/verilog_backend.cc`.Alberto Gonzalez2020-04-011-22/+19
| * | | | Clean up pseudo-private member usage in `backends/spice/spice.cc`.Alberto Gonzalez2020-04-011-13/+9
| * | | | Clean up pseudo-private member usage in `backends/edif/edif.cc`.Alberto Gonzalez2020-04-011-23/+18
| * | | | Clean up pseudo-private member usage in `backends/ilang/ilang_backend.cc`.Alberto Gonzalez2020-04-011-6/+6
| |/ / /
* | | | Merge pull request #1848 from YosysHQ/eddie/fix_dynsliceClaire Wolf2020-04-012-1/+13
|\ \ \ \
| * | | | ast: simplify to fully populate dynamic slicing case transformationEddie Hung2020-03-311-1/+1
| * | | | Add dynamic slicing Verilog testcaseEddie Hung2020-03-311-0/+12
| | |_|/ | |/| |
* | | | Merge pull request #1761 from YosysHQ/eddie/opt_merge_speedupEddie Hung2020-03-313-132/+194
|\ \ \ \ | |_|/ / |/| | |
| * | | opt_merge: unordered_map -> dict as per @cliffordwolf reviewEddie Hung2020-03-161-1/+1
| * | | opt_merge: speedupEddie Hung2020-03-163-132/+194
| |/ /
* | | Merge pull request #1783 from boqwxp/astcc_cleanupEddie Hung2020-03-301-13/+20
|\ \ \
| * | | Add explanatory comment about inefficient wire removal and remove superfluous...Alberto Gonzalez2020-03-301-4/+8
| * | | Revert over-aggressive change to a more modest cleanup.Alberto Gonzalez2020-03-271-2/+3
| * | | Clean up pseudo-private member usage in `frontends/ast/ast.cc`.Alberto Gonzalez2020-03-191-11/+13
* | | | Merge pull request #1835 from boqwxp/cleanup_sat_exposeEddie Hung2020-03-301-85/+66
|\ \ \ \ | |_|_|/ |/| | |
| * | | Remove unused function parameter.Alberto Gonzalez2020-03-301-2/+2
| * | | Simplify iterating over selected modules or cells.Alberto Gonzalez2020-03-301-16/+4
| * | | Clean up more in `passes/sat/expose.cc`.Alberto Gonzalez2020-03-301-64/+59
| * | | Clean up pseudo-private member usage in `passes/sat/expose.cc`.Alberto Gonzalez2020-03-281-11/+9