aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'xprop' of github.com:jix/yosys into claire/eqystuffClaire Xenia Wolf2022-12-016-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 #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
|\
| * verific: Use new value change logic also for $stable of wide signals.Jannis Harder2022-05-112-2/+43
* | Add proc_rom pass.Marcelina Kościelnicka2022-05-131-0/+43
|/
* Merge pull request #3305 from jix/sva_value_change_logicJannis Harder2022-05-097-1/+96
|\
| * verific: Improve logic generated for SVA value change expressionsJannis Harder2022-05-097-1/+96