aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
Commit message (Collapse)AuthorAgeFilesLines
* remove whitespaceMiodrag Milanovic2020-02-141-1/+1
|
* Add expect option to logger commandMiodrag Milanovic2020-02-143-2/+78
|
* Merge pull request #1659 from YosysHQ/clifford/experimentalClaire Wolf2020-01-295-3/+55
|\ | | | | Add log_experimental() and experimental() API and "yosys -x"
| * Improve logging use of experimental featuresClaire Wolf2020-01-283-4/+8
| | | | | | | | Signed-off-by: Claire Wolf <clifford@clifford.at>
| * Add log_experimental() and experimental() API and "yosys -x"Claire Wolf2020-01-275-3/+51
| | | | | | | | Signed-off-by: Claire Wolf <clifford@clifford.at>
* | Add and use SigSpec::reverse()Eddie Hung2020-01-281-0/+2
|/
* Merge pull request #1613 from porglezomp-misc/version-flag-aliasClaire Wolf2020-01-271-0/+6
|\ | | | | Add --version and -version as aliases for -V
| * Add --version and -version as aliases for -VCassie Jones2020-01-051-0/+6
| | | | | | | | | | | | | | | | The flag --version is commonly accepted by command line tools. The code for the version flags added here matches the pattern used for the help flag aliases, for consistency. Fixes #1612
* | As before, only display MEM if Linux or FreeBSDEddie Hung2020-01-141-3/+7
| |
* | print_stats footer to return peak memory, option for including childrenEddie Hung2020-01-141-28/+12
| |
* | Move abc9.* constpad entries to Abc9Pass::on_register()Eddie Hung2020-01-091-35/+0
| |
* | Merge remote-tracking branch 'origin/clifford/onpassreg' into ↵Eddie Hung2020-01-093-1/+20
|\ \ | | | | | | | | | eddie/abc9_scratchpad
| * | Add Pass::on_register() and Pass::on_shutdown()Clifford Wolf2020-01-093-1/+20
| |/ | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Add abc9.if.script.flow{,2} to constpadEddie Hung2020-01-081-6/+32
| |
* | Add RTLIL::constpad, init by yosys_setup(); use for abc9Eddie Hung2020-01-083-0/+12
|/
* Always create $shl, $shr, $sshl, $sshr cells with unsigned B inputsClifford Wolf2020-01-021-4/+25
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* kernel: require \B_SIGNED=0 on $shl, $sshl, $shr, $sshr.whitequark2019-12-041-3/+21
| | | | | | | Before this commit, these cells would accept any \B_SIGNED and in case of \B_SIGNED=1, would still treat the \B input as unsigned. Also fix the Verilog frontend to never emit such constructs.
* Fix for SigSpec() == SigSpec(State::Sx, 0) to be true againEddie Hung2019-10-041-0/+6
|
* Add Const::{begin,end,empty}()Eddie Hung2019-10-041-0/+3
|
* log_dump() to support State enumEddie Hung2019-10-023-0/+6
|
* Fix typoEddie Hung2019-09-301-1/+1
|
* Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_inMiodrag Milanović2019-09-302-3/+3
|\ | | | | Open aig frontend as binary file
| * Open aig frontend as binary fileMiodrag Milanovic2019-09-292-3/+3
| |
* | Merge pull request #1414 from hzeller/improve-replace-with-empty-mapEddie Hung2019-09-291-0/+2
|\ \ | |/ |/| Avoid work in replace() if rules empty.
| * Avoid work in replace() if rules empty.Henner Zeller2019-09-291-0/+2
| | | | | | | | | | | | | | This speeds up processing when number of bits are large but there is actually nothing to replace. Adresses part of #1382. Signed-off-by: Henner Zeller <h.zeller@acm.org>
* | Support binary files for backends, fixes #1407Miodrag Milanovic2019-09-282-3/+3
|/
* Make read/write gzip files on macos works, fixes #1357Miodrag Milanovic2019-09-261-3/+11
|
* SpacingEddie Hung2019-09-131-1/+1
|
* Use template specialisationEddie Hung2019-09-131-2/+9
|
* Revert "SigSet<Cell*> to use stable compare class"Eddie Hung2019-09-131-1/+1
| | | | This reverts commit 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.
* GrammarEddie Hung2019-09-121-1/+1
|
* static_assert to enforce this going forwardEddie Hung2019-09-121-0/+2
|
* SigSet<Cell*> to use stable compare classEddie Hung2019-09-121-1/+1
|
* Bump year in copyright noticeClifford Wolf2019-08-221-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #1283 from YosysHQ/clifford/fix1255Clifford Wolf2019-08-171-1/+1
|\ | | | | Fix various NDEBUG compiler warnings
| * Merge branch 'master' into clifford/fix1255Clifford Wolf2019-08-1511-1207/+1271
| |\
| * | Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-131-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Move namespace aliasEddie Hung2019-08-161-2/+1
| | |
* | | Try this for gcc-4.8?Eddie Hung2019-08-151-1/+1
| | |
* | | Fix spacingEddie Hung2019-08-151-1/+1
| | |
* | | Use more ID::{A,B,Y,blackbox,whitebox}Eddie Hung2019-08-158-286/+288
| | |
* | | More use of IdString::in()Eddie Hung2019-08-151-26/+25
| |/ |/|
* | Add YOSYS_NO_IDS_REFCNT configuration macroClifford Wolf2019-08-112-2/+25
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Use ID() in kernel/*, add simple ID:: hack (to be improved upon later)Clifford Wolf2019-08-1110-1160/+1182
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | More improvements and cleanups in IdString subsystemClifford Wolf2019-08-113-43/+54
| | | | | | | | | | | | | | | | | | - better use of "inline" keyword - deprecate "sticky" IDs feature - improve handling of empty ID - add move constructor Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Improve API of ID() macroClifford Wolf2019-08-111-2/+10
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-108-86/+90
|\ | | | | Cleanup a few barnacles across codebase
| * substr() -> compare()Eddie Hung2019-08-072-32/+32
| |
| * RTLIL::S{0,1} -> State::S{0,1} for headersEddie Hung2019-08-075-40/+40
| |
| * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-071-6/+6
| |