mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-08-12 16:20:59 +00:00
Code Activity

Commit graph

  • 12380801e3
         Merge pull request #335 from YosysHQ/krys/fix_status_trace main 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
  • 9b9cdbf251
         Merge 1a7819979f into ac120cee92 Miodrag Milanović 2025-07-09 07:50:10 +02:00
  • 69dc627678
         Merge 8b73075e28 into ac120cee92 N. Engelhardt 2025-07-09 07:50:10 +02: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
  • aa7d8ab4ce
         Reapply "Remove asserts during cover mode" Krystine Sherwin 2025-07-02 18:00:28 +12:00
  • 205245c827
         Revert "Remove asserts during cover mode" Krystine Sherwin 2025-07-02 17:59:46 +12:00
  • 81873292c9
         Remove asserts during cover mode Krystine Sherwin 2025-07-02 17:57:31 +12:00
  • 2a16a48a60
         collect_tests.py: Ignore sby status dirs Krystine Sherwin 2025-07-01 10:50:46 +12:00
  • 658c83dd84
         Fix autotune copy_src Krystine Sherwin 2025-06-23 16:30:12 +12:00
  • 67ffd25c49
         Test --link functionality Krystine Sherwin 2025-06-23 16:18:32 +12:00
  • 829b4cc32f
         Add linkmode --link Krystine Sherwin 2025-06-23 16:17:18 +12:00
  • 547749bc18
         Re-disable db debug mode Krystine Sherwin 2025-06-18 11:56:52 +12:00
  • a1196caee0
         Better transaction control Krystine Sherwin 2025-06-18 11:50:07 +12:00
  • e24e9709b4
         Use a cursor for PRAGMAs Krystine Sherwin 2025-06-18 11:04:58 +12:00
  • ea275d3e2b
         Revert "work around pypy bug" KrystalDelusion 2025-06-18 11:01:59 +12:00
  • b47d2829f9 work around pypy bug v0.54 Robin Ole Heinemann 2025-05-14 15:39:16 +02:00
  • 05f848048c work around pypy bug Robin Ole Heinemann 2025-05-14 15:39:16 +02:00
  • ab2003d90f Update location of demo files v0.53 Miodrag Milanovic 2025-05-06 12:54:18 +02:00
  • 6dcde33cc2
         Merge pull request #322 from jix/test_external_examples Miodrag Milanović 2025-05-06 12:49:16 +02:00
  • c8800ecd34 allow running SBY tests with an external examples directory Jannis Harder 2025-04-28 15:53:22 +02:00
  • 18ff267c02
         Merge pull request #319 from YosysHQ/blackbox_tests Miodrag Milanović 2025-04-15 10:32:14 +02:00