mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-07-16 19:46:42 +00:00
Code Activity
410 commits 6 branches 30 tags 2.5 MiB
Commit graph

115 commits

Author SHA1 Message Date
Jannis Harder
b3b315a473 Make SbyProc hide Windows differences in retcode handling 
Without this, we don't properly detect missing solver binaries and do
not properly handle the return status of the pono solver.
 2022-07-06 11:22:59 +02:00
Jannis Harder
ff802086b4 test uninited FFs with const clks and fix btor script for this 2022-07-04 14:03:56 +02:00
Jannis Harder
e3123283ea
Merge pull request #170 from programmerjake/add-simcheck-option 
switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module modules
 2022-07-03 11:47:22 +02:00
Jannis Harder
b4458d43d7 Automatic engine selection 2022-06-27 15:58:42 +02:00
Jannis Harder
5014d74023 sby_design: Extract total memory size and forall usage 2022-06-24 13:50:26 +02:00
Jacob Lifshay
db740839b7 switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module modules. 
Fixes: #168

Depends on: https://github.com/YosysHQ/yosys/pull/3391
 2022-06-22 21:17:29 -07:00
Jannis Harder
0fe8c223cf Decouple taskloop from task 2022-06-15 16:28:09 +02:00
Jannis Harder
d1c04f79d6 Use monotonic clock for timeouts 2022-06-15 14:11:25 +02:00
Jannis Harder
d0c59a3155 Don't use python asserts to handle unexpected solver output 2022-06-15 13:25:21 +02:00
Jannis Harder
e99884e319 SbyProc: New error_callback instead of exit_callback for failing procs 2022-06-15 13:25:21 +02:00
Jannis Harder
6daa434d85 Add --dumptaskinfo option to output some .sby metadata as json 2022-04-11 17:44:10 +02:00
N. Engelhardt
8ce526c22d junit: use write_jny instead of write_json 2022-04-06 18:35:01 +02:00
N. Engelhardt
008d020c4d note unexpected return statuses in junit 2022-03-29 19:10:29 +02:00
Jannis Harder
079df4d95f Use -no-startoffset, avoiding index mismatch between aiger and smt2 2022-03-25 11:41:08 +01:00
N. Engelhardt
7142f790e4 add testcase for overall run result 2022-02-24 22:44:11 +01:00
N. Engelhardt
89ed843ff1 validate junit files (with extra attributes added to schema) 2022-02-22 16:16:37 +01:00
N. Engelhardt
7ee357fcc8 fix induction 2022-02-07 22:01:52 +01:00
N. Engelhardt
7d3545dc86 fix junit error/failure/skipped count 2022-02-07 19:20:29 +01:00
N. Engelhardt
53eb25fcae handle unreached cover properties 2022-02-07 15:29:36 +01:00
N. Engelhardt
5abaccab69 refactor junit print into own function 2022-02-07 12:29:27 +01:00
N. Engelhardt
d7e7f2c530 refactor model to have single base 2022-01-31 12:35:56 +01:00
N. Engelhardt
1cf27e7c31 parse solver location output for assert failures (cover not functional yet) 2022-01-27 13:41:07 +01:00
N. Engelhardt
7f3c4137c1 create json export and read in properties 2022-01-19 19:34:11 +01:00
N. Engelhardt
257a57d8ed create only a single bad when using pono solver; workaround for #137 2022-01-12 13:18:54 +01:00
N. Engelhardt
7c9e5b026b Rename SbyJob to SbyTask and SbyTask to SbyProc to reduce confusion. Config file tasks now correspond to SbyTasks. 2022-01-11 17:08:56 +01:00
Claire Xenia Wolf
5d19e4641a Add support for directories in [files] section 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
 2021-10-31 14:43:02 +01:00
Claire Xenia Wolf
1b3832cf92 Fixed names and links 2021-10-31 14:42:39 +01:00
piegames
2d7d48885b Turn .format() strings into f-strings 2021-06-26 19:46:30 +02:00
piegames
99aca04638 Print paths as absolute 
This generally makes debugging path issues easier.
 2021-06-21 22:31:53 +02:00
Miodrag Milanovic
ecf7b8f1b0 Windows specific fixes 2021-03-22 16:48:33 +01:00
whitequark
287e33a47f Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys. 2020-08-22 14:45:47 +00:00
Marcelina Kościelnicka
b172357161 Run dffunmap before writing the design with aiger/btor/smt2 backends. 2020-07-31 16:37:25 +02:00
whitequark
db0e5f3637
Inject executable dependencies from the environment 2020-07-05 10:20:35 +00:00
Miodrag Milanovic
a62fded391 cosa2 -> pono rename 2020-07-03 11:25:55 +02:00
clairexen
18ce85eb02
Merge pull request #94 from nakengelhardt/fix_93 
ignore race condition in killing already-terminated process
 2020-07-01 19:19:08 +02:00
Claire Wolf
655d9c6bcd Be more conservative in btor ys script 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-06-23 14:32:59 +02:00
N. Engelhardt
25502e16ef ignore race condition in killing already-terminated process 2020-06-16 12:41:26 +02:00
Claire Wolf
c7668de077 Add support for cosa2 BTOR solver 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-05-18 16:59:36 +02:00
Claire Wolf
ca9c188e3c Add silent mode to SbyTask 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-05-08 18:49:08 +02:00
N. Engelhardt
180e07f9c4 add btor cover mode; use btorsim for vcd generation 
Signed-off-by: N. Engelhardt <nak@symbioticeda.com>
 2020-03-30 21:24:06 +02:00
N. Engelhardt
30d7c32ec6 Use .format() instead of % 
Signed-off-by: N. Engelhardt <nak@symbioticeda.com>
 2020-03-25 13:09:37 +01:00
Claire Wolf
0a7013017f Improve BTOR and AIG yosys scripts 
Signed-off-by: Claire Wolf <clifford@clifford.at>
 2020-02-11 17:33:46 +01:00
Claire Wolf
a5fce77344 Add special handling for command not found errors 
Signed-off-by: Claire Wolf <clifford@clifford.at>
 2020-01-27 17:59:33 +01:00
Miodrag Milanovic
3fd0c73e65 Added sleep for non-posix, allow supported signals 2020-01-15 08:09:11 +01:00
Miodrag Milanovic
196c3c779a Fix sby execution on Windows 2019-11-17 16:58:35 +01:00
Serge Bazanski
511268cd18 sby_core: fix hardcoded /bin/bash path 
Not all systems (eg. BSDs, NixOS) have a /bin/bash. The de-facto standard for maximum compatibility
these days is using /usr/bin/env bash.
 2019-07-24 13:31:37 +02:00
Jeppe Johansen
57276995b6 Add support for expanding environment variables. 
Signed-off-by: Jeppe Johansen <jgj@gomspace.com>
 2019-05-08 16:56:33 +02:00
Clifford Wolf
f087a71f49 Check if config contains any engines, fixes #38 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-05-01 18:47:41 +02:00
Clifford Wolf
faa5b1f908 Fix re-run in same directory feature 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-04-30 20:03:24 +02:00
Clifford Wolf
f918e2369a Add extra "setundef -anyseq" to aiger script 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-22 13:40:50 +01:00