Krystine Sherwin
7233fe6e87
docs: Re-enable yoscrypt lexer
...
We are already using `furo-ys` for `SBYLexer`, we just needed `YoscryptLexer` as well.
2025-11-25 13:15:41 +13:00
KrystalDelusion
cc84339b37
Merge pull request #344 from YosysHQ/gussmith23-patch-1
...
Fix typo on anyconst attribute in verilog.rst
2025-11-25 12:52:23 +13:00
Gus Smith
af160ada0f
Fix typo on anyconst attribute in verilog.rst
2025-11-24 14:45:32 -08:00
N. Engelhardt
87825b8b50
Merge pull request #343 from YosysHQ/krys/error-on-warning
2025-11-24 17:16:05 +01:00
Krystine Sherwin
e29cc2f8e6
Docs: Drop unsupported syntax highlighting
...
So that it doesn't raise a warning-as-error.
2025-11-20 09:08:33 +13:00
Krystine Sherwin
87612b69f9
RTDs: Fail on warning
2025-11-20 09:07:42 +13:00
N. Engelhardt
0b9e83deda
Merge pull request #342 from YosysHQ/fix_docs_table
2025-11-19 10:43:59 +01:00
N. Engelhardt
1a44b87d9a
fix whitespace in docs options table
2025-11-19 09:22:00 +01:00
Jannis Harder
11fd202f4c
Merge pull request #341 from jix/cycle_width_option
...
Add `cycle_width` option for sim's new `-width` option
2025-10-20 18:52:09 +02:00
Jannis Harder
6d0a1ed960
Add cycle_width option for sim's new -width option
2025-10-20 17:30:09 +02:00
N. Engelhardt
dbbc25a139
Merge pull request #340 from YosysHQ/krys/fix_338
2025-10-02 17:07:39 +02:00
Krystine Sherwin
d8e276983e
no_props.sby: Add btor_cover placeholder
...
The test infrastructure doesn't like when the `cover` tag is used but there is no task that uses it (because it thinks it is a task rather than a tag).
2025-09-30 11:22:13 +13:00
Krystine Sherwin
db782815f2
More tests without properties
...
Used `sby --autotune` to find other engines which fail (though there aren't any other exceptions that I could find).
Parse errors from `abc bmc3` and `abc sim3` instead of returning UNKNOWN.
2025-09-30 10:32:49 +13:00
Krystine Sherwin
c06d8682cd
Fix abc crash when aiger_props is empty
...
Includes test reproducer from #338 , modified to also test `abc --keep-going pdr`.
2025-09-30 10:26:36 +13:00
KrystalDelusion
12380801e3
Merge pull request #335 from YosysHQ/krys/fix_status_trace
...
Prefer traces even without depth
2025-08-05 15:32:03 +12:00
KrystalDelusion
5fc7b93627
Merge branch 'main' into krys/fix_status_trace
2025-08-05 12:55:12 +12:00
KrystalDelusion
b4348974c1
Merge pull request #336 from YosysHQ/krys/dir_basenames
...
Output directory handling improvements
2025-08-05 09:51:39 +12:00
Krystine Sherwin
5fffe7eda6
Fix heredoc in sub dir
...
Also change log to use absolute path for consistency with the copy/link logs.
2025-08-02 10:40:52 +12:00
Krystine Sherwin
1d28294391
More directory tests
...
Confirming that the changes to path handling didn't break anything.
`~/` works locally, but I'm not sure how to actually include that as a test.
2025-08-02 10:38:35 +12:00
Krystine Sherwin
a215e3260a
tests/links/symlink: Check file count
...
And also that `src/dir/script.ys` exists
2025-08-02 10:07:06 +12:00
Krystine Sherwin
ac419190d2
Use more pathlib.Path
2025-08-02 10:06:30 +12:00
Krystine Sherwin
b06781e19e
Fix directory mismatch
2025-08-02 09:17:55 +12:00
Krystine Sherwin
a906714c95
Add test for copying directories
...
As per https://stackoverflow.com/a/54950959 , `os.path.basename()` returns an empty string if the string ends with a trailing slash. This means that the target implied by `dir/` differs from an explicit target of `dir/`, and changes the behaviour to copy files to the root `src` directory instead.
2025-08-02 09:17:21 +12:00
KrystalDelusion
32f6ac2a5a
Merge pull request #334 from YosysHQ/krys/jsonlines
...
Add jsonl status format
2025-08-01 10:45:50 +12:00
Krystine Sherwin
d4864994ca
statusfmt: Skip null fields in jsonl output
2025-08-01 10:34:08 +12:00
Jannis Harder
190ef86916
statusfmt: Skip missing fields in jsonl output
2025-07-29 17:31:38 +02:00
Jannis Harder
344236af41
statusfmt: Make JSONL self-contained and escape CSV values
2025-07-29 17:10:57 +02:00
Krystine Sherwin
5992167909
Fix comparing int with None
2025-07-29 10:33:59 +12:00
Krystine Sherwin
9cb368b9c8
Re-order status evaluation
...
Always add the current row to the status map if there's a key error instead of trying to be clever with `.get()` and `None`s.
2025-07-29 10:26:51 +12:00
Krystine Sherwin
990d8db9a2
Prefer traces even without depth
2025-07-29 10:12:15 +12:00
Krystine Sherwin
f05979a528
Fix for statusfmt not going into status block
2025-07-29 10:04:40 +12:00
Krystine Sherwin
3bf5be0637
Add jsonl status format
...
Replace `--statuscsv` and `--livecsv` with `--statusfmt <fmt>` and `--live <fmt` respectively.
Currently supports both csv and jsonl.
In the case of `--live`, updates can be printed in multiple formats, while `--statusfmt` only supports one at a time.
2025-07-29 10:00:52 +12:00
KrystalDelusion
ac120cee92
Merge pull request #327 from YosysHQ/krys/intertask
...
Intertask cancellation
2025-07-09 10:48:21 +12:00
Krystine Sherwin
1518168aa0
Remove debug print
2025-07-09 10:47:55 +12:00
Krystine Sherwin
7c5c96f5ca
Don't use -f for intertask tests...
...
... if we expect the database to still contain previous runs.
Use `rm -rf` to clear directories by hand instead.
2025-07-09 10:40:49 +12:00
Krystine Sherwin
a6496d646f
Cancel shouldn't use timeout logic
2025-07-09 10:28:50 +12:00
Krystine Sherwin
de51db08ab
Fix typo
2025-07-09 10:06:56 +12:00
Krystine Sherwin
cb81a97808
Add --taskstatus
...
Used for checking tasks in the status db.
Change `SBYStatusDB.all_tasks_status()` to use a `LEFT JOIN` to get a status of `UNKNOWN` for pending or aborted tasks (e.g. because they were ctrl+c'ed).
2025-07-09 10:06:56 +12:00
Krystine Sherwin
9589ce203a
Document cancelledby section
2025-07-09 10:05:36 +12:00
Krystine Sherwin
63b43c7e66
tests: Add long running cancellation
...
Actually exercise the database cancellation working on an already running task.
This appears to work even with `make -j1`.
2025-07-09 10:04:58 +12:00
Krystine Sherwin
1f3b418018
Fix autotune
2025-07-09 10:04:58 +12:00
Krystine Sherwin
360f1b03a3
tests/intertask: Use bash script
...
Somewhat hacky use of the automatic task collection splitting tasks into separate make targets.
2025-07-09 10:04:37 +12:00
Krystine Sherwin
67212a20e5
Add --statuscancels option
...
The statusdb is only used to check for task completions if this option is used, requiring the user to explicitly request the feature.
2025-07-09 10:04:37 +12:00
Krystine Sherwin
5fc8df43f8
Intertask cancellation via database
...
Task checking via database rated limited to once every 10s.
Rename killer.sby to cancelledby.sby and add Makefile for testing.
2025-07-09 10:03:54 +12:00
Krystine Sherwin
e7c756a43f
Add cancelledby config section
2025-07-09 10:03:54 +12:00
Krystine Sherwin
a153349ac8
Initial intertask cancellation
...
Taskloops store tasks_done, tasks can be cancelled, and if a task named "killer" is in tasks_done then any other tasks are cancelled.
2025-07-09 10:03:54 +12:00
KrystalDelusion
2ee136fab3
Merge pull request #329 from YosysHQ/krys/symlink
...
Add flag to symlink src files
2025-07-09 10:01:46 +12:00
KrystalDelusion
1130847901
Merge branch 'main' into krys/symlink
2025-07-09 10:01:30 +12:00
KrystalDelusion
7cc442fb21
Merge pull request #326 from YosysHQ/krys/db_versions
...
Improve database version handling and parallelism
2025-07-09 09:59:56 +12:00
Krystine Sherwin
a251ec0524
Handle unreliable lock files
2025-07-09 09:59:23 +12:00
