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 |
|
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 |
|
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
|
a4885ce494
|
Get rid of verific warning in abstraction example
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-03 15:28:23 +02:00 |
|
Claire Wolf
|
d18656084c
|
Fix typo
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-04-03 15:18:52 +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 |
|
Claire Wolf
|
286ec3a6e3
|
Merge pull request #73 from nakengelhardt/str_format
Use .format() instead of %
|
2020-04-02 15:41:30 +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
|
8a62780b9d
|
Fix primegen example
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
|
2020-03-24 17:12:12 +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
|
500b526131
|
Merge pull request #70 from dh73/master
Fix typo in log message
|
2020-02-01 17:11:38 +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 |
|
Claire Wolf
|
c5dfa320df
|
Merge pull request #67 from mmicko/mmicko/windows_fix
Fix sby execution on Windows
|
2020-01-21 17:15:27 +01:00 |
|