aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* 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
| * 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
| | | | | | | | | | The previous mapping to `$_XOR_` and `$_NOT_` predates the addition of the `$_XNOR_` cell.
* | Merge pull request #3467 from jix/fix_cellarray_simplifyJannis Harder2022-12-191-0/+45
|\ \ | | | | | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY
| * | 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
|\ \ | |/ |/| Support for arrays with swapped ranges within structs
| * 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
| | | | | | | | | | | | This also corrects the implementation of C type arrays within structs. Fixes #3550
* | Merge branch 'zachjs-master'Jannis Harder2022-11-211-0/+45
|\ \
| * | verilog: Support module-scoped task/function callsZachary Snow2022-10-291-0/+45
| | | | | | | | | | | | | | | | | | | | | | | | This is primarily intended to enable the standard-permitted use of module-scoped identifiers to refer to tasks and non-constant functions. As a side-effect, this also adds support for the non-standard use of module-scoped identifiers referring to constant functions, a feature that is supported in some other tools, including Iverilog.
* | | fabulous: Allow adding extra custom prims and map rulesgatecat2022-11-173-0/+21
| | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | | fabulous: improvements to the passgatecat2022-11-177-0/+141
|/ / | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | Replace GNU specific invocation of basename(1) with the equivalentLloyd Parkes2022-10-231-1/+1
| | | | | | | | POSIX one. The tests now complete on BSD as well as GNU/Linux.
* | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFsJannis Harder2022-10-121-7/+7
| | | | | | | | | | | | | | The witness metadata was missing fine grained FFs completely and for coarse grained FFs where the output connection has multiple chunks it lacked the offset of the chunk within the SMT expression. This fixes both, the later by adding an "smtoffset" field to the metadata.
* | Merge pull request #3502 from jix/equiv_opt_fixesJannis Harder2022-10-1125-82/+95
|\ \ | | | | | | equiv_opt and clk2fflogic fixes
| * | 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
| | | | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* | | Merge pull request #3452 from ALGCDG/masterMiodrag Milanović2022-10-101-0/+9
|\ \ \ | |/ / |/| | Add BLIF names command input plane size check
| * | 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
| | | | This broke while switching sby's formal flows to always use $_FF_'s.
* smtbmc: Add native json based witness format + smt2 backend supportJannis Harder2022-08-161-0/+8
| | | | | | | | | | | | | | | | | | | | This adds a native json based witness trace format. By having a common format that includes everything we support, and providing a conversion utility (yosys-witness) we no longer need to implement every format for every tool that deals with witness traces, avoiding a quadratic opportunity to introduce subtle bugs. Included: * smt2: New yosys-smt2-witness info lines containing full hierarchical paths without lossy escaping. * yosys-smtbmc --dump-yw trace.yw: Dump results in the new format. * yosys-smtbmc --yw trace.yw: Read new format as constraints. * yosys-witness: New tool to convert witness formats. Currently this can only display traces in a human-readable-only format and do a passthrough read/write of the new format. * ywio.py: Small python lib for reading and writing the new format. Used by yosys-smtbmc and yosys-witness to avoid duplication.
* 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
| | | | Signed-off-by: gatecat <gatecat@ds0.me>
* 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
| | | | | | | | | | genrtlil.cc and simplify.cc had inconsistent and slightly broken handling of signedness for array querying functions. These functions are defined to return a signed result. Simplify always produced an unsigned and genrtlil always a signed 32-bit result ignoring the context. Includes tests for the the relvant edge cases for context dependent conversions.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 17:54:39 +0000