1
0
mirror of synced 2026-05-19 12:20:08 +00:00

Commit Graph

  • 2d7d6ca10b newcelltypes: unit test Emil J. Tywoniak 2025-11-25 20:08:26 +01:00
  • 7e9e88c2ec newcelltypes: bounds check Emil J. Tywoniak 2025-11-25 19:06:46 +01:00
  • 9e59f05c25 newcelltypes: wrap design celltypes support Emil J. Tywoniak 2025-11-25 18:41:26 +01:00
  • 35ccaa60d7 newcelltypes: TurboCellTypes -> StaticCellTypes Emil J. Tywoniak 2025-11-25 16:11:05 +01:00
  • 6adc08b0e5 opt_expr: use newcelltypes Emil J. Tywoniak 2025-11-25 15:15:16 +01:00
  • 3671d577a0 opt_clean: use newcelltypes Emil J. Tywoniak 2025-11-25 15:07:17 +01:00
  • a61455645d newcelltypes: init Emil J. Tywoniak 2025-11-25 15:06:36 +01:00
  • cf4d4ff23d CI: add support for merge queue Miodrag Milanovic 2026-03-04 11:35:16 +01:00
  • 05d1d56b9d Merge pull request #5704 from apullin/apullin/abc9-no-loops-fix Miodrag Milanović 2026-03-04 11:09:38 +01:00
  • d3e297fcd4 Merge pull request #5722 from YosysHQ/release/v0.63 Miodrag Milanović 2026-03-04 09:31:22 +01:00
  • 228052bfb3 Next dev cycle Miodrag Milanovic 2026-03-04 08:45:13 +01:00
  • 70a11c6bf0 Release version 0.63 v0.63 Miodrag Milanovic 2026-03-04 07:46:57 +01:00
  • b7d013e6bf Fix help message for equiv passes Miodrag Milanovic 2026-03-04 07:46:40 +01:00
  • 750d536bba abc: new option to pass ABC read_lib args Tianji Liu 2026-03-04 11:24:24 +08:00
  • 126492742b read_liberty: fix for msvc Emil J. Tywoniak 2026-03-03 17:34:58 +01:00
  • 04113eb95d Merge pull request #5714 from likeamahoney/auto-proc-vars Emil J 2026-03-03 17:31:37 +01:00
  • 9a8d8886e1 fixup! dfflibmap: refactor emil/dffsr-sr-correct-dfflibmap Emil J. Tywoniak 2026-03-03 17:24:34 +01:00
  • dc70d58b76 dfflibmap: refactor Emil J. Tywoniak 2026-03-03 14:26:08 +01:00
  • d4239cfc60 read_liberty: fix for msvc Emil J. Tywoniak 2026-03-03 10:34:02 +01:00
  • 5858ad2648 dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate Emil J. Tywoniak 2026-03-03 01:19:22 +01:00
  • 5b4603c54f dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate Emil J. Tywoniak 2026-03-03 01:19:22 +01:00
  • 22916aaab1 read_liberty: model clear_preset_variable correctly Emil J. Tywoniak 2026-03-02 22:39:21 +01:00
  • 024408004a dfflibmap: allow formal dffsr mapping tests with clk2fflogic Emil J. Tywoniak 2026-02-27 20:05:53 +01:00
  • 6f74c54c02 async2sync: $dffsr has undef output on S&R Emil J. Tywoniak 2026-01-29 11:53:24 +01:00
  • 857bc02710 liberty: warn if dffsr has clear&preset well defined Emil J. Tywoniak 2026-01-28 18:40:20 +01:00
  • 2dddc53ccf dfflibmap: test dffsr and dffsre from proc with equiv Emil J. Tywoniak 2026-01-28 18:26:26 +01:00
  • c13a623dbc dfflibmap: test dffsr with either priority liberty file Emil J. Tywoniak 2026-01-28 18:11:55 +01:00
  • ffb76a3486 dfflibmap: test dffsr mapping without assume Emil J. Tywoniak 2026-01-28 18:09:16 +01:00
  • a53104379d clk2fflogic: $dffsr has undef output on S&R Emil J. Tywoniak 2026-01-20 13:00:12 +01:00
  • 1d3f9b7905 Merge pull request #5687 from YosysHQ/nella/pdr-doc KrystalDelusion 2026-03-02 09:29:25 +13:00
  • e9442194f2 support automatic lifetime qualifier on procedural variables likeamahoney 2026-02-27 20:42:40 +03:00
  • d2d97433b6 opt_clean: refactor emil/parallel-opt-clean-comments Emil J. Tywoniak 2026-02-27 14:17:58 +01:00
  • 687a36af38 Merge pull request #5711 from YosysHQ/gowin_warning Miodrag Milanović 2026-02-27 14:04:27 +01:00
  • 7f1f247c56 gowin: remove spurious warning Miodrag Milanovic 2026-02-27 13:12:32 +01:00
  • 2dd71c3ba2 Merge pull request #5709 from YosysHQ/update_abc Miodrag Milanović 2026-02-27 08:32:34 +01:00
  • b3caec1a93 Update ABC as per 2026-02-27 Miodrag Milanovic 2026-02-27 07:55:34 +01:00
  • 5970be33fb abc9: preserve topological-loop asserts with targeted SCC fallback Andrew Pullin 2026-02-24 09:55:11 -08:00
  • 818aad7542 opt_clean: resolve TODOs Emil J. Tywoniak 2026-02-26 01:41:22 +01:00
  • 23757409ee modtools: fix unit test emil/modindex-unordered-map Emil J. Tywoniak 2026-02-25 18:53:20 +01:00
  • b126c95ef1 modtools: replace std::map with std::unordered_map for ModIndex::database, hide internals Emil J. Tywoniak 2026-02-25 18:26:34 +01:00
  • 2c52546e2a Fix docs. nella 2026-02-25 16:42:05 +01:00
  • 5f8489d36d Merge pull request #5666 from YosysHQ/emil/equiv_induct-missing-model-errors Emil J 2026-02-25 15:39:31 +01:00
  • c17bbeb291 opt_clean: refactor Emil J. Tywoniak 2026-02-25 13:55:06 +01:00
  • 71af584530 opt_clean: refactor Emil J. Tywoniak 2026-02-25 13:41:33 +01:00
  • 89fdc05784 opt_clean: refactor Emil J. Tywoniak 2026-02-25 13:38:44 +01:00
  • fd1ac58767 Merge pull request #5706 from YosysHQ/remove-flake-lock Miodrag Milanović 2026-02-25 11:15:33 +01:00
  • 31f7d0d92d Remove already disabled CI job Miodrag Milanovic 2026-02-25 10:36:46 +01:00
  • ba8a0f5adf Fix docs/Makefile filename renames gus/rename-symbiyosys-to-sby Gus Smith 2026-02-24 09:21:48 -08:00
  • 8129586236 Rename SymbiYosys to SBY Gus Smith 2026-02-24 09:04:05 -08:00
  • ff67ef6377 opt_clean: refactor Emil J. Tywoniak 2026-02-24 15:41:47 +01:00
  • e4c7a8fdab .github: add gmock to build environment Emil J. Tywoniak 2026-02-24 13:30:57 +01:00
  • ba3d62f8f1 opt_clean: fix out of tree build Emil J. Tywoniak 2026-02-24 13:09:03 +01:00
  • d33acfe65f opt_clean: refactor Emil J. Tywoniak 2026-02-24 13:03:16 +01:00
  • 5d3b3ff18d opt_clean: refactor Emil J. Tywoniak 2026-02-24 12:54:03 +01:00
  • 930bd3acc5 opt_clean: refactor Emil J. Tywoniak 2026-02-24 12:28:41 +01:00
  • 60681ff126 opt_clean: refactor Emil J. Tywoniak 2026-02-24 12:11:01 +01:00
  • e13f989234 opt_clean: refactor Emil J. Tywoniak 2026-02-24 11:33:06 +01:00
  • 90bd16f600 opt_clean: refactor Emil J. Tywoniak 2026-02-24 01:07:43 +01:00
  • 723258de2d opt_clean: refactor Emil J. Tywoniak 2026-02-24 00:54:59 +01:00
  • ef536c4b1d opt_clean: refactor Emil J. Tywoniak 2026-02-24 00:54:15 +01:00
  • 17d667eab0 opt_clean: refactor Emil J. Tywoniak 2026-02-24 00:30:08 +01:00
  • 8dc9c48d4a opt_clean: refactor Emil J. Tywoniak 2026-02-24 00:20:09 +01:00
  • 97166d5aad opt_clean: refactor Emil J. Tywoniak 2026-02-24 00:09:29 +01:00
  • 187e91ad65 opt_clean: refactor Emil J. Tywoniak 2026-02-24 00:00:57 +01:00
  • 17688f053b opt_clean: refactor Emil J. Tywoniak 2026-02-23 20:08:58 +01:00
  • 090a0fd575 opt_clean: refactor Emil J. Tywoniak 2026-02-23 19:43:46 +01:00
  • 7d7978a929 opt_clean: more comments Emil J. Tywoniak 2026-02-23 19:15:59 +01:00
  • 9710be2f84 opt_clean: more comments Emil J. Tywoniak 2026-02-17 11:22:27 +01:00
  • a5f554f00a opt_clean: add extra comments Emil J. Tywoniak 2026-02-16 10:57:45 +01:00
  • 88b348f9ff docs: Add information on CI docs-preview-ci Krystine Sherwin 2026-02-24 12:56:56 +13:00
  • 366f98ae25 ADd clarification Gus Smith 2026-02-23 11:51:54 -08:00
  • c0f1654028 Expand test into three tests for three cases Gus Smith 2026-02-23 10:27:36 -08:00
  • 90638650d3 Fix typo. nella/fast-celltypes nella 2026-02-23 14:44:29 +01:00
  • f7243ce122 Fix stdcells mem. nella 2026-02-23 14:29:16 +01:00
  • 3611fca18b Fix pop order. nella 2026-02-23 13:46:34 +01:00
  • 4b657938dc Cell evaluable fix. nella 2026-02-23 13:15:14 +01:00
  • 80cfa5141b Add support for out of dir builds. nella 2026-02-23 10:39:52 +01:00
  • 4df3267610 Adjusted compilation order. nella 2026-02-23 10:13:05 +01:00
  • 53d8eb43ff Merge pull request #5702 from YosysHQ/verific_build_all Miodrag Milanović 2026-02-23 09:41:59 +01:00
  • b51110a50b Build various Verific configurations Miodrag Milanovic 2026-02-23 09:01:55 +01:00
  • fd311c5501 tests/arch/gowin: Add wr_en test Krystine Sherwin 2026-02-20 12:42:55 +13:00
  • 2386923b8f gowin: Fix bram ADA byte enables Krystine Sherwin 2026-02-20 12:34:41 +13:00
  • 97e1a3b7c7 Add celltype unit tests. nella 2026-02-21 12:23:15 +01:00
  • b454582f54 Detect undriven and error/warn Gus Smith 2026-02-20 11:00:59 -08:00
  • cdc728b6f0 Suggest use of YW when possible Gus Smith 2026-02-20 09:33:51 -08:00
  • fb653c4181 Merge pull request #5700 from YosysHQ/wasi_speedup Miodrag Milanović 2026-02-20 18:00:24 +01:00
  • 68e47ebcfe CI: WASI - Applying YoWASP changes to script Miodrag Milanovic 2026-02-20 15:23:45 +01:00
  • cbe847e8f5 Increase max gen. nella 2026-02-20 13:51:25 +01:00
  • 0ed7c5ad53 Merge pull request #5620 from YosysHQ/lofty/abc9-verify Miodrag Milanović 2026-02-20 13:41:11 +01:00
  • bc275e623a Add missing categories. nella 2026-02-20 13:17:22 +01:00
  • a4d998d6cd Implemented celltype lookups. nella 2026-02-20 12:44:30 +01:00
  • 094481739f memory_libmap: Add -force-params Krystine Sherwin 2025-10-18 12:58:25 +13:00
  • 13795203a1 Merge pull request #5680 from YosysHQ/emi/aiger-add-bounds-checks Emil J 2026-02-20 11:53:49 +01:00
  • 74f7b0cf92 Merge pull request #5685 from chathhorn-galois/chathhorn/issue5684 Emil J 2026-02-20 11:53:05 +01:00
  • 48a475e015 Merge pull request #5456 from YosysHQ/emil/proc_mux-better-src emil/src-locations-story Emil J 2026-02-20 11:24:05 +01:00
  • 53509a9b2a Merge pull request #5692 from YosysHQ/emil/modtools-fix-db-port-deletion Emil J 2026-02-20 10:49:28 +01:00
  • 679156d323 Merge pull request #5686 from YosysHQ/version_bump Miodrag Milanović 2026-02-19 09:52:22 +01:00
  • abc7563a35 modtools: add ModIndex unit test Emil J. Tywoniak 2026-02-18 22:15:44 +01:00
  • b1a997aa9a modtools, wreduce: check_db sanity check emil/wreduce-db-mystery Emil J. Tywoniak 2026-02-17 19:52:30 +01:00
  • c75d80905a modtools: fix database sanity on wire name swap Emil J. Tywoniak 2026-02-18 21:20:13 +01:00