aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Expand)AuthorAgeFilesLines
* Add plugin.so.dSYM to .gitignoreZachary Snow2021-01-181-0/+1
* Merge pull request #2518 from zachjs/recursionwhitequark2021-01-012-0/+71
|\
| * verilog: improved support for recursive functionsZachary Snow2020-12-312-0/+71
* | sv: complete support for implied task/function port directionsZachary Snow2020-12-312-0/+29
|/
* Fix elaboration of whole memory words used as indicesZachary Snow2020-12-263-0/+48
* Fix constants bound to redeclared function argsZachary Snow2020-12-261-0/+10
* Merge pull request #2501 from zachjs/genrtlil-tern-signwhitequark2020-12-231-4/+9
|\
| * genrtlil: fix mux2rtlil generated wire signednessZachary Snow2020-12-221-4/+9
* | Merge pull request #2476 from zachjs/const-arg-widthwhitequark2020-12-231-0/+10
|\ \ | |/ |/|
| * Fix constants bound to single bit arguments (fixes #2383)Zachary Snow2020-12-221-0/+10
* | Merge pull request #2479 from zachjs/const-arg-hintwhitequark2020-12-221-0/+9
|\ \
| * | Allow constant function calls in constant function argumentsZachary Snow2020-12-071-0/+9
| |/
* / Sign extend port connections where necessaryZachary Snow2020-12-182-0/+98
|/
* Merge pull request #2133 from dh73/nodev_headClaire Xen2020-11-2518-65/+322
|\
| * Removing trailing whitespacediego2020-06-101-30/+30
| * Adding latch tests for shift&mask AST dynamic part-select enhancementsdiego2020-06-0918-68/+325
* | tests: Centralize test collection and Makefile generationXiretza2020-09-211-19/+3
* | Merge pull request #2352 from zachjs/const-func-localparamclairexen2020-09-011-3/+6
|\ \
| * | Allow localparams in constant functionsZachary Snow2020-08-201-3/+6
* | | Fix constant args used with function ports split across declarationsZachary Snow2020-08-291-0/+20
|/ /
* | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-201-143/+0
|\ \
| * | peepopt: Remove now-redundant dffmux pattern.Marcelina Koƛcielnicka2020-08-071-143/+0
* | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into z...Claire Wolf2020-08-182-0/+24
|\ \ \
| * | | Allow blocks with declarations within constant functionsZachary Snow2020-07-252-0/+24
* | | | Merge pull request #2281 from zachjs/const-realclairexen2020-08-181-0/+12
|\ \ \ \ | |_|/ / |/| | |
| * | | Allow reals as constant function parametersZachary Snow2020-07-191-0/+12
| |/ /
* | | Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undefclairexen2020-07-281-0/+35
|\ \ \
| * | | equiv_induct: Fix up assumption for $equiv cells in -undef mode.Marcelina Koƛcielnicka2020-07-271-0/+35
| |/ /
* / / Avoid generating wires for function args which are constantZachary Snow2020-07-242-0/+45
|/ /
* | Revert "Revert PRs #2203 and #2244."Kamil Rakoczy2020-07-104-0/+49
* | Revert PRs #2203 and #2244.whitequark2020-07-094-49/+0
* | Add logic param and integer bad syntax testsKamil Rakoczy2020-07-063-0/+21
* | Merge pull request #2203 from antmicro/fix-grammarclairexen2020-07-011-0/+28
|\ \
| * | Add signed/unsigned testsKamil Rakoczy2020-06-261-0/+28
* | | Allow constant function calls in for loops and generate if and caseZachary Snow2020-06-292-0/+76
|/ /
* / Use C++11 final/override keywords.whitequark2020-06-181-1/+1
|/
* Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improveEddie Hung2020-06-041-1/+2
|\
| * abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_Eddie Hung2020-05-291-1/+2
* | Merge pull request #2080 from YosysHQ/eddie/fix_test_warningsEddie Hung2020-06-033-4/+4
|\ \
| * | tests: fix some test warningsEddie Hung2020-05-253-4/+4
| |/
* / printattrs: Add test.Alberto Gonzalez2020-05-271-0/+14
|/
* xaiger: add testcaseEddie Hung2020-05-241-0/+13
* abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-141-3/+8
* abc9: not enough to techmap_fail on (* init=1 *), hide them using $__Eddie Hung2020-05-141-2/+21
* abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-5/+7
* Merge pull request #2028 from zachjs/masterEddie Hung2020-05-062-0/+17
|\
| * verilog: allow null gen-if then blockZachary Snow2020-05-062-0/+17
* | Merge pull request #2024 from YosysHQ/eddie/primitive_srcEddie Hung2020-05-051-0/+16
|\ \
| * | tests: add tests for primitives' srcEddie Hung2020-05-041-0/+16
| |/
* / verilog: fix specify src attributeEddie Hung2020-05-041-0/+6
|/