mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 14:24:08 +00:00
Code Activity
259 commits 7 branches 26 tags 1.3 MiB
Commit graph

259 commits

This branch
This branch
All branches
Author SHA1 Message Date
Miodrag Milanovic ecf7b8f1b0 Windows specific fixes 2021-03-22 16:48:33 +01:00
Claire Xen 1ffef12cf1
Update conf.py 2021-03-04 16:49:31 +01:00
Claire Xen ddd44fc30b
Delete symbiotic_logo.png 2021-02-24 17:52:54 +01:00
Claire Xen 9aa0963f26
Update conf.py 2021-02-24 17:48:13 +01:00
Miodrag Milanovic 605db98382 Fix syntax errors 2021-01-26 09:09:43 +01:00
Miodrag Milanovic 091222b87f Extract installation procedure to separate file 2020-10-23 14:03:55 +02:00
Matt Venn 37a1fec120 copyright 2020-10-15 18:02:03 +02:00
Matt Venn 81258745eb logo and links 2020-10-15 17:02:52 +02:00
N. Engelhardt cc1becc1bf
Merge pull request #116 from nakengelhardt/sed_mac 
make install: mac OS compatible sed usage
 2020-10-12 13:01:15 +02:00
N. Engelhardt 7148bdd785 sed -i option is not posix, and argument syntax is incompatible between mac and linux. use redirects instead 2020-10-09 12:04:19 +02:00
Miodrag Milanović 93d65cc865
Merge pull request #115 from nakengelhardt/rename_test 
rename make test to make ci
 2020-09-11 16:28:32 +02:00
N. Engelhardt 9f77a4a5f1 rename make test to make ci 2020-09-11 13:22:07 +02:00
whitequark 33b0bb7d83
Merge pull request #101 from YosysHQ/program-prefix 
Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys
 2020-08-22 14:49:25 +00: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
N. Engelhardt b6dc1c9da3 fix test rule 2020-07-24 16:06:44 +02:00
Claire Wolf a23c76a169 Remove redundant copy of picorv32 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-07-24 15:13:45 +02:00
Claire Wolf 5a9efba584 Improvements in "make test" 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-07-24 14:58:23 +02:00
clairexen a3db21aaff
Merge pull request #104 from nakengelhardt/more_tests 
add tests directory with additional tests
 2020-07-24 14:48:36 +02:00
N. Engelhardt 8c5b65cf97 add tests directory with additional tests 2020-07-24 13:51:39 +02: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