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 |
|
clairexen
|
59a8fbdf36
|
Merge pull request #102 from YosysHQ/claire/maketest
Add "make test"
|
2020-07-20 23:08:31 +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 |
|
Claire Wolf
|
42d5255231
|
Add "make test"
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-07-20 17:17:49 +02:00 |
|
clairexen
|
cddfebe029
|
Merge pull request #99 from whitequark/patch-1
Inject executable dependencies from the environment
|
2020-07-09 18:18:09 +02:00 |
|
clairexen
|
86ff0fdb03
|
Merge pull request #100 from edbordin/master
Use latest windows python launcher from yosys
|
2020-07-09 18:12:13 +02:00 |
|
Ed Bordin
|
49b6875ab5
|
use latest win python launcher from yosys
|
2020-07-08 13:02:53 +10:00 |
|
whitequark
|
db0e5f3637
|
Inject executable dependencies from the environment
|
2020-07-05 10:20:35 +00:00 |
|
clairexen
|
06e80194c7
|
Merge pull request #98 from YosysHQ/cosa2_to_pono
cosa2 -> pono rename
|
2020-07-03 17:42:51 +02: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 |
|
clairexen
|
2751d19216
|
Merge pull request #96 from YosysHQ/claire/btorscript
Be more conservative in btor ys script
|
2020-07-01 16:21:55 +02:00 |
|
N. Engelhardt
|
56c9882152
|
Merge pull request #95 from adumont/patch-1
Typo: missing * in Global Clock example
|
2020-06-30 11:54:04 +02:00 |
|
Alexandre Dumont aka Adlx
|
d29f7b9837
|
Tipo missing * in Global Clock example
|
2020-06-29 00:42:06 +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 |
|
clairexen
|
13fef4a710
|
Merge pull request #88 from YosysHQ/claire/cosa2
Add support for cosa2 BTOR solver
|
2020-05-18 17:01:19 +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
|
b26d4e6362
|
Update wolf_goat_cabbage.sv
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-22 19:21:15 +02:00 |
|
Claire Wolf
|
3c14d12180
|
Merge pull request #86 from mattvenn/master
make wolf goat cabbage puzzle gender neutral
|
2020-04-22 19:19:18 +02:00 |
|
matt venn
|
68127a3706
|
consistent naming and put person moving line at the top
|
2020-04-22 19:11:23 +02:00 |
|
matt venn
|
94ce8e1288
|
Merge branch 'master' of https://github.com/YosysHQ/SymbiYosys
|
2020-04-22 17:54:53 +02:00 |
|
matt venn
|
9d69f8a518
|
change order of statements and make gender neutral
|
2020-04-22 17:54:39 +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 |
|
Claire Wolf
|
3ec2b6b4e4
|
Add djb2hash example
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-09 19:46:19 +02:00 |
|