Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | We can now handle array slices (e.g. $size(x[1]) etc. ) | Udi Finkelstein | 2020-09-17 | 2 | -9/+20 |
* | Fixed comments, removed debug message | Udi Finkelstein | 2020-09-16 | 1 | -5/+5 |
* | Added $high(), $low(), $left(), $right() | Udi Finkelstein | 2020-09-15 | 4 | -30/+147 |
* | Bump version | Yosys Bot | 2020-09-11 | 1 | -1/+1 |
* | Merge pull request #2369 from Xiretza/gitignores | Miodrag Milanović | 2020-09-10 | 3 | -2/+4 |
|\ | |||||
| * | Add missing gitignores for test artifacts | Xiretza | 2020-08-31 | 3 | -2/+4 |
* | | Bump version | Yosys Bot | 2020-09-04 | 1 | -1/+1 |
* | | Merge pull request #2371 from whitequark/cxxrtl-debug-info | whitequark | 2020-09-03 | 3 | -30/+177 |
|\ \ | |||||
| * | | cxxrtl: expose driver kind in debug information. | whitequark | 2020-09-02 | 3 | -12/+112 |
| * | | cxxrtl: improve handling of FFs with async inputs (other than CLK). | whitequark | 2020-09-02 | 1 | -22/+23 |
| * | | cxxrtl: expose port direction in debug information. | whitequark | 2020-09-02 | 3 | -5/+51 |
| * | | cxxrtl: fix typo in comment. NFC. | whitequark | 2020-09-02 | 1 | -1/+1 |
| * | | cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation. NFC. | whitequark | 2020-09-02 | 1 | -1/+1 |
* | | | Bump version | Yosys Bot | 2020-09-03 | 1 | -1/+1 |
|/ / | |||||
* | | Use latest verific | Miodrag Milanovic | 2020-09-02 | 1 | -1/+1 |
* | | Bump version | Yosys Bot | 2020-09-02 | 1 | -1/+1 |
* | | Merge pull request #2352 from zachjs/const-func-localparam | clairexen | 2020-09-01 | 2 | -3/+18 |
|\ \ | |||||
| * | | Allow localparams in constant functions | Zachary Snow | 2020-08-20 | 2 | -3/+18 |
* | | | Merge pull request #2366 from zachjs/library-format | clairexen | 2020-09-01 | 1 | -0/+11 |
|\ \ \ | |||||
| * | | | Simple support for %l format specifier | Zachary Snow | 2020-08-29 | 1 | -0/+11 |
| |/ / | |||||
* | | | Merge pull request #2353 from zachjs/top-scope | clairexen | 2020-09-01 | 2 | -0/+23 |
|\ \ \ | |||||
| * | | | Module name scope support | Zachary Snow | 2020-08-20 | 2 | -0/+23 |
| |/ / | |||||
* | | | Merge pull request #2365 from zachjs/const-arg-loop-split-type | clairexen | 2020-09-01 | 2 | -3/+24 |
|\ \ \ | |||||
| * | | | Fix constant args used with function ports split across declarations | Zachary Snow | 2020-08-29 | 2 | -3/+24 |
| |/ / | |||||
* | / | Bump version | Yosys Bot | 2020-09-01 | 1 | -1/+1 |
| |/ |/| | |||||
* | | Reorder to prevent crash | Miodrag Milanovic | 2020-08-31 | 1 | -3/+3 |
* | | Merge pull request #2368 from YosysHQ/verific_portrange | clairexen | 2020-08-31 | 1 | -11/+20 |
|\ \ | |||||
| * | | ast recognize lower case x and z and verific gives upper case | Miodrag Milanovic | 2020-08-30 | 1 | -2/+6 |
| * | | Do not check for 1 and 0 only | Miodrag Milanovic | 2020-08-30 | 1 | -6/+0 |
| * | | Fix import of VHDL enums | Miodrag Milanovic | 2020-08-30 | 1 | -11/+22 |
|/ / | |||||
* | | Bump version | Yosys Bot | 2020-08-30 | 1 | -1/+1 |
* | | write_smt2: fix SMT-LIB tutorial URL | whitequark | 2020-08-29 | 1 | -1/+1 |
* | | Bump version | Yosys Bot | 2020-08-29 | 1 | -1/+1 |
* | | intel_alm: better map wide but shallow multiplies | Dan Ravensloft | 2020-08-28 | 1 | -2/+6 |
* | | Bump version | Yosys Bot | 2020-08-28 | 1 | -1/+1 |
* | | Merge pull request #2364 from whitequark/manual-typo | Miodrag Milanović | 2020-08-27 | 1 | -1/+1 |
|\ \ | |||||
| * | | manual: fix typo. | whitequark | 2020-08-27 | 1 | -1/+1 |
|/ / | |||||
* | | Merge pull request #2357 from whitequark/cxxflags-MP | whitequark | 2020-08-27 | 1 | -1/+1 |
|\ \ | |||||
| * | | Add -MP to CXXFLAGS. | whitequark | 2020-08-26 | 1 | -1/+1 |
* | | | Merge pull request #2356 from whitequark/flatten-techmap-no-tpl_driven-sigmap | whitequark | 2020-08-27 | 3 | -9/+17 |
|\ \ \ | |||||
| * | | | flatten, techmap: don't canonicalize tpl driven bits via sigmap. | whitequark | 2020-08-26 | 3 | -9/+17 |
* | | | | Merge pull request #2358 from whitequark/rename-ilang-to-rtlil | whitequark | 2020-08-27 | 28 | -178/+206 |
|\ \ \ \ | |||||
| * | | | | Replace "ILANG" with "RTLIL" everywhere. | whitequark | 2020-08-26 | 28 | -178/+206 |
| | |/ / | |/| | | |||||
* | | | | dfflegalize: Fix decision tree for adffe. | Marcelina Kościelnicka | 2020-08-27 | 1 | -1/+5 |
* | | | | Bump version | Yosys Bot | 2020-08-27 | 1 | -1/+1 |
* | | | | intel_alm: Add multiply signedness to cells | Dan Ravensloft | 2020-08-26 | 7 | -16/+147 |
|/ / / | |||||
* | | | Merge pull request #2355 from YosysHQ/verific_improvements | Miodrag Milanović | 2020-08-26 | 1 | -1/+223 |
|\ \ \ | |/ / |/| | | |||||
| * | | Add formal apps and template generators | Miodrag Milanovic | 2020-08-26 | 1 | -1/+223 |
* | | | Merge pull request #2351 from pbsds/proc_nomux | whitequark | 2020-08-26 | 1 | -1/+10 |
|\ \ \ | |/ / |/| | | |||||
| * | | proc: Add -nomux switch | Peder Bergebakken Sundt | 2020-08-20 | 1 | -1/+10 |