mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-11-30 10:47:13 +00:00
Code Activity

Commit graph

  • 283fad6f35
         Merge 1a7819979f into cc84339b37 Miodrag Milanović 2025-11-25 20:05:54 +01:00
  • 2272d5059c
         Merge 8b73075e28 into cc84339b37 N. Engelhardt 2025-11-25 20:05:54 +01:00
  • eaf55cfe2f
         Merge 57758c74b1 into cc84339b37 dependabot[bot] 2025-11-25 20:05:54 +01:00
  • 7823d39ed0
         Merge 7233fe6e87 into cc84339b37 KrystalDelusion 2025-11-25 00:35:09 +00: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 main 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
  • ac120cee92
         Merge pull request #327 from YosysHQ/krys/intertask KrystalDelusion 2025-07-09 10:48:21 +12:00
  • 1518168aa0
         Remove debug print Krystine Sherwin 2025-07-09 10:47:55 +12:00
  • 7c5c96f5ca
         Don't use -f for intertask tests... Krystine Sherwin 2025-07-09 10:40:49 +12:00
  • a6496d646f
         Cancel shouldn't use timeout logic Krystine Sherwin 2025-07-09 10:28:50 +12:00
  • de51db08ab
         Fix typo Krystine Sherwin 2025-07-09 10:06:56 +12:00
  • cb81a97808
         Add --taskstatus Krystine Sherwin 2025-07-09 10:06:56 +12:00
  • 9589ce203a
         Document cancelledby section Krystine Sherwin 2025-07-09 10:05:36 +12:00
  • 63b43c7e66
         tests: Add long running cancellation Krystine Sherwin 2025-07-09 10:04:58 +12:00
  • 1f3b418018
         Fix autotune Krystine Sherwin 2025-07-09 10:04:58 +12:00
  • 360f1b03a3
         tests/intertask: Use bash script Krystine Sherwin 2025-07-09 10:04:37 +12:00
  • 67212a20e5
         Add --statuscancels option Krystine Sherwin 2025-07-09 10:04:37 +12:00
  • 5fc8df43f8
         Intertask cancellation via database Krystine Sherwin 2025-07-09 10:03:54 +12:00
  • e7c756a43f
         Add cancelledby config section Krystine Sherwin 2025-07-09 10:03:54 +12:00
  • a153349ac8
         Initial intertask cancellation Krystine Sherwin 2025-07-09 10:03:54 +12:00
  • 2ee136fab3
         Merge pull request #329 from YosysHQ/krys/symlink KrystalDelusion 2025-07-09 10:01:46 +12:00
  • 1130847901
         Merge branch 'main' into krys/symlink KrystalDelusion 2025-07-09 10:01:30 +12:00
  • 7cc442fb21
         Merge pull request #326 from YosysHQ/krys/db_versions KrystalDelusion 2025-07-09 09:59:56 +12:00
  • a251ec0524
         Handle unreliable lock files Krystine Sherwin 2025-07-09 09:59:23 +12:00
  • baf118c838
         Try to remove database on -f Krystine Sherwin 2025-07-09 09:59:22 +12:00
  • dd008ec7f7
         Merge pull request #325 from YosysHQ/krys/csv_statuses N. Engelhardt 2025-07-08 20:49:32 +02:00
  • af511945a3
         btor: Add unknown props Krystine Sherwin 2025-07-08 17:26:55 +12:00
  • 73c5e5cae6
         timeout.sby: Add non-timeout equivalents Krystine Sherwin 2025-07-08 17:10:01 +12:00
  • 83723696c7
         Update failing test Krystine Sherwin 2025-07-08 16:04:45 +12:00
  • aa2d3ed025
         Add and use --latest flag for statuses Krystine Sherwin 2025-07-08 15:47:34 +12:00
  • 4adf5e5259
         timeout.sby: Increase depth Krystine Sherwin 2025-07-08 15:47:34 +12:00
  • 41bd894eff
         Test property statuses after timeout Krystine Sherwin 2025-07-08 15:47:34 +12:00
  • f399acc22d
         Update unknowns on timeout Krystine Sherwin 2025-07-08 15:47:34 +12:00
  • ceaeac43f7
         Use tasknames in --statuscsv Krystine Sherwin 2025-07-08 15:47:34 +12:00
  • 2aa8d266ad
         Update unknown covers as well as asserts Krystine Sherwin 2025-07-08 15:47:33 +12:00
  • 488d25b625
         Don't use induction step for depth Krystine Sherwin 2025-07-08 15:47:33 +12:00
  • 4fc23bebec
         Fix prop.tracefiles Krystine Sherwin 2025-07-08 15:47:33 +12:00
  • b3f2889b9e
         CSV tidying Krystine Sherwin 2025-07-08 15:47:33 +12:00
  • 98ef1c4182
         More status tracking unification Krystine Sherwin 2025-07-08 15:47:33 +12:00
  • f0aca6c75e
         Add traces to database Krystine Sherwin 2025-07-08 15:47:33 +12:00
  • 1d233405bf
         Warn on --livecsv in --status* block Krystine Sherwin 2025-07-08 15:47:32 +12:00
  • 48a5859a1e
         Add kind to csv (and database) Krystine Sherwin 2025-07-08 15:47:32 +12:00
  • 4a14207b37
         statuscsv: Better error handling Krystine Sherwin 2025-07-08 15:47:32 +12:00
  • 0fa5715909
         Add --statuscsv Krystine Sherwin 2025-07-08 15:47:32 +12:00
  • e2b1e85090
         Add --livecsv Krystine Sherwin 2025-07-08 15:47:32 +12:00
  • e9f4f06fe9
         smtbmc updates db at each step Krystine Sherwin 2025-07-08 15:47:32 +12:00
  • a332b017e4
         More depth tracking Krystine Sherwin 2025-07-08 15:47:31 +12:00
  • 0367db76f5
         Initial live csv dumping Krystine Sherwin 2025-07-08 15:47:31 +12:00
  • f63cd46d12
         Store task name in task and statusdb Krystine Sherwin 2025-07-08 15:47:31 +12:00
  • de59dcc9c4
         statusdb: Safer setup Krystine Sherwin 2025-07-08 15:44:02 +12:00
  • 3493f2152f
         statusdb: Retry backoff for PRAGMAs Krystine Sherwin 2025-07-08 15:44:02 +12:00
  • bd0d615b2a
         Fix raw string Krystine Sherwin 2025-07-08 15:44:02 +12:00
  • 233d5f1264
         Actually use foreign key constraints Krystine Sherwin 2025-07-08 15:44:02 +12:00
  • a64f29de6c
         Add note to bad schema exception Krystine Sherwin 2025-07-08 15:44:02 +12:00
  • b1d9bcbb42
         tests: Add statusdb test Krystine Sherwin 2025-07-08 15:44:02 +12:00
  • 10040ce859
         Test status db schema Krystine Sherwin 2025-07-08 15:44:01 +12:00
  • ad9382d46c
         Re-disable db debug mode Krystine Sherwin 2025-07-08 15:44:01 +12:00
  • f84e648391
         Better transaction control Krystine Sherwin 2025-07-08 15:44:01 +12:00
  • 03244c4f96
         Use a cursor for PRAGMAs Krystine Sherwin 2025-07-08 15:44:01 +12:00
  • 236f0ec59c
         Revert "work around pypy bug" KrystalDelusion 2025-07-08 15:44:01 +12:00
  • efea641942
         Merge f17a6e118a into 17b74bf3d6 KrystalDelusion 2025-07-07 10:38:49 +02:00
  • 17b74bf3d6
         Merge pull request #320 from jix/aigcexmin-bump v0.55 N. Engelhardt 2025-07-07 10:38:42 +02:00
  • bea2fe55a2
         Merge pull request #330 from YosysHQ/krys/cover_no_assert KrystalDelusion 2025-07-07 20:34:57 +12:00
  • 562a504709
         Docs fix KrystalDelusion 2025-07-07 20:07:25 +12:00
  • b80a843995
         tests/links: heredocs are never linked Krystine Sherwin 2025-07-05 15:46:40 +12:00
  • ef8ca40a5d
         Don't fail cover props on failed assert Krystine Sherwin 2025-07-05 12:53:54 +12:00
  • 911ae02ee5
         Test property statuses for cover_assert Krystine Sherwin 2025-07-05 12:40:57 +12:00
  • 4d8462b58e
         Add cover_assert option Krystine Sherwin 2025-07-05 11:17:05 +12:00