aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | 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
* | | | Merge pull request #1832 from boqwxp/cleanup_passes_cmds_designEddie Hung2020-03-301-31/+33
|\ \ \ \
| * | | | Replace `RTLIL::id2cstr()` with `log_id()`.Alberto Gonzalez2020-03-301-1/+1
| * | | | Clean up pseudo-private member usage in `passes/cmds/design.cc`.Alberto Gonzalez2020-03-281-31/+33
| |/ / /
* | | | Merge pull request #1786 from boqwxp/hierarchycc_cleanupEddie Hung2020-03-301-69/+63
|\ \ \ \
| * | | | Fix double deletion in `passes/hierarchy/hierarchy.cc`.Alberto Gonzalez2020-03-301-1/+0
| * | | | Clean up pseudo-private member usage in `passes/hierarchy/hierarchy.cc`.Alberto Gonzalez2020-03-191-68/+63
| | |/ / | |/| |
* | | | Merge pull request #1831 from boqwxp/cleanup_sat_evalEddie Hung2020-03-301-46/+44
|\ \ \ \
| * | | | Further clean up `passes/sat/eval.cc`.Alberto Gonzalez2020-03-301-16/+15
| * | | | Clean up pseudo-private member usage in `passes/sat/eval.cc`.Alberto Gonzalez2020-03-281-35/+34
| | |/ / | |/| |
* | | | Merge pull request #1833 from boqwxp/cleanup_sat_freduceEddie Hung2020-03-301-15/+13
|\ \ \ \
| * | | | Further clean up `passes/sat/freduce.cc`.Alberto Gonzalez2020-03-301-3/+2
| * | | | Clean up pseudo-private member usage in `passes/sat/freduce.cc`.Alberto Gonzalez2020-03-281-13/+12
| |/ / /
* | | | Merge pull request #1811 from PeterCrozier/typedef_scopeN. Engelhardt2020-03-306-43/+88
|\ \ \ \
| * | | | Inline productions to follow house style.Peter Crozier2020-03-271-33/+29
| * | | | Error duplicate declarations of a typedef name in the same scope.Peter Crozier2020-03-242-3/+11
| * | | | Support module/package/interface/block scope for typedef names.Peter Crozier2020-03-236-22/+63
* | | | | Merge pull request #1778 from rswarbrick/sv-definesN. Engelhardt2020-03-3011-151/+636
|\ \ \ \ \
| * | | | | Add support for SystemVerilog-style `define to Verilog frontendRupert Swarbrick2020-03-2711-151/+636
* | | | | | Explicit include of csignalMiodrag Milanovic2020-03-281-0/+1
* | | | | | windows - there are no stopping signalsMiodrag Milanovic2020-03-281-0/+1
| |_|/ / / |/| | | |
* | | | | Merge pull request #1607 from whitequark/simplify-simplify-meminitClaire Wolf2020-03-271-63/+82
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | ast: avoid intermediate wires/assigns when lowering to AST_MEMINIT.whitequark2020-02-071-65/+84
* | | | | Merge pull request #1815 from boqwxp/fix-ef-optimizeClaire Wolf2020-03-271-1/+7
|\ \ \ \ \
| * | | | | Do not change solver output parsing for non-exists-forall problems.Alberto Gonzalez2020-03-261-2/+6
| * | | | | Skip reading stdout from the solver that if it isn't a line reading only "sat...Alberto Gonzalez2020-03-261-1/+3
* | | | | | Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fixClaire Wolf2020-03-262-1/+19
|\ \ \ \ \ \ | |/ / / / / |/| | | | |
| * | | | | techmap: Fix cell names with _TECHMAP_REPLACE_.*Marcin Koƛcielnicki2020-03-232-1/+19