aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
...
* | | Handle struct members of union type (#3641)Dag Lem2023-01-291-0/+16
|/ /
* | Merge pull request #3537 from jix/xpropJannis Harder2023-01-116-5/+805
|\ \
| * | New xprop pass to encode 3-valued x-propagation using 2-valued logicJannis Harder2022-11-304-0/+801
| * | simplemap: Map `$xnor` to `$_XNOR_` cellsJannis Harder2022-11-292-5/+4
* | | Merge pull request #3467 from jix/fix_cellarray_simplifyJannis Harder2022-12-191-0/+45
|\ \ \
| * | | simplify: regression test for AST_CELLARRAY simplification issueJannis Harder2022-12-071-0/+45
* | | | Support for packed multidimensional arrays within packed structsDag Lem2022-12-031-0/+60
|/ / /
* | | Merge pull request #3551 from daglem/struct-array-swapped-rangeJannis Harder2022-12-011-0/+131
|\ \ \ | |/ / |/| |
| * | Tests for unpacked arrays in packed structs are for the Yosys frontend onlyDag Lem2022-11-231-0/+4
| * | Support for swapped ranges in second array dimensionDag Lem2022-11-231-0/+42
| * | Support for arrays with swapped ranges within structsDag Lem2022-11-121-1/+86
* | | Merge branch 'zachjs-master'Jannis Harder2022-11-211-0/+45
|\ \ \
| * | | verilog: Support module-scoped task/function callsZachary Snow2022-10-291-0/+45
* | | | fabulous: Allow adding extra custom prims and map rulesgatecat2022-11-173-0/+21
* | | | fabulous: improvements to the passgatecat2022-11-177-0/+141
|/ / /
* | | Replace GNU specific invocation of basename(1) with the equivalentLloyd Parkes2022-10-231-1/+1
* | | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFsJannis Harder2022-10-121-7/+7
* | | Merge pull request #3502 from jix/equiv_opt_fixesJannis Harder2022-10-1125-82/+95
|\ \ \
| * | | Reenable existing equiv_opt testsJannis Harder2022-10-0713-54/+52
| * | | Fix tests for check in equiv_optJannis Harder2022-10-0713-15/+31
| * | | Re-enable opt_dff_sr equiv_opt checksClaire Xenia Wolf2022-10-071-13/+12
* | | | Merge pull request #3452 from ALGCDG/masterMiodrag Milanović2022-10-101-0/+9
|\ \ \ \ | |/ / / |/| | |
| * | | Adding check for BLIF names command input plane size.Archie2022-08-211-0/+9
* | | | Test fixes for latest iverilogMiodrag Milanovic2022-09-211-2/+12
| |/ / |/| |
* | | 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
* | Merge pull request #3277 from YosysHQ/lofty/rename-scramble_nameN. Engelhardt2022-08-111-0/+31
|\ \
| * | rename: add -scramble-name option to randomly rename selectionsLofty2022-08-081-0/+31
* | | support file locations containing spacesMiodrag Milanovic2022-08-083-9/+10
|/ /
* | gatemate: Add test for LUT tree mappinggatecat2022-06-273-0/+813
* | Adding expected error message.Archie2022-06-221-0/+1
* | Adding testcase for issue 3374Archie2022-06-221-0/+3
|/
* 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
* verilog: fix width/sign detection for functionsZachary Snow2022-05-302-0/+46
* verilog: fix size and signedness of array querying functionsJannis Harder2022-05-301-0/+52
* verilog: fix $past's signednessJannis Harder2022-05-251-0/+35
* verilog: fix signedness when removing unreachable casesJannis Harder2022-05-241-0/+33
* Add memory_bmux2rom pass.Marcelina Kościelnicka2022-05-181-0/+27
* Add memory_libmap tests.Marcelina Kościelnicka2022-05-1821-0/+1499
* efinix: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-12/+1
* ice40: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-56/+0
* xilinx: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-183-46/+15
* nexus: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-2/+2
* ecp5: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-135/+18
* proc_rom: Add special handling of const-0 address bits.Marcelina Kościelnicka2022-05-181-0/+146
* Merge pull request #3314 from jix/sva_value_change_logic_wideJannis Harder2022-05-162-2/+43
|\
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-29 02:20:05 +0000