aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | | | | | Merge pull request #3669 from jix/fix-xprop-tests-yosys-callJannis Harder2023-02-133-52/+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
| * | | | | | | | verilog_backend: Do not run bwmuxmap even if in expr modeJannis Harder2023-02-131-1/+0
| * | | | | | | | tests: Fix path of yosys invocation in xprop testsJannis Harder2023-02-101-1/+1
| | |_|_|_|/ / / | |/| | | | | |
* | | | | | | | Bump versiongithub-actions[bot]2023-02-131-1/+1
* | | | | | | | Resolve package types in interfaces (#3658)Dag Lem2023-02-124-3/+34
| |_|_|_|/ / / |/| | | | | |
* | | | | | | Bump versiongithub-actions[bot]2023-02-111-1/+1
|/ / / / / /
* | | | | | Merge pull request #3667 from jix/xprop-test-make-fixJannis Harder2023-02-101-1/+1
|\ \ \ \ \ \
| * | | | | | tests: in xprop tests, use MAKE variable if setJannis Harder2023-02-101-1/+1
* | | | | | | Bump versiongithub-actions[bot]2023-02-091-1/+1
* | | | | | | Next dev cycleMiodrag Milanovic2023-02-082-2/+5
* | | | | | | Release version 0.26Miodrag Milanovic2023-02-082-4/+4
* | | | | | | Merge pull request #3662 from YosysHQ/micko/wide_case_select_boxJannis Harder2023-02-082-4/+82
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | |
| * | | | | | For case select values use Sa instead of Sx and SzMiodrag Milanovic2023-02-082-5/+42
| * | | | | | Add verific import support for OPER_WIDE_CASE_SELECT_BOXMiodrag Milanovic2023-02-061-0/+41
* | | | | | | Updated changelogMiodrag Milanovic2023-02-082-0/+21
* | | | | | | Merge pull request #3625 from povik/show_cleanupN. Engelhardt2023-02-061-56/+82
|\ \ \ \ \ \ \
| * | | | | | | passes: show: s/pos/bitpos/ for readabilityMartin Povišer2023-01-131-4/+5
| * | | | | | | passes: show: Reuse string parts in generation of portboxesMartin Povišer2023-01-131-2/+5
| * | | | | | | passes: show: Touch chunk iteration in gen_portboxMartin Povišer2023-01-131-8/+11
| * | | | | | | passes: show: Label no_signode flagMartin Povišer2023-01-131-20/+19
| * | | | | | | passes: show: Simplify wire bit range logicMartin Povišer2023-01-131-8/+10
| * | | | | | | passes: show: Factor out 'join_label_pieces'Martin Povišer2023-01-131-20/+35
| * | | | | | | passes: show: Label signed_suffix flagMartin Povišer2023-01-131-3/+6
| * | | | | | | passes: show: s/idx/dot_idx/ for readabilityMartin Povišer2023-01-131-7/+7
| * | | | | | | passes: show: Fix portbox bit ranges in case of driven signalsMartin Povišer2023-01-131-1/+1
* | | | | | | | Bump versiongithub-actions[bot]2023-02-051-1/+1
* | | | | | | | Merge pull request #3659 from whitequark/update-abcCatherine2023-02-041-1/+1
|\ \ \ \ \ \ \ \
| * | | | | | | | Bump ABCREV to fix WASM build.Catherine2023-02-041-1/+1
|/ / / / / / / /
* | | | | | | | Bump versiongithub-actions[bot]2023-02-041-1/+1
* | | | | | | | backends/firrtl: Ensure `modInstance` is validAki Van Ness2023-02-031-0/+6
| |/ / / / / / |/| | | | | |
* | | | | | | Bump versiongithub-actions[bot]2023-02-021-1/+1
* | | | | | | Merge pull request #3655 from jix/smt2_fix_b_op_widthJannis Harder2023-02-011-1/+4
|\ \ \ \ \ \ \
| * | | | | | | smt2: Fix operation width computation for boolean producing cellsJannis Harder2023-02-011-1/+4
* | | | | | | | Bump versiongithub-actions[bot]2023-01-311-1/+1
* | | | | | | | Merge pull request #3650 from jix/rtlil_roundtrip_z_bitsJannis Harder2023-01-304-1/+22
|\ \ \ \ \ \ \ \
| * | | | | | | | backends/rtlil: Do not shorten a value with z bits to 'xJannis Harder2023-01-294-1/+22
| |/ / / / / / /
* | | | | | | | add option to fsm_detect to ignore self-resettingN. Engelhardt2023-01-301-7/+22
* | | | | | | | add pmux option to bmuxmap for better fsm detection with verific frontendN. Engelhardt2023-01-302-6/+75
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | Bump versiongithub-actions[bot]2023-01-301-1/+1
| |_|_|_|/ / |/| | | | |
* | | | | | Resolve struct member package typesDag Lem2023-01-292-0/+11
* | | | | | Handle struct members of union type (#3641)Dag Lem2023-01-293-2/+18
|/ / / / /
* | | | | Bump versiongithub-actions[bot]2023-01-261-1/+1
* | | | | Merge pull request #3647 from jix/formalff-hierarchy-fixMiodrag Milanović2023-01-251-1/+1
|\ \ \ \ \
| * | | | | formalff: Fix crash with _NOT_ gates in -hierarchy modeJannis Harder2023-01-251-1/+1
|/ / / / /
* | | | | Bump versiongithub-actions[bot]2023-01-241-1/+1
* | | | | Merge pull request #3624 from jix/sim_ywMiodrag Milanović2023-01-2315-113/+1722
|\ \ \ \ \
| * | | | | sim/formalff: Clock handling for yw cosimJannis Harder2023-01-115-33/+274