aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)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 warnings
| * 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
|\ \ | | | | | | IdString: use more ID::*, make them easier to use, speed up IdString::in()
| * | 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
| | | | | | | | | | | | This reverts commit 7b2a85aedf24affc2e1202c78e70e6a317f5bf29.
| * | Update backends/btor/btor.cc; credit @boqwxpEddie Hung2020-04-021-2/+1
| | | | | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
| * | 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
| | | | | | | | | | | | | | | | | | This makes adding more FF types in the future much more manageable. Fixes #1824.
* | | Merge pull request #1846 from dh73/ast_feClaire Wolf2020-04-021-0/+3
|\ \ \ | | | | | | | | Adding error message for when size (width) of number literal is zero
| * | | 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
| | | | | | | | | | | | | | | | Fixes #1841.
* | | | Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xzClaire Wolf2020-04-021-1/+1
|\ \ \ \ | |_|/ / |/| | | deminout: prevent any constant assignment from demoting to input
| * | | deminout: prevent any constant assignment from demoting to inputMarcin Kościelnicki2020-03-301-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this patch, ``` module top(inout io); assign io = 1'bx; endmodule ``` would have the `io` pin demoted to input (same happens for `1'bz`, but not for `1'b0` or `1'b1`), resulting in check failures later on. Part of fix for #1841.
* | | | Merge pull request #1845 from YosysHQ/eddie/kernel_speedupEddie Hung2020-04-0220-588/+566
|\ \ \ \ | | | | | | | | | | kernel: speedup by using more pass-by-const-ref
| * | | | 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
| | | | | | | | | | | | | | | | | | | | Otherwise cell->setPort(ID::A, cell->getPort(ID::B)) could be invalid
| * | | | 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
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | | Merge pull request #1770 from YosysHQ/claire/btor_symbolsClaire Wolf2020-04-021-36/+60
|\ \ \ \ \ | | | | | | | | | | | | Improve write_btor symbol handling
| * | | | | Improve write_btor symbol handlingClaire Wolf2020-03-141-36/+60
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | | | Merge pull request #1765 from YosysHQ/claire/btor_infoClaire Wolf2020-04-021-9/+113
|\| | | | | | | | | | | | | | | | | Add info-file and cover features to write_btor
| * | | | | Add info-file and cover features to write_btorClaire Wolf2020-03-131-9/+113
| |/ / / / | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | | Merge pull request #1777 from YosysHQ/claire/manyhotClaire Wolf2020-04-021-14/+146
|\ \ \ \ \ | | | | | | | | | | | | Using LFSR counter for ezSAT::manyhot()
| * | | | | Improve ezsat onehot encoding schemeClaire Wolf2020-04-021-14/+28
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
| * | | | | Using LFSR counter for ezSAT::manyhot()Claire Wolf2020-04-021-0/+118
|/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The only user of this API right now is the puzzle3d benchmark and it sees a slight reduction in CNF size from this, but the performance difference is within the noise of measurement on my system. Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | | Merge pull request #1828 from YosysHQ/eddie/celltypes_speedupEddie Hung2020-04-014-31/+50
|\ \ \ \ \ | | | | | | | | | | | | kernel: share a single CellTypes within a pass
| * | | | | 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
| | | | | | | | | | | | | | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
| * | | | | 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: optimise $xor/$xnor/$_XOR_/$_XNOR_ -s with constant inputs
| * | | | | opt_expr: fix failing $xnor testEddie Hung2020-03-201-2/+17
| | | | | |
| * | | | | opt_expr: add failing $xnor testEddie Hung2020-03-201-1/+13
| | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 17:27:05 +0000