aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Support for data and array queries on struct/union item expressionsDag Lem2023-02-151-0/+107
* Merge pull request #3661 from daglem/struct-array-range-offsetJannis Harder2023-02-151-0/+20
|\
| * Handle range offsets in packed arrays within packed structsDag Lem2023-02-051-0/+20
* | 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
| |/ /
* | | Merge pull request #3669 from jix/fix-xprop-tests-yosys-callJannis Harder2023-02-132-51/+60
|\ \ \
| * | | xprop tests: Make iverilog invocation more portableJannis Harder2023-02-131-3/+3
| * | | xprop: Test fixes and abort on test failureJannis Harder2023-02-132-3/+3
| * | | xprop: Smaller subset of tests to run by defaultJannis Harder2023-02-131-44/+53
| * | | tests: Fix path of yosys invocation in xprop testsJannis Harder2023-02-101-1/+1
* | | | Resolve package types in interfaces (#3658)Dag Lem2023-02-123-0/+31
|/ / /
* | | tests: in xprop tests, use MAKE variable if setJannis Harder2023-02-101-1/+1
* | | 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-28 00:27:20 +0000