1
0
mirror of synced 2026-05-23 05:42:45 +00:00

Commit Graph

  • cee06cecd0 abstract: factor out emit_mux_anyseq Emil J. Tywoniak 2025-02-10 14:59:50 +01:00
  • 9895370b32 abstract: rework -init without bufnorm, with logging Emil J. Tywoniak 2025-02-10 14:56:52 +01:00
  • 1646991092 abstract: refactor -value Emil J. Tywoniak 2025-02-10 13:10:53 +01:00
  • e9bba13a0d abstract: no more bufnorm, -value has bit selection consistent with -state, -init temporarily gutted Emil J. Tywoniak 2025-02-10 13:06:40 +01:00
  • 3f1ee3e0ae abstract: -state refactor sigbit rep pool collection Emil J. Tywoniak 2025-02-10 12:01:26 +01:00
  • 387d0de383 abstract: -state allow partial abstraction, don't use buffer-normalized mode Emil J. Tywoniak 2025-02-07 13:38:50 +01:00
  • 6027030215 abstract: -value MVP, use buffer-normalized mode Emil J. Tywoniak 2025-02-07 10:46:50 +01:00
  • 4637fa74e3 abstract: -init MVP Emil J. Tywoniak 2025-02-03 22:25:09 +01:00
  • e4ca7b8846 abstract: -state MVP Emil J. Tywoniak 2025-01-30 17:26:23 +01:00
  • dc03e174af fixup! Makefile: Warn if submodule status '+'-prefixed Krystine Sherwin 2025-02-18 11:46:11 +13:00
  • 03d9138744 Makefile: 'U'-prefixed submodule status Krystine Sherwin 2025-02-18 11:33:06 +13:00
  • b8777d7893 Makefile: Warn if submodule status '+'-prefixed Krystine Sherwin 2025-02-18 11:25:04 +13:00
  • 2b33937ab8 liberty: fix clear and preset latches Emil J. Tywoniak 2025-02-17 17:36:51 +01:00
  • 8083d9b9da Fix share copy Akash Levy 2025-02-14 16:43:58 -08:00
  • 38f858374c Bump version github-actions[bot] 2025-02-15 00:20:50 +00:00
  • 508e7327e4 Merge pull request #4899 from YosysHQ/shr_int_max KrystalDelusion 2025-02-15 09:52:33 +13:00
  • 8968986b54 share: add -pattern-limit to set analysis effort on branch-unbranch mux regions Emil J. Tywoniak 2025-02-14 18:57:36 +01:00
  • 3bca4c10d8 Fix macOS boost-python issues Akash Levy 2025-02-14 11:43:00 -08:00
  • 3676429634 aldffs do not get split by splitcells Akash Levy 2025-02-14 10:53:51 -08:00
  • cf65cb2cf1 Copy abc stuff for pyosys Akash Levy 2025-02-14 10:41:16 -08:00
  • c87bf56efb CMake: more generated files micko/cmake Miodrag Milanovic 2025-02-14 11:12:33 +01:00
  • 4c728968a3 Fix runtime error on shr INT_MAX Krystine Sherwin 2025-02-14 13:29:24 +13:00
  • db5b76edc1 Add test for shifting by INT_MAX Krystine Sherwin 2025-02-14 13:28:24 +13:00
  • a8052f653a write_xaiger: Detect and error on combinatorial loops Anhijkt 2025-02-14 01:21:39 +02:00
  • d7f710abe0 CMake: added python3 shared files Miodrag Milanovic 2025-02-13 16:21:17 +01:00
  • 7a31fcac3b CMake: Installable share files Miodrag Milanovic 2025-02-13 16:06:51 +01:00
  • 3900eadde0 CMake: handle some conditional compiling Miodrag Milanovic 2025-02-13 12:53:26 +01:00
  • 691fbf736a CMake: enable building plugins Miodrag Milanovic 2025-02-13 12:08:43 +01:00
  • 78dcb210be CMake: filterlib Miodrag Milanovic 2025-02-13 11:39:16 +01:00
  • 9a13e66b73 CMake: build ABC Miodrag Milanovic 2025-02-13 11:23:06 +01:00
  • 979be75a8c CMake: add ability to override c++ standard Miodrag Milanovic 2025-02-13 10:31:01 +01:00
  • 04740034d1 CMake: Add some basic configuration options Miodrag Milanovic 2025-02-13 09:54:54 +01:00
  • a7620a3538 CMake: disabled verific Miodrag Milanovic 2025-02-13 08:59:29 +01:00
  • 698162d868 CMake: Add some more libraries Miodrag Milanovic 2025-02-13 08:57:01 +01:00
  • 3a4d609060 CMake: add pmgen Miodrag Milanovic 2025-02-12 17:53:12 +01:00
  • 43b5e109f3 formalff: Document -declockgate option jix/prerelease-2025-02-12 Jannis Harder 2025-02-12 17:45:02 +01:00
  • 904b4194cc formalff: Add -declockgate option Jannis Harder 2024-11-26 17:20:34 +01:00
  • 2fa7076edc abstract: Add help message Jannis Harder 2025-02-12 17:17:06 +01:00
  • 6d6556aef0 abstract: Improve debug logging Jannis Harder 2025-02-12 16:27:59 +01:00
  • 490e8dfb28 abstract: Support slicing of individual wires Jannis Harder 2025-02-12 15:50:34 +01:00
  • e594e90293 CMake: Add most of passes Miodrag Milanovic 2025-02-12 16:10:36 +01:00
  • 3c5ff23e1e abstract: Allow unconditional value and state abstractions Jannis Harder 2025-02-12 15:45:47 +01:00
  • 7f55244340 abstract: Wire vs port offset confusion bugfix Jannis Harder 2025-02-12 15:38:46 +01:00
  • f1ee9b7928 rtlil: Add {from,to}_hdl_index methods to Wire Jannis Harder 2025-02-12 15:34:51 +01:00
  • 6144b5c598 CMake: disable CI for now Miodrag Milanovic 2025-02-12 14:55:51 +01:00
  • a50d630336 CMake: added passes Miodrag Milanovic 2025-02-12 14:48:41 +01:00
  • 171949065f CMake: add backends Miodrag Milanovic 2025-02-12 14:36:04 +01:00
  • f51a2d793a CMake: initial work Miodrag Milanovic 2025-02-12 14:18:02 +01:00
  • df3c62a4ed Merge pull request #4892 from YosysHQ/emil/fix-memory-libmap-dangling-cells Emil J 2025-02-12 10:21:01 +01:00
  • 01d2bfcf00 share: fix infinite loop in find_terminal_bits on $mux loop Emil J. Tywoniak 2025-02-12 10:16:44 +01:00
  • 359901a964 Bump version github-actions[bot] 2025-02-12 00:21:01 +00:00
  • 55b60dca95 memory_libmap: update indices on design modification Emil J. Tywoniak 2025-02-11 13:32:34 +01:00
  • 6f9c515a22 Next dev cycle Miodrag Milanovic 2025-02-11 08:40:50 +01:00
  • b5170e1394 Release version 0.50 v0.50 Miodrag Milanovic 2025-02-11 07:55:17 +01:00
  • ce5ad2a554 Bump version github-actions[bot] 2025-02-11 00:20:46 +00:00
  • 78f27e174f Merge pull request #4887 from JasonBrave/remove-makefile-clean-docs-images-target KrystalDelusion 2025-02-11 10:31:59 +13:00
  • a9778e5b5a abstract: better present changes done Emil J. Tywoniak 2025-02-10 16:36:41 +01:00
  • b3075431dc abstract: improve -init logging Emil J. Tywoniak 2025-02-10 16:33:20 +01:00
  • 690612475d abstract: fix -init log_debug bit count, remove unnecessary log_debug Emil J. Tywoniak 2025-02-10 16:27:40 +01:00
  • 8a842e49c8 abstract: improve debug logs for -state and -value Emil J. Tywoniak 2025-02-10 16:24:42 +01:00
  • fe4642887a abstract: factor out emit_mux_anyseq Emil J. Tywoniak 2025-02-10 14:59:50 +01:00
  • 27928f74ac abstract: rework -init without bufnorm, with logging Emil J. Tywoniak 2025-02-10 14:56:52 +01:00
  • 78c5be1990 abstract: refactor -value Emil J. Tywoniak 2025-02-10 13:10:53 +01:00
  • 6ffc12389f abstract: no more bufnorm, -value has bit selection consistent with -state, -init temporarily gutted Emil J. Tywoniak 2025-02-10 13:06:40 +01:00
  • 355f5e3740 abstract: -state refactor sigbit rep pool collection Emil J. Tywoniak 2025-02-10 12:01:26 +01:00
  • 333588265c Remove obsolete Makefile docs/images clean call Jason Xu 2025-02-09 10:22:35 -05:00
  • fc88ea360e Merge pull request #4876 from gadfort/segfault-lexer Martin Povišer 2025-02-07 20:24:08 +01:00
  • bfb20147b7 fixup! abstract: -state allow partial abstraction, don't use buffer-normalized mode Emil J. Tywoniak 2025-02-07 13:49:42 +01:00
  • 9af21e6ee0 abstract: -state allow partial abstraction, don't use buffer-normalized mode Emil J. Tywoniak 2025-02-07 13:38:50 +01:00
  • eb8982a937 abstract: -value MVP, use buffer-normalized mode Emil J. Tywoniak 2025-02-07 10:46:50 +01:00
  • 819c3260ec docs/rosette: Backend section body Krystine Sherwin 2025-02-07 15:33:40 +13:00
  • b02d2c633e docs/rosette: Module section body Krystine Sherwin 2025-02-07 15:08:49 +13:00
  • 34c424be68 docs/rosette: Minor updates Krystine Sherwin 2025-02-07 15:08:24 +13:00
  • dc5a5b7bd1 docs/rosette: Regen rosette.diff Krystine Sherwin 2025-02-07 14:13:34 +13:00
  • fa2d45a922 smtr: Refactor write back into _eval and _initial Krystine Sherwin 2025-02-07 13:58:09 +13:00
  • 772b9c0cfd Merge pull request #4691 from hovind/experiments/extract-fa-fix Martin Povišer 2025-02-06 21:12:32 +01:00
  • ed5d9c8687 Bump version github-actions[bot] 2025-02-05 00:21:01 +00:00
  • f2d96cf616 Merge pull request #4000 from adrianparvino/alumacc-cmp-contravariance Martin Povišer 2025-02-04 17:06:39 +01:00
  • b5752dfe16 alumacc: Fix missing signedness check Martin Povišer 2025-02-04 13:05:53 +01:00
  • 23b3638c1e alumacc: alternative cmp unification implementation Adrian Parvin Ouano 2023-10-11 06:59:04 +08:00
  • 77af7962af Bump version github-actions[bot] 2025-02-04 00:20:30 +00:00
  • d73c58fad1 docs/rosette: Sort, Struct, and PrintVisitor sections Krystine Sherwin 2025-02-04 12:24:34 +13:00
  • 497a6e0c59 abstract: -init MVP Emil J. Tywoniak 2025-02-03 22:25:09 +01:00
  • 7ce938a071 fixup! abstract: -state MVP Emil J. Tywoniak 2025-02-03 18:35:46 +01:00
  • 6e99dbd351 fixup! abstract: -state MVP Emil J. Tywoniak 2025-02-03 18:31:33 +01:00
  • f0aaa5d419 Merge pull request #4845 from YosysHQ/catherine/ci-ubsan Martin Povišer 2025-02-03 16:40:29 +01:00
  • 212d2a6d6e lib/fst: Remove unaligned pointer access Martin Povišer 2025-02-03 11:13:07 +01:00
  • f5c53a99e7 CI: Sanitize for undefined behavior. Catherine 2025-01-14 06:11:52 +00:00
  • 92afe26d6b Merge pull request #4879 from YosysHQ/krys/ub_fixes Martin Povišer 2025-02-03 09:56:48 +01:00
  • 303a386ecc create duplicate IOFFs if multiple output ports are connected to the same register N. Engelhardt 2025-01-31 11:28:57 +01:00
  • 0ec5f1b756 pmgen: Move passes out of pmgen folder Krystine Sherwin 2025-01-31 15:06:09 +13:00
  • 18a7c00382 Bump version github-actions[bot] 2025-01-31 00:20:35 +00:00
  • 7050b3c992 Makefile: Add run-test.mk to clean KrystalDelusion 2025-01-31 12:30:25 +13:00
  • cf52cf3009 nowrshmsk: Check for stride==0 KrystalDelusion 2025-01-31 12:15:53 +13:00
  • 31b00b4c72 celledges: Use b_width_capped for left shifts KrystalDelusion 2025-01-31 11:03:33 +13:00
  • ed076bc168 extract_fa: Invert xor3/xnor3 output when inverting majority3 input Øystein Hovind 2024-10-30 17:30:56 +01:00
  • 40c690b030 extract_fa: Add test case Jannis Harder 2024-10-30 17:30:44 +01:00
  • 083759676a fixup! abstract: -state MVP Emil J. Tywoniak 2025-01-30 17:52:55 +01:00
  • 17b8b7352c abstract: -state MVP Emil J. Tywoniak 2025-01-30 17:26:23 +01:00
  • f445479374 Merge pull request #4878 from YosysHQ/emil/fix-wreduce-warning-in-pool Emil J 2025-01-30 15:53:46 +01:00