aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #3734 from jix/fix_unbased_unsized_constHEADmasterJannis Harder2023-04-242-0/+35
|\
| * verilog: Fix const eval of unbased unsized constantsJannis Harder2023-04-202-0/+35
* | ABC9: Cell Port Bug Patch (#3670)Benjamin Barzen2023-04-222-0/+16
|/
* add additional dff and lutram testsMiodrag Milanovic2023-04-062-0/+57
* add test for CCU2DMiodrag Milanovic2023-04-061-0/+10
* verilog: Support void functionsJannis Harder2023-03-201-0/+37
* Update testsMiodrag Milanovic2023-03-207-16/+16
* verific: Fix enum_values support and signed attribute valuesJannis Harder2023-03-152-0/+56
* Merge pull request #3682 from daglem/struct-member-out-of-boundsJannis Harder2023-03-104-1/+76
|\
| * Added test for dynamic indexing within struct membersDag Lem2023-03-082-0/+71
| * Index struct/union members within corresponding wire chunksDag Lem2023-03-051-1/+2
| * Out of bounds checking for struct/union membersDag Lem2023-02-192-1/+4
* | Merge pull request #3646 from YosysHQ/lofty/fix-3591Miodrag Milanović2023-02-271-0/+40
|\ \
| * | muxcover: do not add decode muxes with x inputsLofty2023-01-261-0/+40
* | | Merge pull request #3674 from YosysHQ/fix_wide_caseN. Engelhardt2023-02-276-0/+78
|\ \ \
| * | | Added ranged case checkMiodrag Milanovic2023-02-272-0/+27
| * | | Add test exampleMiodrag Milanovic2023-02-274-0/+51
* | | | fabulous: Add support for mapping carry chainsgatecat2023-02-271-0/+9
|/ / /
* | | Genericising bug1836.ysKrystalDelusion2023-02-211-20/+12
* | | bug3205.ys removedKrystalDelusion2023-02-211-57/+0
* | | Removing extra `default_nettype` linesKrystalDelusion2023-02-211-2/+0
* | | Fix for sync_ram_sdp not being final moduleKrystalDelusion2023-02-211-1/+1
* | | More tests in memlib/generate.pyKrystalDelusion2023-02-2113-12/+1180
* | | Tests for ram_style = "huge"KrystalDelusion2023-02-214-0/+219
* | | Testing TDP synth mappingKrystalDelusion2023-02-213-0/+49
* | | Asymmetric port ram tests with XilinxKrystalDelusion2023-02-213-0/+193
* | | Addings tests for #1836 and #3205KrystalDelusion2023-02-213-0/+120
| |/ |/|
* | Merge pull request #3675 from daglem/struct-item-queriesJannis Harder2023-02-151-0/+112
|\ \
| * | Corrected tests for data and array queries on struct/union item expressionsDag Lem2023-02-151-80/+85
| * | Support for data and array queries on struct/union item expressionsDag Lem2023-02-151-0/+107
* | | Merge pull request #3671 from zachjs/masterJannis Harder2023-02-152-0/+16
|\ \ \ | |/ / |/| |
| * | Add test for typenames using constants shadowed later onZachary Snow2023-02-122-0/+16
* | | 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-15 11:29:39 +0000