mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-23 05:15:30 +00:00
Code Activity
253 commits 7 branches 27 tags 1.3 MiB
Commit graph

163 commits

Author SHA1 Message Date
Ed Bordin
3a776c329f rm ctypes impl as it is no longer needed 2020-08-09 18:16:38 +10:00
Ed Bordin
031cdb8df3 use a console process group and send ctrl+break signal instead 2020-08-09 16:44:22 +10:00
Ed Bordin
7ac54c6a2e simplify graph traversal code 2020-08-09 14:22:31 +10:00
Ed Bordin
daa8329baa minor fixes after testing 2020-08-08 15:35:51 +10:00
Ed Bordin
20ec63899a replace taskkill with ctypes/WinAPI implementation 2020-08-08 15:12:17 +10:00
Ed Bordin
021b6a7093 manually improve merge 2020-08-01 14:09:33 +10:00
William D. Jones
fc563941d0 Remove debug mode from event loop. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
William D. Jones
a320462976 Prevent the timeout callback from running if all tasks completed. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
William D. Jones
b6007aa68c Add Windows workaround for forceful subprocess termination. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
William D. Jones
826cd1a6f2 run() -> init(). 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
William D. Jones
009a8194dd Cleanup dead (non-async) code and rename functions. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
William D. Jones
e618a1591d Do not spawn tasks in SbyTask constructor; rely on taskloop to do it. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
William D. Jones
b5350a2eb9 Add asynchronous timer to detect timeouts. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
William D. Jones
118280191a Begin converting taskloop to use asyncio module. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2020-07-24 18:20:50 +10:00
N. Engelhardt
7bae1b8bba fix error message formatting 2020-07-21 14:48:38 +02:00
Claire Wolf
494f84b0ab Include verilog source files for demo1.sby 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-07-21 13:01:36 +02:00
Claire Wolf
0d98201dc7 Add "Unexpected response" handling to smtbmc engine 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-07-20 19:42:10 +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
72e84cb320
Merge pull request #97 from nakengelhardt/seed_arg 
add --seed option to smtbmc and btor engines
 2020-07-01 19:20:06 +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
N. Engelhardt
ee5cfdef76 add --seed option to smtbmc and btor engines 2020-07-01 18:05:20 +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
N. Engelhardt
9fdece3dab btor engine: handle models with 0 properties 2020-05-18 13:11:25 +02:00
N. Engelhardt
87eb47502d
Merge pull request #87 from nakengelhardt/cover_trace_summary 
Trace generation improvements
 2020-05-13 18:45:39 +02:00
N. Engelhardt
6a95ef33c8 fix trace summary printing 2020-05-13 18:15:33 +02:00
N. Engelhardt
842e9a121a call job.terminate at end of btor engine run to kill other engines in case of whoever-gets-there-first runs 2020-05-13 12:42:30 +02:00
N. Engelhardt
b3d766bf89 start btorsim as soon as a witness is ready, print summary when multiple traces are produced 2020-05-12 16:48:58 +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
cb01f8469c fix return code check in btor engine 2020-04-29 16:09:18 +02:00
N. Engelhardt
5d6323147d
Merge pull request #85 from nakengelhardt/new_btorsim 
Note that the btor engine now requires changes not upstreamed to btor2tools yet, see btor2tools/pull/4
 2020-04-29 11:47:20 +02:00
Claire Wolf
69ef444464 Add task pattern matching, closes #76 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-04-14 19:55:14 +02:00
Claire Wolf
c91efe15a3 Add a status message when one or more tasks returned a non-zero return code, closes #78 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-04-14 19:54:24 +02:00
N. Engelhardt
8cd9191612 merge master 2020-04-08 17:23:52 +02:00
N. Engelhardt
1b8f3df8bd use info file for btorsim 2020-04-08 15:25:00 +02:00
Claire Wolf
1c92dff6ed
Merge pull request #74 from mattvenn/master 
add --init-config option
 2020-04-02 18:27:50 +02:00
N. Engelhardt
e9af1a65f1 and another 2020-04-02 17:36:54 +02:00
N. Engelhardt
0c0215de91 fix formatting error 2020-04-02 17:21:48 +02:00
N. Engelhardt
9aff36a3fe fix callback functions 2020-03-30 21:24:06 +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
6a918fe102 remove stray braces 2020-03-30 21:23:11 +02:00
matt venn
5eee219127 use argument for name of .sby and .sv files 2020-03-26 18:24:56 +01:00
matt venn
f22b6921c5 add --init-config option 2020-03-25 18:00:48 +01: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
Diego H
ff3296845c Fix typo in log message 2020-01-30 13:55:34 -06: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