aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* allow range for mux testMiodrag Milanovic2020-06-011-1/+2
* Merge pull request #2029 from whitequark/fix-simplify-memory-sv_logicclairexen2020-05-292-0/+9
|\
| * ast/simplify: don't bitblast async ROMs declared as `logic`.whitequark2020-05-052-0/+9
* | Expand tests/simple/constmuldivmod.vXiretza2020-05-281-1/+41
* | Merge pull request #2091 from boqwxp/printattrswhitequark2020-05-281-0/+14
|\ \
| * | printattrs: Add test.Alberto Gonzalez2020-05-271-0/+14
* | | Merge pull request #2078 from YosysHQ/eddie/xilinx_sim_tidyEddie Hung2020-05-252-8/+8
|\ \ \ | |/ / |/| |
| * | tests: xilinx macc test to have initval, shorten BMC depth for runtimeEddie Hung2020-05-252-8/+8
* | | test: add attribute-before-stmt test from @nakengelhardtEddie Hung2020-05-251-0/+15
* | | verilog: do not warn for attributes on null statementsEddie Hung2020-05-251-4/+4
* | | tests: add an generate-else test tooEddie Hung2020-05-251-0/+34
* | | tests: add #2037 testcaseEddie Hung2020-05-251-0/+9
|/ /
* | xaiger: add testcaseEddie Hung2020-05-241-0/+13
* | Merge pull request #2057 from YosysHQ/eddie/fix_task_attrEddie Hung2020-05-211-0/+28
|\ \
| * | tests: attributes before task enableEddie Hung2020-05-141-0/+28
* | | Add force_downto and force_upto wire attributes.Marcelina Koƛcielnicka2020-05-191-2/+4
* | | Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dffEddie Hung2020-05-186-117/+108
|\ \ \
| * | | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-141-3/+8
| * | | abc9_ops: add -prep_bypass for auto bypass boxes; refactorEddie Hung2020-05-141-5/+29
| * | | abc9: not enough to techmap_fail on (* init=1 *), hide them using $__Eddie Hung2020-05-141-2/+21
| * | | abc9: test to use box file instead of autoEddie Hung2020-05-143-2/+5
| * | | abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ tooEddie Hung2020-05-141-5/+7
| * | | abc9: suppress warnings when no compatible + used flop boxes formedEddie Hung2020-05-141-1/+3
| * | | xilinx: update abc9_dff testsEddie Hung2020-05-141-18/+45
| * | | xilinx: remove no-longer-relevant testEddie Hung2020-05-141-91/+0
* | | | Merge pull request #1994 from YosysHQ/eddie/fix_bug1758Eddie Hung2020-05-148-5/+451
|\ \ \ \ | |/ / / |/| | |
| * | | test: update opt_expr_alu testEddie Hung2020-05-081-2/+1
| * | | tests: opt_expr tests that depend on consumexEddie Hung2020-05-081-0/+35
| * | | tests: fsm to use a randomly-generated seedEddie Hung2020-04-241-3/+5
| * | | opt_expr: const_xnor replacement to pad Y with 1'b1Eddie Hung2020-04-241-0/+46
| * | | tests: opt_expr update xnor/xor testsEddie Hung2020-04-242-7/+6
| * | | opt_expr: do not group by X, more fixesEddie Hung2020-04-232-2/+2
| * | | tests: add opt_expr testsEddie Hung2020-04-235-0/+365
* | | | Merge pull request #2045 from YosysHQ/eddie/fix2042Eddie Hung2020-05-144-0/+93
|\ \ \ \
| * | | | test: add another testcase as per @nakengelhardtEddie Hung2020-05-141-0/+25
| * | | | tests: update/extend task argument testsEddie Hung2020-05-132-2/+35
| * | | | tests: add #2042 testcaseEddie Hung2020-05-111-0/+12
| * | | | Setup tests/verilog properlyEddie Hung2020-05-112-0/+23
| | |/ / | |/| |
* | | | Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixesClaire Wolf2020-05-141-0/+13
|\ \ \ \
| * | | | opt_clean: improve warning messageEddie Hung2020-05-141-1/+1
| * | | | opt_clean: add init testEddie Hung2020-05-141-0/+13
| |/ / /
* | | | Merge pull request #2027 from YosysHQ/eddie/verilog_neg_uptoClaire Wolf2020-05-141-0/+4
|\ \ \ \ | |/ / / |/| | |
| * | | techlibs/common: more robustness when *_WIDTH = 0Eddie Hung2020-05-051-1/+0
| * | | test: add failing testEddie Hung2020-05-041-0/+5
| | |/ | |/|
* | | intel_alm: direct LUTRAM cell instantiationDan Ravensloft2020-05-071-0/+20
* | | Merge pull request #2005 from YosysHQ/claire/fix1990Claire Wolf2020-05-071-0/+46
|\ \ \
| * | | Bugfix in partsel.v signed indices test casesClaire Wolf2020-05-021-2/+2
| * | | Add tests based on the test case from #1990Claire Wolf2020-05-021-0/+46
* | | | Merge pull request #2028 from zachjs/masterEddie Hung2020-05-062-0/+17
|\ \ \ \
| * | | | verilog: allow null gen-if then blockZachary Snow2020-05-062-0/+17
| | |/ / | |/| |