aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #3650 from jix/rtlil_roundtrip_z_bitsJannis Harder2023-01-301-0/+9
|\
| * backends/rtlil: Do not shorten a value with z bits to 'xJannis Harder2023-01-291-0/+9
* | add pmux option to bmuxmap for better fsm detection with verific frontendN. Engelhardt2023-01-301-0/+45
* | Resolve struct member package typesDag Lem2023-01-291-0/+4
* | 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-17 02:11:46 +0000