aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Expand)AuthorAgeFilesLines
* backends/rtlil: Do not shorten a value with z bits to 'xJannis Harder2023-01-291-0/+9
* simplify: regression test for AST_CELLARRAY simplification issueJannis Harder2022-12-071-0/+45
* smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFsJannis Harder2022-10-121-7/+7
* Add test for bug 3462Miodrag Milanovic2022-08-292-0/+15
* write_aiger: Fix non-$_FF_ FFsJannis Harder2022-08-181-0/+7
* smtbmc: Add native json based witness format + smt2 backend supportJannis Harder2022-08-161-0/+8
* rename: add -scramble-name option to randomly rename selectionsLofty2022-08-081-0/+31
* smt2: emit smtlib2_comb_expr outputs after all inputsJannis Harder2022-06-072-6/+6
* don't use sed -i because it won't work on macosJacob Lifshay2022-06-032-2/+3
* smtlib2_module: try to fix test on macosJacob Lifshay2022-06-021-1/+1
* smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressionsJacob Lifshay2022-06-024-0/+127
* fix handling of escaped chars in json backend and frontendN. Engelhardt2022-02-182-0/+15
* Fix access to whole sub-structs (#3086)Kamil Rakoczy2022-02-143-2/+49
* logger: fix unmatched expected warnings and errorsZachary Snow2022-01-041-0/+42
* Fix the tests we just brokeClaire Xenia Wolf2021-12-101-4/+4
* sta: very crude static timing analysis passLofty2021-11-251-0/+81
* Support parameters using struct as a wiretype (#3050)Kamil Rakoczy2021-11-161-0/+51
* More deadname stuffClaire Xenia Wolf2021-06-092-4/+4
* abc9: uniquify blackboxes like whiteboxes (#2695)Eddie Hung2021-03-291-1/+56
* blackbox: Include whiteboxed modulesgatecat2021-03-171-0/+14
* Add tests for $countbitsMichael Singer2021-02-262-0/+76
* Merge pull request #2594 from zachjs/func-arg-widthwhitequark2021-02-234-37/+46
|\
| * verilog: fix sizing of constant args for tasks/functionsZachary Snow2021-02-214-37/+46
* | verilog: support recursive functions using ternary expressionsZachary Snow2021-02-122-0/+76
|/
* genrtlil: fix signed port connection codegen failuresZachary Snow2021-02-052-7/+28
* verilog: significant block scoping improvementsZachary Snow2021-01-312-6/+10
* Allow combination of rand and const modifiersZachary Snow2021-01-212-0/+9
* 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
|\ \ \
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 09:01:50 +0000