mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-11-03 22:29:12 +00:00
Code Activity
713 commits 9 branches 33 tags 2.7 MiB
Commit graph

713 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Clifford Wolf
a362b35349
Merge pull request #22 from YosysHQ/btor 
Btor BMC engine
 2018-12-07 22:03:36 -08:00
Clifford Wolf
150f30ae08 Working BTOR BMC engine 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-12-08 07:01:21 +01:00
Clifford Wolf
4c485766e2 Add btor engine 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-12-08 05:23:04 +01:00
Clifford Wolf
4eb91d5b88 Add "smtbmc ... -- ..." feature (for "raw" smtbmc options) 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-11-22 17:08:28 +01:00
Clifford Wolf
b50f4f3d10 Generate AIGERs with -I -B 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-11-12 09:36:12 +01:00
Clifford Wolf
e90bcb588e Improve bogus task tags detection 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-09-12 13:26:08 +02:00
Clifford Wolf
e111f7c935 Detect bogus task tags 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-09-12 13:23:34 +02:00
Clifford Wolf
bf47da495b Add "skip" options (smtbmc only) 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-09-12 13:23:34 +02:00
Clifford Wolf
7ff783598f Update docs 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-09-06 19:36:25 +02:00
Clifford Wolf
896f181d84
Update README.md 2018-08-27 19:35:25 +02:00
Clifford Wolf
6e53db0a66 Add "pour_853_4" puzzle to examples 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-08-25 18:21:34 +02:00
Clifford Wolf
f2697c23c0 Fixed "counterexample trace:" log message for things like warmup failed 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-08-21 14:00:30 +02:00
Clifford Wolf
2fef25f93d Fixed bug in examples/quickstart/demo.sv 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-07-26 14:19:04 +02:00
Clifford Wolf
07d124084c Use async2sync for "multiclock off" mode 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-07-19 15:31:49 +02:00
Clifford Wolf
c5e5f5dcbb Update examples 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-06-29 19:32:03 +02:00
Clifford Wolf
2fa29974dd Update remaining quickstart examples 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-06-29 18:21:38 +02:00
Clifford Wolf
45a11da8ea Update quickstart demo 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-06-29 10:05:52 +02:00
Clifford Wolf
93e7e1d1e2 Improve documentation of scripts and Verific bindings 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-06-23 18:25:52 +02:00
Clifford Wolf
983f066445 Use "multiclock on" option in dpmem.sby example 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-05-12 17:21:00 +02:00