mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-03-29 19:25:50 +00:00
Code Activity

Commit graph

  • 50c7159e22
         Merge 57758c74b1 into ab5bf1c10b dependabot[bot] 2026-03-27 21:03:12 +01:00
  • 439317fcaf
         Merge 1a7819979f into ab5bf1c10b Miodrag Milanović 2026-03-27 11:42:57 +00:00
  • e894365936
         Merge 2898c75fb0 into ab5bf1c10b Gus Smith 2026-03-26 14:53:21 +01:00
  • d838d937ec
         Merge 8e37ec13bf into ab5bf1c10b Anzzy 2026-03-25 00:10:37 +05:30
  • c0bdfe79e8
         Merge a6a42216f5 into ab5bf1c10b Pratik Deshmukh 2026-03-24 17:40:37 +05:30
  • ab5bf1c10b
         Merge pull request #359 from YosysHQ/aigmap main Miodrag Milanović 2026-03-24 12:57:09 +01:00
  • 6d855c1090 use aigmap instead of abc for AIG mapping Lofty 2026-03-23 11:40:18 +01:00
  • 8e37ec13bf fix: make SBY config parsing error messages less ambiguous anzzyspeaksgit 2026-03-23 02:02:53 +00:00
  • 268502844e
         Merge pull request #357 from YosysHQ/upgrade_ci Miodrag Milanović 2026-03-19 17:50:33 +01:00
  • 3aadbc4f95 Upgrade CI actions Miodrag Milanovic 2026-03-19 11:17:23 +01:00
  • a6a42216f5 itp engine: use task.opt_depth and task.opt_skip directly inquisitour 2026-03-15 23:44:26 +00:00
  • 01a716bf2e itp engine: address review feedback - use constants inquisitour 2026-03-14 20:33:17 +00:00
  • 7225ad24f1 itp engine: address review feedback - simplify arg parsing, fix status logic, use exe_paths inquisitour 2026-03-14 18:07:04 +00:00
  • 39670d6611 Add ITP engine: interpolation-based model checking via itp-bmc inquisitour 2026-02-28 07:11:08 +00:00
  • 2898c75fb0 Fix install.rst and docs/Makefile renames gus/rename-symbiyosys-to-sby Gus Smith 2026-02-24 09:14:04 -08:00
  • b4e66e3a33 Rename SymbiYosys to SBY Gus Smith 2026-02-24 09:03:49 -08:00
  • cad536b27e
         Merge 8b73075e28 into 4dabe8ab32 N. Engelhardt 2026-02-24 01:39:33 -08:00
  • 4dabe8ab32
         Merge pull request #351 from Goubermouche/main v0.63 KrystalDelusion 2026-02-24 09:28:45 +13:00
  • 62536e7bee
         Merge pull request #349 from YosysHQ/gus/update-sim-and-verif-test Gus Smith 2026-02-18 08:38:27 -08:00
  • 551d8df2a9 Remove comments and point to appnote gus/update-sim-and-verif-test Gus Smith 2026-02-18 08:20:51 -08:00
  • a6746d0b58 Cleanup docs. nella 2026-02-18 09:35:17 +01:00
  • b153c8e080 document abc --keep-going pdr [sc-220] nella 2026-02-11 11:33:10 +01:00
  • 16171682e4
         Merge pull request #345 from YosysHQ/krys/docs_tidy v0.62 N. Engelhardt 2026-01-26 17:04:50 +01:00
  • e89f71b3cb phase->stage Gus Smith 2026-01-21 08:30:03 -08:00
  • b66bbe4503 Use tags Gus Smith 2026-01-21 08:22:19 -08:00
  • 501a054731 Change stage 3 assertion Gus Smith 2026-01-21 08:20:24 -08:00
  • 5e6e984a67 Fix bitwidths Gus Smith 2026-01-21 08:20:00 -08:00
  • fcba8d3780 Change select to match other select Gus Smith 2026-01-13 09:53:16 -08:00
  • b23e01c2a1 Fix comment Gus Smith 2026-01-13 09:53:09 -08:00
  • 022323bd71 Revive an independent prep stage Gus Smith 2026-01-13 09:40:14 -08:00
  • 9389f3a7d6 Update script Gus Smith 2026-01-13 08:18:54 -08:00
  • d82ef4daf9 Update sby file for new stages Gus Smith 2026-01-13 08:17:17 -08:00
  • d6252f7ee5 Change comments and labels Gus Smith 2026-01-13 08:17:00 -08:00
  • 81a0af362a Widen signal Gus Smith 2026-01-13 08:12:22 -08:00
  • 878395af2e
         Merge pull request #347 from YosysHQ/gus/staged-sim-and-verif-test v0.61 Gus Smith 2026-01-06 16:56:28 -08:00
  • 0b88cdac90 Remove req assertion; make assertion richer Gus Smith 2025-12-29 12:14:09 -08:00
  • a41fdb6784 Fix: rename path Gus Smith 2025-12-29 11:37:48 -08:00
  • 4decc31933 Split cover stage into two final stages Gus Smith 2025-12-29 09:38:07 -08:00
  • 6c8a26eb86 Update script Gus Smith 2025-12-29 09:34:18 -08:00
  • 531e328c3d Update sby file Gus Smith 2025-12-29 09:34:04 -08:00
  • 5abce0c9ee Update readme Gus Smith 2025-12-29 09:32:33 -08:00
  • 4a4d75df6a We still need to run the actual prep pass Gus Smith 2025-12-29 09:07:24 -08:00
  • 889bfab8c9 Explicitly skip prep Gus Smith 2025-12-29 09:07:11 -08:00
  • 01f5c10cd7 Adds notes to readme Gus Smith 2025-12-29 08:32:49 -08:00
  • e904e88fc9 Use labels to be more like SCY Gus Smith 2025-12-15 17:36:36 -08:00
  • 7c66b2d132 Remove redundant cd Gus Smith 2025-12-15 13:24:13 -08:00
  • 07669fde92 Revert "Rework file based on new understanding of make" Gus Smith 2025-12-15 13:20:32 -08:00
  • 36fcd8fbc8 Revert "Get rid of unnecessary file" Gus Smith 2025-12-15 13:20:28 -08:00
  • f9bee0464b Get rid of unnecessary file Gus Smith 2025-12-15 13:04:25 -08:00
  • 2b38c31936 Rework file based on new understanding of make Gus Smith 2025-12-15 13:00:58 -08:00
  • 8274979147 Update readme Gus Smith 2025-12-15 12:47:36 -08:00
  • 9779436d0b Simplify script by relying on sby's prep routine Gus Smith 2025-12-15 12:41:47 -08:00
  • 1ee552a502 Syntax Gus Smith 2025-12-15 12:41:38 -08:00
  • 358ccf3ab6 Reindent Gus Smith 2025-12-15 12:30:06 -08:00
  • a0ab7de28c Fix readme Gus Smith 2025-12-15 12:27:24 -08:00
  • 4be8853a32 Add readme Gus Smith 2025-12-09 11:20:27 -08:00
  • ad93d4fc4f Add initial test impl Gus Smith 2025-12-09 11:17:33 -08:00
  • 2c75668dde
         Update sbysrc/sby_engine_btor.py Yuheng Su 2025-12-09 09:42:41 +08:00
  • c3f6986aad
         Update docs/source/reference.rst Yuheng Su 2025-12-09 09:42:23 +08:00
  • 3b83808573
         Update docs/source/reference.rst Yuheng Su 2025-12-09 09:41:47 +08:00
  • 5f78dd5b11 Update rIC3 return codes to include UNKNOWN status Yuheng Su 2025-12-09 09:41:17 +08:00
  • 5b2058c628
         Update sbysrc/sby_engine_btor.py Yuheng Su 2025-12-09 09:34:19 +08:00
  • f1fdb26ffa Add support for BTOR rIC3 engine in documentation Yuheng Su 2025-12-07 14:41:56 +08:00
  • c317ed4413 Enhance BTOR engine options with nomem and syn flags for improved model handling Yuheng Su 2025-12-02 17:01:29 +08:00
  • 1f9ffb73c9 Support rIC3 engine for btor Yuheng Su 2025-12-07 14:19:23 +08:00
  • 3e906f8317 Fix rIC3 BMC command Yuheng Su 2025-11-27 10:09:53 +08:00
  • 7233fe6e87
         docs: Re-enable yoscrypt lexer krys/docs_tidy Krystine Sherwin 2025-11-25 13:15:41 +13:00
  • cc84339b37
         Merge pull request #344 from YosysHQ/gussmith23-patch-1 v0.60 KrystalDelusion 2025-11-25 12:52:23 +13:00
  • af160ada0f
         Fix typo on anyconst attribute in verilog.rst Gus Smith 2025-11-24 14:45:32 -08:00
  • 87825b8b50
         Merge pull request #343 from YosysHQ/krys/error-on-warning N. Engelhardt 2025-11-24 17:16:05 +01:00
  • e29cc2f8e6
         Docs: Drop unsupported syntax highlighting krys/error-on-warning Krystine Sherwin 2025-11-20 09:08:33 +13:00
  • 87612b69f9
         RTDs: Fail on warning Krystine Sherwin 2025-11-20 09:07:21 +13:00
  • 0b9e83deda
         Merge pull request #342 from YosysHQ/fix_docs_table N. Engelhardt 2025-11-19 10:43:59 +01:00
  • 1a44b87d9a fix whitespace in docs options table fix_docs_table N. Engelhardt 2025-11-19 09:22:00 +01:00
  • 11fd202f4c
         Merge pull request #341 from jix/cycle_width_option v0.59 Jannis Harder 2025-10-20 18:52:09 +02:00
  • 6d0a1ed960 Add cycle_width option for sim's new -width option Jannis Harder 2025-10-20 14:57:38 +02:00
  • dbbc25a139
         Merge pull request #340 from YosysHQ/krys/fix_338 v0.58 N. Engelhardt 2025-10-02 17:07:39 +02:00
  • d8e276983e
         no_props.sby: Add btor_cover placeholder krys/fix_338 Krystine Sherwin 2025-09-30 11:22:13 +13:00
  • db782815f2
         More tests without properties Krystine Sherwin 2025-09-30 10:31:40 +13:00
  • c06d8682cd
         Fix abc crash when aiger_props is empty Krystine Sherwin 2025-09-30 10:26:36 +13:00
  • 57758c74b1
         Bump tracing-subscriber from 0.3.19 to 0.3.20 in /tools/aigcexmin dependabot/cargo/tools/aigcexmin/tracing-subscriber-0.3.20 dependabot[bot] 2025-08-29 20:58:12 +00:00
  • 12380801e3
         Merge pull request #335 from YosysHQ/krys/fix_status_trace v0.57 v0.56 KrystalDelusion 2025-08-05 15:32:03 +12:00
  • 5fc7b93627
         Merge branch 'main' into krys/fix_status_trace KrystalDelusion 2025-08-05 12:55:12 +12:00
  • b4348974c1
         Merge pull request #336 from YosysHQ/krys/dir_basenames KrystalDelusion 2025-08-05 09:51:39 +12:00
  • 5fffe7eda6
         Fix heredoc in sub dir Krystine Sherwin 2025-08-02 10:40:52 +12:00
  • 1d28294391
         More directory tests Krystine Sherwin 2025-08-02 10:38:35 +12:00
  • a215e3260a
         tests/links/symlink: Check file count Krystine Sherwin 2025-08-02 10:07:06 +12:00
  • ac419190d2
         Use more pathlib.Path Krystine Sherwin 2025-08-02 10:06:30 +12:00
  • b06781e19e
         Fix directory mismatch Krystine Sherwin 2025-08-02 09:17:55 +12:00
  • a906714c95
         Add test for copying directories Krystine Sherwin 2025-08-02 09:17:21 +12:00
  • 32f6ac2a5a
         Merge pull request #334 from YosysHQ/krys/jsonlines KrystalDelusion 2025-08-01 10:45:50 +12:00
  • d4864994ca
         statusfmt: Skip null fields in jsonl output Krystine Sherwin 2025-08-01 10:34:08 +12:00
  • 190ef86916 statusfmt: Skip missing fields in jsonl output Jannis Harder 2025-07-29 17:30:10 +02:00
  • 344236af41 statusfmt: Make JSONL self-contained and escape CSV values Jannis Harder 2025-07-29 17:10:57 +02:00
  • 5992167909
         Fix comparing int with None Krystine Sherwin 2025-07-29 10:33:59 +12:00
  • 9cb368b9c8
         Re-order status evaluation Krystine Sherwin 2025-07-29 10:26:51 +12:00
  • 990d8db9a2
         Prefer traces even without depth Krystine Sherwin 2025-07-29 10:12:15 +12:00
  • f05979a528
         Fix for statusfmt not going into status block Krystine Sherwin 2025-07-29 10:04:40 +12:00
  • 3bf5be0637
         Add jsonl status format Krystine Sherwin 2025-07-29 10:00:52 +12:00
  • 0d06b377db
         Use tabs in csv output krys/tsv Krystine Sherwin 2025-07-22 11:58:52 +12:00