1
0
mirror of synced 2026-05-24 22:21:12 +00:00

Commit Graph

  • b1a011138c Bump version github-actions[bot] 2023-02-09 01:17:36 +00:00
  • a7099b0a72 Next dev cycle Miodrag Milanovic 2023-02-08 12:34:19 +01:00
  • 7e588664e7 Release version 0.26 yosys-0.26 Miodrag Milanovic 2023-02-08 12:32:43 +01:00
  • ddb2bd85c8 Merge pull request #3662 from YosysHQ/micko/wide_case_select_box Jannis Harder 2023-02-08 12:22:30 +01:00
  • 5f33c0e0b2 Updated changelog Miodrag Milanovic 2023-02-08 10:11:47 +01:00
  • 109b88c379 For case select values use Sa instead of Sx and Sz Miodrag Milanovic 2023-02-08 09:22:48 +01:00
  • ea6f562d49 gowin: Add new types of oscillator uis 2023-02-06 21:34:32 +00:00
  • 417fadbefd Merge pull request #3625 from povik/show_cleanup N. Engelhardt 2023-02-06 16:11:26 +01:00
  • e7e37df91b Add verific import support for OPER_WIDE_CASE_SELECT_BOX Miodrag Milanovic 2023-02-06 09:28:23 +01:00
  • 777c589e85 Handle range offsets in packed arrays within packed structs Dag Lem 2023-02-05 11:01:37 +01:00
  • 45edc8eb98 Bump version github-actions[bot] 2023-02-05 00:18:39 +00:00
  • 5fa96ccdee Merge pull request #3659 from whitequark/update-abc Catherine 2023-02-04 04:09:55 +00:00
  • 3af3cc15b5 Bump ABCREV to fix WASM build. Catherine 2023-02-04 03:35:42 +00:00
  • 54bf15a5b8 Bump version github-actions[bot] 2023-02-04 00:16:33 +00:00
  • a90f940615 backends/firrtl: Ensure modInstance is valid Aki Van Ness 2023-02-01 10:15:20 -05:00
  • 221036c5b6 Bump version github-actions[bot] 2023-02-02 00:17:21 +00:00
  • 0f2cb80a26 Merge pull request #3655 from jix/smt2_fix_b_op_width Jannis Harder 2023-02-01 18:06:59 +01:00
  • 5e82638408 smt2: Fix operation width computation for boolean producing cells Jannis Harder 2023-02-01 12:34:35 +01:00
  • f7c1e4aadf Bump version github-actions[bot] 2023-01-31 00:17:36 +00:00
  • c235802f4a Merge pull request #3650 from jix/rtlil_roundtrip_z_bits Jannis Harder 2023-01-30 16:14:24 +01:00
  • 419f91a2b9 add option to fsm_detect to ignore self-resetting N. Engelhardt 2023-01-20 15:10:59 +01:00
  • ecfa7e9fbc add pmux option to bmuxmap for better fsm detection with verific frontend N. Engelhardt 2023-01-18 14:57:09 +01:00
  • dbc8b77222 gowin: Add support for emulated differential output martell 2023-01-29 20:48:43 -08:00
  • d11cb6901f Bump version github-actions[bot] 2023-01-30 00:14:47 +00:00
  • 26db5a11d3 Resolve struct member package types Dag Lem 2023-01-22 09:32:24 +01:00
  • db13c6df2b Handle struct members of union type (#3641) Dag Lem 2023-01-29 19:45:45 +01:00
  • b08a880704 backends/rtlil: Do not shorten a value with z bits to 'x Jannis Harder 2023-01-29 13:54:02 +01:00
  • 822c7b0341 muxcover: do not add decode muxes with x inputs Lofty 2023-01-25 09:26:58 +00:00
  • 541fdffff2 Bump version github-actions[bot] 2023-01-26 00:16:37 +00:00
  • b9155a574e Merge pull request #3647 from jix/formalff-hierarchy-fix Miodrag Milanović 2023-01-25 13:37:44 +01:00
  • afac3f2c76 formalff: Fix crash with _NOT_ gates in -hierarchy mode Jannis Harder 2023-01-25 12:55:29 +01:00
  • 755b753e1a Bump version github-actions[bot] 2023-01-24 00:16:28 +00:00
  • 8180cc4325 Merge pull request #3624 from jix/sim_yw Miodrag Milanović 2023-01-23 16:55:17 +01:00
  • 245884a101 Merge pull request #3629 from YosysHQ/micko/clang_fixes Miodrag Milanović 2023-01-23 16:24:22 +01:00
  • 9bc9121b9e Merge pull request #3636 from YosysHQ/log_plugin Miodrag Milanović 2023-01-23 16:24:03 +01:00
  • bfacaddca8 show: Remove left-in debug log_warning gatecat 2023-01-23 11:28:16 +01:00
  • 200ffdccc5 Call yosys_shutdown to properly cleanup plugins and tcl when expecting error Miodrag Milanovic 2023-01-20 16:09:42 +01:00
  • 611f71c670 Merge pull request #3630 from yrabbit/gw1n4c-pll Miodrag Milanović 2023-01-18 08:30:29 +01:00
  • 29e7756b0c Bump version github-actions[bot] 2023-01-18 00:17:17 +00:00
  • bfc3c20cfb Improve splitcells pass Claire Xenia Wolf 2023-01-18 00:31:29 +01:00
  • 6574553189 Fixes for some of clang scan-build detected issues Miodrag Milanovic 2023-01-17 12:58:08 +01:00
  • f9e30ee5e0 passes: show: s/pos/bitpos/ for readability Martin Povišer 2023-01-13 16:16:03 +01:00
  • 314b864205 passes: show: Reuse string parts in generation of portboxes Martin Povišer 2023-01-13 16:25:02 +01:00
  • 61abca10a3 passes: show: Touch chunk iteration in gen_portbox Martin Povišer 2023-01-13 16:10:20 +01:00
  • 60318a5cd8 passes: show: Label no_signode flag Martin Povišer 2023-01-13 16:17:03 +01:00
  • 8b1f5fba62 passes: show: Simplify wire bit range logic Martin Povišer 2023-01-12 17:24:31 +01:00
  • ad149cc42a passes: show: Factor out 'join_label_pieces' Martin Povišer 2023-01-12 17:09:53 +01:00
  • 5848790835 passes: show: Label signed_suffix flag Martin Povišer 2023-01-12 17:06:31 +01:00
  • 13700e12e5 passes: show: s/idx/dot_idx/ for readability Martin Povišer 2023-01-12 17:03:13 +01:00
  • e3709ce776 passes: show: Fix portbox bit ranges in case of driven signals Martin Povišer 2023-01-12 19:10:00 +01:00
  • 956c4e485a Bump version github-actions[bot] 2023-01-12 01:17:55 +00:00
  • 692a0fa33b print filename in liberty log_header N. Engelhardt 2023-01-11 18:34:24 +01:00
  • d6c7aa0e3d sim/formalff: Clock handling for yw cosim Jannis Harder 2023-01-11 17:52:25 +01:00
  • 7ddec5093f sim: Improvements and fixes for yw cosim Jannis Harder 2023-01-10 17:04:06 +01:00
  • 636b9f2705 Support for BTOR witness to Yosys witness conversion Jannis Harder 2023-01-03 14:45:41 +01:00
  • 3e25e61778 aiger: Use new JSON code for writing aiger witness map files Jannis Harder 2022-12-23 17:22:24 +01:00
  • 29461ade17 Add json.{h,cc} for pretty printing JSON Jannis Harder 2022-12-23 16:52:52 +01:00
  • dda972a148 sim: New -append option for Yosys witness cosim Jannis Harder 2022-12-21 14:59:29 +01:00
  • 2dd5652215 sim: Add Yosys witness (.yw) cosimulation Jannis Harder 2022-12-21 14:44:15 +01:00
  • 1494cfff00 New kernel/yw.{h,cc} to support reading Yosys witness files Jannis Harder 2022-12-21 14:42:34 +01:00
  • f6458bab70 sim: Only check formal cells during gclk simulation updates Jannis Harder 2022-12-21 14:40:58 +01:00
  • 9c6198a827 sim: Internal API to set $initstate Jannis Harder 2022-12-21 14:39:49 +01:00
  • 44b26d5c6d sim: Emit used memory addresses as signals to output traces Jannis Harder 2022-12-21 14:33:20 +01:00
  • 5042600c0d xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef Jannis Harder 2022-12-21 14:24:10 +01:00
  • 673ad561b8 smt2: Treat bweqx as xnor Jannis Harder 2022-12-21 14:22:10 +01:00
  • 62afe61779 smt2: Directly implement bwmux instead of using bwmuxmap Jannis Harder 2022-12-14 18:31:22 +01:00
  • 4173daa708 Merge pull request #3605 from gadfort/stat-json-area N. Engelhardt 2023-01-11 16:41:44 +01:00
  • 2e3c08adc4 Merge pull request #3570 from YosysHQ/claire/eqystuff Claire Xen 2023-01-11 16:37:52 +01:00
  • 843f329b96 Merge branch 'master' into claire/eqystuff Claire Xen 2023-01-11 16:33:08 +01:00
  • 5abaa59080 Merge pull request #3537 from jix/xprop Jannis Harder 2023-01-11 16:26:04 +01:00
  • d742d063d4 remove template declaration that stops function from being used N. Engelhardt 2023-01-10 17:36:33 +01:00
  • 41ce00e82a Merge pull request #3620 from YosysHQ/gcc48_remove N. Engelhardt 2023-01-11 16:05:56 +01:00
  • 4fc5207b1e Add deprecation info to changelog Miodrag Milanovic 2023-01-11 11:23:23 +01:00
  • 5801152779 Deprecate gcc-4.8 Miodrag Milanovic 2023-01-11 09:54:19 +01:00
  • 6d56d4ecfc Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuff Claire Xenia Wolf 2023-01-11 04:10:12 +01:00
  • d6a1e022e1 gowin: add a new type of PLL - PLLVR YRabbit 2023-01-11 11:41:29 +10:00
  • 7b476996df Bump version github-actions[bot] 2023-01-11 01:16:47 +00:00
  • 2677569d48 Merge pull request #3616 from YosysHQ/register_error Miodrag Milanović 2023-01-10 11:38:57 +01:00
  • 2b622258a2 Merge pull request #3615 from YosysHQ/qbfsat_cvc5 Miodrag Milanović 2023-01-10 11:38:16 +01:00
  • 40282576b0 Display error instead of assertion when pass exists Miodrag Milanovic 2023-01-09 17:02:56 +01:00
  • e3c0fd8b10 qbfsat support for cvc5, fixes #3608 Miodrag Milanovic 2023-01-09 16:14:01 +01:00
  • f2c689403a Bump version github-actions[bot] 2023-01-05 00:16:46 +00:00
  • 7bac1920b2 nexus: Fix BRAM write enable in PDP mode gatecat 2023-01-04 12:00:03 +01:00
  • d3216593da Bump version github-actions[bot] 2023-01-04 00:16:03 +00:00
  • c34d308bbd Next dev cycle Miodrag Milanovic 2023-01-03 09:36:13 +01:00
  • e02b7f64bc Release version 0.25 yosys-0.25 Miodrag Milanovic 2023-01-03 09:34:45 +01:00
  • a27a297ebc Bump version github-actions[bot] 2023-01-03 00:15:41 +00:00
  • 7971154e72 Merge branch 'master' into stat-json-area Peter Gadfort 2023-01-02 12:46:41 -05:00
  • 583ab81670 Merge pull request #3606 from YosysHQ/fix_vs Miodrag Milanović 2023-01-02 17:47:13 +01:00
  • a935752df6 Remove cache Miodrag Milanovic 2023-01-02 17:16:51 +01:00
  • fcd1c68ab7 add note to help about how to chain commands N. Engelhardt 2022-12-09 18:17:16 +01:00
  • 257b41cd1f Merge pull request #3577 from KrystalDelusion/deprecate_manual Miodrag Milanović 2023-01-02 16:07:36 +01:00
  • 58cca9592d stat: ensure area is included in json output Peter Gadfort 2022-12-29 21:51:46 -05:00
  • 029b0aac7f Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuff Claire Xenia Wolf 2022-12-21 14:50:23 +01:00
  • 1bc832a8e1 Allow non-unique modules without state in sim writeback-mode Claire Xenia Wolf 2022-12-21 10:43:02 +01:00
  • a9072dc23c Small bugfix in uniquify pass Claire Xenia Wolf 2022-12-21 10:41:48 +01:00
  • 3ebc50dee4 Merge pull request #3467 from jix/fix_cellarray_simplify Jannis Harder 2022-12-19 16:05:13 +01:00
  • f2a4e5f1a0 Fixing other references to the manual KrystalDelusion 2022-12-19 10:42:21 +13:00
  • f33a21eea4 Removed manual from make clean KrystalDelusion 2022-12-19 10:10:34 +13:00
  • aeb40d4ddf Remove make targets for manual KrystalDelusion 2022-12-19 10:08:40 +13:00