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

201 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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 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
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
Clifford Wolf 23f89011b6 Use lowercase for non-final smtbmc status, treat PREUNSAT as ERROR 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-10-03 15:00:11 +02:00
Clifford Wolf 9cb542ac7a Fix YosysHQ links 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-08-13 17:25:10 +02:00
Clifford Wolf 06cc339957
Merge pull request #55 from YosysHQ/q3k/fix-bash 
sby_core: fix hardcoded /bin/bash path
 2019-08-01 13:02:01 +02: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
Clifford Wolf ddbad8fd71 Documentation update: Boolector is using the MIT license now 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-07-23 15:24:04 +02:00
Clifford Wolf 4b6bb4e418 Cleanup some command line option oddities 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-06-27 14:06:47 +02:00
Clifford Wolf cc37c497d5 Merge branch 'feature_file_paths' of https://github.com/gs-jgj/SymbiYosys into staging 2019-06-27 13:55:25 +02:00
Hans Anderson 597beb6380 Fix default argument for tasknames 2019-06-24 18:35:52 -06:00
Hans Anderson 9ad0ea3e78 Switch from getopt to argparse 2019-06-21 19:12:26 -06:00
Clifford Wolf 5ef5187673 Add docs/examples/abstract/.gitignore 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-06-18 10:31:55 +02:00
Clifford Wolf 59f4f29fdc Fix quickstart demo to work with verific 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-06-18 10:30:04 +02:00
Clifford Wolf 1402969a96
Merge pull request #49 from ZipCPU/verilog-doc 
Updated Verilog documentation
 2019-05-22 11:42:34 +02:00
ZipCPU 2462855e0f Updated Verilog documentation 2019-05-21 20:55:46 -04:00
Jeppe Johansen 021c3bb4c0 Add dumpfiles command line argument. 
Signed-off-by: Jeppe Johansen <jgj@gomspace.com>
 2019-05-08 17:16:34 +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 b1de59032e
Merge pull request #42 from mithro/master 
Adding some extra licensing information.
 2019-04-18 11:13:10 +02:00
Tim 'mithro' Ansell 9400f7ca45 Adding license info to the top level README file too. 2019-04-11 15:36:19 -07:00
Tim 'mithro' Ansell e4a9fbdec7 Adding top level COPYING file. 
* Enables github license detection.
 2019-04-11 15:32:32 -07:00
Clifford Wolf 44869656b8 Improve readability of boolector build instructions 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-28 08:48:49 +01:00
Clifford Wolf 79b1ac9570 Minor improvements in docs/examples/abstract/abstr.sv 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-27 14:49:35 +01:00
Clifford Wolf afe6960ffe Add docs/examples/abstract 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-27 14:45:30 +01: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
Clifford Wolf 32d7325446 Backward compatibility with Python 3.4 API 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-21 20:09:44 +01:00
Clifford Wolf a2b85faa08 Significantly improve management of child processes 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-21 15:06:49 +01:00
Clifford Wolf 334b952e5a Improve logfile/output flushing 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-20 19:09:00 +01:00
Clifford Wolf 93a5dd0641 Do not overwrite config.sby in reusedir mode 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-20 19:09:00 +01:00
Clifford Wolf ef26dff799
Merge pull request #33 from cr1901/no-resource 
Meaningful Windows Support
 2019-03-19 14:20:28 +01:00