aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-02152-4420/+4532
* kernel: IdString::in(const IdString &) as per @TjoppenEddie Hung2020-04-021-1/+1
* kernel: fix formatting (thanks @boqwxp)Eddie Hung2020-04-021-6/+4
* kernel: use C++11 fold hack to prevent recursionEddie Hung2020-04-021-3/+8
* Revert "kernel: IdString:in() to use perfect forwarding"Eddie Hung2020-04-021-2/+2
* Update backends/btor/btor.cc; credit @boqwxpEddie Hung2020-04-021-2/+1
* kernel: separate IdString::put_reference() out to help inliningEddie Hung2020-04-021-1/+4
* kernel: IdString:in() to use perfect forwardingEddie Hung2020-04-021-2/+2
* kernel: use more ID::*Eddie Hung2020-04-0269-841/+843
* kernel: Use constids.inc for global/constant IdStringsEddie Hung2020-04-024-17/+37
* Merge pull request #1845 from YosysHQ/eddie/kernel_speedupEddie Hung2020-04-0220-588/+566
|\
| * kernel: pass-by-value into Design::scratchpad_set_string() tooEddie Hung2020-03-272-3/+3
| * kernel: const Wire* overload -> Wire* !!!Eddie Hung2020-03-261-1/+1
| * kernel: Cell::set{Port,Param}() to pass by value, but use std::moveEddie Hung2020-03-262-7/+7
| * kernel: SigSpec copies to not trigger pack()Eddie Hung2020-03-182-34/+5
| * kernel: more pass by const ref, more speedupsEddie Hung2020-03-187-400/+400
| * kernel: speedupEddie Hung2020-03-181-30/+23
| * kernel: use const reference for SigSet tooEddie Hung2020-03-171-18/+18
| * kernel: fix DeleteWireWorkerEddie Hung2020-03-171-9/+4
| * kernel: SigSpec use more const& + overloads to prevent implicit SigSpecEddie Hung2020-03-1314-82/+96
| * kernel: optimise Module::remove(const pool<RTLIL::Wire*>()Eddie Hung2020-03-122-10/+9
| * kernel: SigPool to use const& + overloads to prevent implicit SigSpecEddie Hung2020-03-121-19/+25
* | Bump YOSYS_VERClaire Wolf2020-04-021-1/+1
* | Merge pull request #1770 from YosysHQ/claire/btor_symbolsClaire Wolf2020-04-021-36/+60
|\ \
| * | Improve write_btor symbol handlingClaire Wolf2020-03-141-36/+60
* | | Merge pull request #1765 from YosysHQ/claire/btor_infoClaire Wolf2020-04-021-9/+113
|\| |
| * | Add info-file and cover features to write_btorClaire Wolf2020-03-131-9/+113
| |/
* | Merge pull request #1777 from YosysHQ/claire/manyhotClaire Wolf2020-04-021-14/+146
|\ \
| * | 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
|\ \