1
0
mirror of synced 2026-05-23 21:51:52 +00:00

Commit Graph

  • 2125357e76 Add support for $increment Dag Lem 2023-12-27 22:00:13 +01:00
  • 88d9e213cb Decoding of a few more AST nodes in dumpVlog Dag Lem 2023-12-27 22:35:18 +01:00
  • a32d9b6c45 Fix test of memory vs. memory converted to registers Dag Lem 2024-01-25 07:29:59 +01:00
  • 39fea32c6e Add support for packed multidimensional arrays Dag Lem 2024-01-25 07:28:15 +01:00
  • ac0fb2e301 Merge pull request #4199 from tpwrules/test-fix Jannis Harder 2024-02-11 02:32:42 +01:00
  • 0b835f28ca Bump version github-actions[bot] 2024-02-11 00:17:25 +00:00
  • c46ebf28c2 Merge pull request #4198 from passingglance/patch-1 Martin Povišer 2024-02-10 23:16:30 +01:00
  • 10e06f9b66 tests/various/clk2fflogic_effects.sh: remove /tmp use Thomas Watson 2024-02-10 15:09:54 -06:00
  • b1f8308772 tests/various/clk2fflogic_effects.sh: fix tail invocation Thomas Watson 2024-02-10 15:07:55 -06:00
  • 2b89a5cced Update CHAPTER_Basics.rst passingglance 2024-02-10 10:52:20 -08:00
  • 31dbd915ca Bump version github-actions[bot] 2024-02-10 00:15:13 +00:00
  • 8566489d85 stat: Add sequential area output to stat -liberty Ethan Mahintorabi 2024-02-09 23:51:00 +00:00
  • 46838172c2 Next dev cycle Miodrag Milanovic 2024-02-09 08:19:14 +01:00
  • 543faed9c8 Release version 0.38 yosys-0.38 Miodrag Milanovic 2024-02-09 08:16:24 +01:00
  • 8e3a718e30 Bump version github-actions[bot] 2024-02-09 00:15:19 +00:00
  • 2f4c917dac Merge pull request #4181 from povik/ci-cxxstd-fix Miodrag Milanović 2024-02-08 18:55:47 +01:00
  • d808258583 Merge pull request #4193 from povik/opt_lut-help Miodrag Milanović 2024-02-08 18:54:16 +01:00
  • 043f1e2bcb opt_lut: Remove leftover -dlogic help Martin Povišer 2024-02-08 17:47:21 +01:00
  • af1a5cfeb9 Address SigBit/SigSpec confusion issues under c++20 Martin Povišer 2024-02-08 17:46:00 +01:00
  • 66479a2232 hashlib: Add missing stdint.h include Martin Povišer 2024-02-08 11:15:26 +01:00
  • 1236bb65b6 read_verilog: don't include empty opt_sva_label in span. Catherine 2024-02-08 11:32:15 +00:00
  • 675b8a7319 Merge pull request #4190 from YosysHQ/xdg Miodrag Milanović 2024-02-08 14:05:31 +01:00
  • a38273c19d add log_suppressed and fixed formatting Miodrag Milanovic 2024-02-08 12:19:42 +01:00
  • a1824ba5b6 Merge pull request #4187 from povik/synth-help Martin Povišer 2024-02-08 09:56:48 +01:00
  • 2797d67569 Move block and change message to debug Miodrag Milanovic 2024-02-08 09:19:19 +01:00
  • f785eef685 Merge branch 'master' of github.com:hakan-demirli/yosys into xdg Miodrag Milanovic 2024-02-08 09:03:52 +01:00
  • 862f2fd705 proc_dlatch: Include $bwmux among considered mux cells Martin Povišer 2024-02-08 00:07:51 +01:00
  • 7a3316dd78 synth: Tweak phrasing of -booth help Martin Povišer 2024-02-08 00:03:15 +01:00
  • a98d363d9d synth: Run script in full in help mode Martin Povišer 2024-02-08 00:03:02 +01:00
  • 16ff3e0a30 Bump version github-actions[bot] 2024-02-07 00:14:46 +00:00
  • 364bcfb8f1 Example pass for the scopeinfo index/lookup utils Jannis Harder 2024-01-29 21:28:51 +01:00
  • 0d5b48de98 Add scopeinfo index/lookup utils Jannis Harder 2024-01-29 14:46:39 +01:00
  • bbe39762ad Ignore $scopeinfo in write_json Jannis Harder 2024-01-12 14:14:01 +01:00
  • f31fb95963 Ignore $scopeinfo in write_verilog Jannis Harder 2024-01-11 15:18:37 +01:00
  • 5ee8bebde4 Ignore $scopeinfo in write_spice Jannis Harder 2024-01-11 15:12:32 +01:00
  • 418bf61b8d Ignore $scopeinfo in write_smv Jannis Harder 2024-01-11 15:11:11 +01:00
  • 55d8425468 Ignore $scopeinfo in write_firrtl Jannis Harder 2024-01-11 15:00:09 +01:00
  • 59a60c76fe Ignore $scopeinfo in write_blif Jannis Harder 2024-01-11 14:57:34 +01:00
  • 5cfbc1604c Ignore $scopeinfo in write_edif Jannis Harder 2024-01-11 14:54:02 +01:00
  • 10d5d358d2 Ignore $scopeinfo in write_aiger Jannis Harder 2024-01-11 14:10:25 +01:00
  • bfd9cf63db Ignore $scopeinfo in opt_merge Jannis Harder 2024-01-11 14:10:13 +01:00
  • 9288107f43 Test flatten and opt_clean's $scopeinfo handling Jannis Harder 2023-12-19 19:47:09 +01:00
  • 8902fc94b6 Suport $scopeinfo in flatten and opt_clean Jannis Harder 2023-12-19 16:23:38 +01:00
  • f728927307 Add builtin celltype $scopeinfo Jannis Harder 2023-12-19 14:37:27 +01:00
  • 269c50f90e Merge pull request #4130 from jix/hierarchy-defer-notop Miodrag Milanović 2024-02-06 12:08:01 +01:00
  • d00843d436 Add -nordff to test Miodrag Milanovic 2024-02-06 10:36:30 +01:00
  • 0470cbb00d hierarchy: Without a known top module, derive all deferred modules Jannis Harder 2024-01-12 16:30:37 +01:00
  • 5d3e4c5c7a Merge pull request #4182 from QuantamHD/fix_aldff Miodrag Milanović 2024-02-06 08:19:43 +01:00
  • 1df2a209e5 Bump version github-actions[bot] 2024-02-06 00:15:26 +00:00
  • 1b73b5beb7 Merge pull request #4174 from YosysHQ/claire/overwrite Claire Xen 2024-02-05 23:49:24 +01:00
  • 57db87c99f py_wrap_generator: Handle const-qualified callbacks Martin Povišer 2024-02-05 17:25:55 +01:00
  • 2422dd6845 Merge pull request #4153 from Coloquinte/blif_delay_constraints N. Engelhardt 2024-02-05 15:14:05 +01:00
  • f96e27ac14 Merge pull request #4123 from povik/clean-opt_clean N. Engelhardt 2024-02-05 15:08:34 +01:00
  • ff578ecabd fix formatting Ethan Mahintorabi 2024-02-05 07:23:04 +00:00
  • bc66dfd9ea verific: Fixes incorrect aldff inference in verific importer Ethan Mahintorabi 2024-02-05 07:10:25 +00:00
  • 0cdd4273b4 ci: ignore yosys-config return code Krystine Sherwin 2024-02-05 15:41:50 +13:00
  • 9eed04dd4b Docs: Note on debug for memory_libmap Krystine Sherwin 2024-02-05 15:38:01 +13:00
  • 97b8ee5ab9 ci: Get a dump of yosys-config into the build log Martin Povišer 2024-02-04 23:29:46 +01:00
  • 3f457f2388 ci: Fix CXXSTD typo Martin Povišer 2024-02-04 23:20:38 +01:00
  • f5420d720c Bump version github-actions[bot] 2024-02-04 00:17:08 +00:00
  • 3caac53827 Merge pull request #4128 from whitequark/check-cell Catherine 2024-02-03 18:39:00 +00:00
  • ffb82df33c Additional tests for FV $check compatibility Jannis Harder 2024-02-01 20:08:55 +01:00
  • 7dbe288d6f fix: descriptive logs hakan-demirli 2024-02-02 02:39:04 +03:00
  • c1d3288654 chore: use similar variable/function names hakan-demirli 2024-02-02 01:25:58 +03:00
  • c7bf0e3b8f Add new $check cell to represent assertions with a message. Catherine 2024-01-11 09:39:28 +00:00
  • e1a59ba80b async2sync, clk2fflogic: Add support for $check and $print cells Jannis Harder 2024-01-22 18:32:23 +01:00
  • 6c4902313b chformal: Support $check cells and add chformal -lower Jannis Harder 2024-01-22 18:30:24 +01:00
  • 331ac5285f tests: Run async2sync before sat and/or sim to handle $check cells Jannis Harder 2024-01-22 17:44:05 +01:00
  • 2baa578d94 Remove too fragile smtlib2_module test Jannis Harder 2024-01-22 18:16:52 +01:00
  • 9f27923782 Merge pull request #4173 from YosysHQ/verific_complex N. Engelhardt 2024-02-01 12:08:40 +01:00
  • a84fa0a277 connect: Do interpret selection arguments Martin Povišer 2024-02-01 10:28:36 +01:00
  • bbb8ad5997 Bump version github-actions[bot] 2024-02-01 00:16:28 +00:00
  • dd5dc06863 fix: save history file on windows hakan-demirli 2024-01-31 20:14:32 +03:00
  • 820232eaca fix: function naming and locations hakan-demirli 2024-01-31 19:50:31 +03:00
  • 6c4bc5aae5 Merge pull request #4165 from phsauter/shiftadd-offset-fix Martin Povišer 2024-01-31 13:47:39 +01:00
  • cbdf9b2f9c peepopt: handle empty src-attribute in shiftadd Philippe Sauter 2024-01-31 13:06:35 +01:00
  • 3bc83c6533 Bump version github-actions[bot] 2024-01-31 00:15:44 +00:00
  • 8c731658c2 Merge branch 'YosysHQ:master' into master hakan-demirli 2024-01-31 01:03:59 +03:00
  • 039634d973 feat: mkdir with tree hakan-demirli 2024-01-31 01:03:01 +03:00
  • 4fa314c0bd Add API to overwrite existing pass from plugin Claire Xenia Wolf 2024-01-30 16:41:28 +01:00
  • db1de5fe5d verific: add option to skip simplifying complex ports Miodrag Milanovic 2024-01-30 16:33:44 +01:00
  • 3537976477 Merge pull request #4163 from QuantamHD/fix_write_verilog Martin Povišer 2024-01-30 10:58:42 +01:00
  • 7f8b6dd982 peepopt: delete unnecessary comment in shiftadd Philippe Sauter 2024-01-30 09:51:21 +01:00
  • b572e1af9f Merge pull request #4171 from yrabbit/sdp-wre Miodrag Milanović 2024-01-30 08:49:50 +01:00
  • 79c5a06673 gowin: Fix SDP write enable port. YRabbit 2024-01-30 17:06:59 +10:00
  • 3076875fff removing call to dump_attributes to remove possibility of generating invalid verilog Ethan Mahintorabi 2024-01-30 00:56:07 +00:00
  • fae35fe98b Docs: example_synth fifo update Krystine Sherwin 2024-01-30 13:34:29 +13:00
  • fd0c574942 Docs: changes/todos from JF Krystine Sherwin 2024-01-30 13:33:07 +13:00
  • 9878e69d6c Docs: tidying Krystine Sherwin 2024-01-30 13:31:00 +13:00
  • 112bcb0907 Bump version github-actions[bot] 2024-01-30 00:15:11 +00:00
  • 027cb31e9d Merge pull request #4161 from YosysHQ/nak/add_sig_extract_asserts N. Engelhardt 2024-01-29 16:11:01 +01:00
  • 2f4dd9961c Merge pull request #4162 from jix/sim-print-sampling Martin Povišer 2024-01-29 15:39:46 +01:00
  • a9fe85c2d0 Merge pull request #4141 from YosysHQ/small_build N. Engelhardt 2024-01-29 15:17:39 +01:00
  • fd838a99ce Merge pull request #4140 from jix/writer_aiger_sccs Jannis Harder 2024-01-29 15:14:54 +01:00
  • 2282351172 Merge pull request #4118 from povik/fix-conn-on-wire-delete N. Engelhardt 2024-01-29 15:08:48 +01:00
  • 23c9828d70 opt_clean: Remove dead branch Martin Povišer 2024-01-09 12:05:15 +01:00
  • 7afc0696e2 opt_clean: Assert an impossible path isn't taken Martin Povišer 2024-01-09 11:54:38 +01:00
  • ec065186d3 opt_clean: Add commentary around wire cleaning, NFC Martin Povišer 2024-01-09 11:52:41 +01:00
  • ea3dc7c1b4 rtlil: Add wire deletion test Martin Povišer 2024-01-22 14:42:45 +01:00
  • c035289383 rtlil: Do not create dummy wires when deleting wires in connections Martin Povišer 2024-01-09 17:25:31 +01:00