Jannis Harder
c52acf2a1f
docs: Make sphinx-argparse work independently of sphinx's cwd
2023-06-19 11:39:37 +02:00
Krystine Sherwin
27e20fd5c3
Add sphinx-argparse to generate usage
...
Move parser generation into a seperate file to avoid import issues with bad python modules during docs gen.
With the requirements.txt provided to readthedocs, there shouldn't need to be any other changes?
Also I've never been able to run `make test` so I'm not actually sure if the changes break sby, but they shouldn't.
2023-06-13 11:40:28 +12:00
Claire Xen
c027aea3db
Merge pull request #237 from jix/sphinx-theme
...
Change Sphinx theme to "furo"
2023-06-04 21:33:52 +02:00
Claire Xen
c562d65e75
Merge pull request #239 from YosysHQ/claire/aigvmap
...
Add aigvmap and aigsyms options
2023-06-04 18:53:16 +02:00
Claire Xenia Wolf
7d60a3ba34
Add aigvmap and aigsyms options
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2023-06-03 22:16:35 +02:00
Claire Xen
81b9de988b
Merge pull request #238 from YosysHQ/claire/nowitrename
...
Make call to "witness -rename" optional (default=on)
2023-06-02 13:11:41 +02:00
Claire Xenia Wolf
f49c9ebb29
Make call to "witness -rename" optional (default=on)
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2023-06-02 13:04:45 +02:00
Jannis Harder
cb968ea2bb
Update .readthedocs.yaml
2023-05-08 11:33:14 +02:00
Jannis Harder
513d0d4288
Change Sphinx theme to "furo"
2023-05-03 16:56:09 +02:00
Jannis Harder
74f33880bd
Merge pull request #232 from dlmiles/win-qol-cleanopt
...
-f clean: QoL improvement on Windows concerning file/dir removal locking
2023-02-20 19:48:36 +01:00
Darryl L. Miles
fa5bc957c1
-f clean: QoL improvement on Windows concerning file/dir removal locking
...
When using the -f argument be more forgiving with the expectation of a clean
workspace and the expectation of the new sby run being responsible for
directory creation.
This is a usability and quality of life improvement for Windows users where
the OS can implement file and directory locking implicitly. In the EDA world
it is common to have multiple tools in use at any one time and it can become
tortious to have to close files / exit 3rd party applications to release
locking so sby is happy to rerun.
This change will prevent sby claiming a terminal error has occurred when it
fails to create a directory that already exists. It also now considers the
environment to be 'clean' (as per -f) if all the non-directory elements of
the file tree have been deleted, leaving potentially an empty a skeleton of
directories.
2023-02-18 09:36:18 +00:00
Miodrag Milanović
2cd0f6f71c
Try fixing GH action
2023-02-13 10:33:46 +01:00
Miodrag Milanović
8eaeca9aa4
Update GH action
2023-02-13 10:24:24 +01:00
N. Engelhardt
81ee5fdd5a
update prerequisites
2023-02-08 17:59:26 +01:00
Jannis Harder
466ab84745
Merge pull request #230 from jix/append_assume_default
...
append_assume: Make `append_assume on` the default for now
2023-02-08 14:42:20 +01:00
Jannis Harder
c5dce57067
append_assume: Make append_assume on the default for now
...
Having `append_assume off` needs `vcd_sim on` to not be ignored with a
warning and `vcd_sim off` is still the default.
2023-02-08 14:18:52 +01:00
Jannis Harder
37d1234e38
Merge pull request #228 from jix/docs-updates
...
Docs updates
2023-02-06 22:10:38 +01:00
Jannis Harder
7a3b88ca67
docs: Document new sim related options
2023-02-06 16:55:19 +01:00
Jannis Harder
6d1ef8b5a0
docs: Yices is still recommended
2023-02-06 16:54:37 +01:00
Jannis Harder
7d3f0d50a5
Merge pull request #227 from jix/sim_traces
...
Unified trace generation using Yosys's sim command across all engines
2023-01-25 10:53:21 +01:00
Jannis Harder
f14aaa57c4
avy: Fold aiger model using abc to support assumptions
2023-01-11 18:36:06 +01:00
Jannis Harder
6398938e6a
Enable yosys sim support for clock signals in hierarchical designs
2023-01-11 18:02:45 +01:00
Jannis Harder
06c36d5bb0
Support "fifo:" make jobserver auth
2023-01-10 18:42:26 +01:00
Jannis Harder
6d3b5aa960
Unified trace generation using yosys's sim across all engines
...
Currently opt-in using the `fst` or `vcd_sim` options.
2023-01-10 18:42:26 +01:00
Jannis Harder
4c44a10f72
Merge pull request #226 from jix/python36-fstrings
...
Do not use fstring syntax that requires Python 3.8
2022-12-19 17:28:04 +01:00
Jannis Harder
beb8b3c6e3
Do not use fstring syntax that requires Python 3.8
...
While we most likely will require Python 3.8 going forward, this might
restore Python 3.6 compatibility until we update the installation guide.
2022-12-19 16:49:37 +01:00
Jannis Harder
544a1cb369
Merge pull request #224 from jix/jobserver-poll-fix
...
jobserver: Only poll non-helper-process jobserver fd when ready to read
2022-12-09 16:54:24 +01:00
Jannis Harder
19109fd9f2
jobserver: Only poll non-helper-process jobserver fd when ready to read
...
This avoids SBY going into a busy wait loop in that case.
2022-12-09 16:24:22 +01:00
Claire Xen
9c75e49418
Merge pull request #221 from YosysHQ/claire/click
...
Add color handling via click.style and click.echo
2022-11-24 18:19:43 +01:00
Claire Xenia Wolf
c29a5bbe8a
Add colors to engine header message
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2022-11-24 18:12:22 +01:00
Claire Xenia Wolf
e8d713cc27
Add colors to early and late log messages
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2022-11-02 12:35:11 +01:00
Claire Xenia Wolf
003ccf7197
Add color handling via click.style and click.echo
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2022-10-31 20:29:32 +01:00
Jannis Harder
54cb030738
Merge pull request #220 from jix/aigbmc-use-yw
...
aigbmc: Convert aiw trace to yw trace and load that into smtbmc
2022-10-24 16:29:23 +02:00
Miodrag Milanović
50bdc76fe3
Update CI script
2022-10-24 08:31:45 +02:00
Jannis Harder
966bdae1f6
aigbmc: Convert aiw trace to yw trace and load that into smtbmc
...
This handles more edge cases concerning FF initialization, memories and
hierarchy.
2022-10-20 14:36:07 +02:00
Jannis Harder
6995aaef78
Merge pull request #219 from jix/fix-parallel-tests
...
tests: Do not run the same SBY task multiple times in parallel
2022-10-20 14:35:17 +02:00
Jannis Harder
90616c280b
tests: Do not run the same SBY task multiple times in parallel
2022-10-20 14:18:51 +02:00
Jannis Harder
83a1aa23c8
Merge pull request #218 from jix/fix_engine_list
...
Fix engine_list's return value
2022-09-15 17:59:25 +02:00
Jannis Harder
a0e3dd3d9a
Fix engine_list's return value
...
This fixes #216
2022-09-15 15:47:27 +02:00
Jannis Harder
e97dd01523
Merge pull request #215 from KrystalDelusion/master
...
Fixing golden/fifo.sv
2022-09-08 12:37:30 +02:00
KrystalDelusion
37140e7e81
Fixing golden/fifo.sv
...
Had missed a change from (non golden) fifo.sv.
2022-09-07 09:52:52 +12:00
Jannis Harder
9edb6ee00b
Merge pull request #214 from jix/no_vcd
...
Add vcd option to make VCD writing optional
2022-09-05 16:05:06 +02:00
Jannis Harder
168d667b6d
Add vcd option to make VCD writing optional
2022-09-05 15:42:24 +02:00
Jannis Harder
17c3961a2b
Merge pull request #213 from jix/fix_tests
...
Fix tests
2022-09-05 14:08:31 +02:00
Jannis Harder
326247fdef
tests: Skip broken tests
2022-09-03 00:04:40 +02:00
Jannis Harder
586be8ba96
tests: Fix test_rules.py after sby config parser changes
2022-09-03 00:03:28 +02:00
N. Engelhardt
4adb99ea30
Merge pull request #174 from KrystalDelusion/fifo_example
2022-08-22 11:34:51 +02:00
KrystalDelusion
82a6edf295
Moving newstart to replace quickstart
2022-08-22 21:20:59 +12:00
KrystalDelusion
df2610d598
Fixes before merge
2022-08-22 21:18:40 +12:00
Jannis Harder
bd88454d7d
Merge pull request #196 from jix/parallel_jobserver
...
Run tasks in parallel and integrate with the make jobserver
2022-08-19 14:21:53 +02:00
