aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* splitnets: skip modules with processes.whitequark2020-04-031-0/+3
* Merge pull request #1853 from YosysHQ/eddie/fix_dynsliceEddie Hung2020-04-021-1/+2
|\
| * ast: cap dynamic range select to size of signal, suppresses warningsEddie Hung2020-04-011-1/+2
* | Merge pull request #1767 from YosysHQ/eddie/idstringsEddie Hung2020-04-02163-5241/+5380
|\ \
| * | 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
* | | simcells.v: Generate the fine FF cell types by a python script.Marcin Kościelnicki2020-04-022-19/+270
* | | Merge pull request #1846 from dh73/ast_feClaire Wolf2020-04-021-0/+3
|\ \ \
| * | | Replacing log_error for log_file_error due consistencyDiego H2020-03-311-2/+1
| * | | Adding error message for when size (width) of number literal is zeroDiego H2020-03-301-0/+4
* | | | iopadmap: Fix z assignment to inout portMarcin Kościelnicki2020-04-022-2/+24
* | | | Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xzClaire Wolf2020-04-021-1/+1
|\ \ \ \ | |_|/ / |/| | |
| * | | deminout: prevent any constant assignment from demoting to inputMarcin Kościelnicki2020-03-301-1/+1
* | | | 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