aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #3646 from YosysHQ/lofty/fix-3591Miodrag Milanović2023-02-271-0/+40
|\
| * muxcover: do not add decode muxes with x inputsLofty2023-01-261-0/+40
* | Merge pull request #2995 from georgerennie/cover_precondJannis Harder2023-02-141-0/+25
|\ \
| * | chformal: Rename -coverprecond to -coverenableGeorge Rennie2022-06-181-3/+3
| * | chformal: Test -coverprecond and reuse the src attributeJannis Harder2022-06-181-0/+25
* | | Merge pull request #3126 from georgerennie/equiv_make_assertionsJannis Harder2023-02-141-0/+32
|\ \ \
| * | | equiv_make: Add -make_assert optionGeorge Rennie2022-06-241-0/+32
| |/ /
* | / 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-29 02:43:47 +0000