mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-11-04 06:39:11 +00:00
Code Activity
432 commits 9 branches 33 tags 2.7 MiB
Commit graph

432 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
William D. Jones
f8e27a06aa Annotate cmdline comment, summary string, and output XML with 
OS-specific information.
 2019-03-18 00:46:06 -04:00
William D. Jones
b5eb5b3c78 Choose command separator for tasks based on OS. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2019-03-17 23:01:24 -04:00
Clifford Wolf
7c0874c374
Merge pull request #35 from FelixVi/master 
Update Boolector build instructions
 2019-03-17 12:27:44 +01:00
Felix Vietmeyer
e80ed3bc80 Update Boolector build instructions 2019-03-16 15:47:47 -06:00
Clifford Wolf
410db87ebc Rename ".stamp" file to "status" 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-15 16:29:23 +01:00
William D. Jones
71e5dbabd6 Merge branch 'master' into no-resource 2019-03-12 16:59:17 -04:00
Clifford Wolf
ef0d708dfb
Merge pull request #32 from cr1901/win-shell 
Install launcher executable when running on Windows. Fixes #30.
 2019-03-12 20:49:19 +01:00
William D. Jones
a14f0ac5af Install launcher executable when running on Windows. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2019-03-12 14:29:08 -04:00
William D. Jones
43c7db77d4 Gate Unix-specific functionality from resources and fcntl. 
Signed-off-by: William D. Jones <thor0505@comcast.net>
 2019-03-10 00:43:55 -05:00
Clifford Wolf
577b5bcbc7 Improve rerun-in-existing-dir functionality 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-09 12:52:51 -08:00
Clifford Wolf
bd4094f216 Add support for (re-)running in existing workdir 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-09 12:42:54 -08:00
Clifford Wolf
cef50242df Add --dumptasks to documentation 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-08 12:20:08 -08:00
Clifford Wolf
d5fa89ee0c Improve sby file pycode/tasks handling 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-08 10:58:28 -08:00
Clifford Wolf
4a392bb639 Add --dumpcfg and --dumptasks 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2019-03-02 19:09:33 -08:00
Clifford Wolf
0772456a15 Further improve BTOR cex handling 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-12-10 03:44:08 +01:00
Clifford Wolf
6878ba0a82 Improve BTOR cex handling 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-12-10 02:42:03 +01:00
Clifford Wolf
970e4b2857 Also add install docs for btorsim 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-12-08 23:42:52 +01:00
Clifford Wolf
b8549f3a2d Update boolector build instructions 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-12-08 07:34:03 +01:00
Clifford Wolf
3d66e7cec5 Fixes and improvements in BTOR engine 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-12-08 07:16:19 +01:00