ZipCPU [Wed, 22 May 2019 00:55:46 +0000 (20:55 -0400)]
Updated Verilog documentation
Clifford Wolf [Wed, 1 May 2019 16:47:41 +0000 (18:47 +0200)]
Check if config contains any engines, fixes #38
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 30 Apr 2019 18:03:24 +0000 (20:03 +0200)]
Fix re-run in same directory feature
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 18 Apr 2019 09:13:10 +0000 (11:13 +0200)]
Merge pull request #42 from mithro/master
Adding some extra licensing information.
Tim 'mithro' Ansell [Thu, 11 Apr 2019 22:36:19 +0000 (15:36 -0700)]
Adding license info to the top level README file too.
Tim 'mithro' Ansell [Thu, 11 Apr 2019 22:32:32 +0000 (15:32 -0700)]
Adding top level COPYING file.
* Enables github license detection.
Clifford Wolf [Thu, 28 Mar 2019 07:48:49 +0000 (08:48 +0100)]
Improve readability of boolector build instructions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 27 Mar 2019 13:49:35 +0000 (14:49 +0100)]
Minor improvements in docs/examples/abstract/abstr.sv
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 27 Mar 2019 13:45:30 +0000 (14:45 +0100)]
Add docs/examples/abstract
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 22 Mar 2019 12:40:50 +0000 (13:40 +0100)]
Add extra "setundef -anyseq" to aiger script
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 21 Mar 2019 19:09:44 +0000 (20:09 +0100)]
Backward compatibility with Python 3.4 API
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 21 Mar 2019 14:06:49 +0000 (15:06 +0100)]
Significantly improve management of child processes
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 20 Mar 2019 18:08:46 +0000 (19:08 +0100)]
Improve logfile/output flushing
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 15 Mar 2019 18:36:13 +0000 (19:36 +0100)]
Do not overwrite config.sby in reusedir mode
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 19 Mar 2019 13:20:28 +0000 (14:20 +0100)]
Merge pull request #33 from cr1901/no-resource
Meaningful Windows Support
William D. Jones [Mon, 18 Mar 2019 04:46:06 +0000 (00:46 -0400)]
Annotate cmdline comment, summary string, and output XML with
OS-specific information.
William D. Jones [Sat, 16 Mar 2019 03:14:12 +0000 (23:14 -0400)]
Choose command separator for tasks based on OS.
Signed-off-by: William D. Jones <thor0505@comcast.net>
Clifford Wolf [Sun, 17 Mar 2019 11:27:44 +0000 (12:27 +0100)]
Merge pull request #35 from FelixVi/master
Update Boolector build instructions
Felix Vietmeyer [Sat, 16 Mar 2019 21:47:47 +0000 (15:47 -0600)]
Update Boolector build instructions
Clifford Wolf [Fri, 15 Mar 2019 15:29:11 +0000 (16:29 +0100)]
Rename ".stamp" file to "status"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
William D. Jones [Tue, 12 Mar 2019 20:59:17 +0000 (16:59 -0400)]
Merge branch 'master' into no-resource
Clifford Wolf [Tue, 12 Mar 2019 19:49:19 +0000 (20:49 +0100)]
Merge pull request #32 from cr1901/win-shell
Install launcher executable when running on Windows. Fixes #30.
William D. Jones [Tue, 12 Mar 2019 04:50:52 +0000 (00:50 -0400)]
Install launcher executable when running on Windows.
Signed-off-by: William D. Jones <thor0505@comcast.net>
William D. Jones [Sun, 10 Mar 2019 05:43:55 +0000 (00:43 -0500)]
Gate Unix-specific functionality from resources and fcntl.
Signed-off-by: William D. Jones <thor0505@comcast.net>
Clifford Wolf [Sat, 9 Mar 2019 20:52:51 +0000 (12:52 -0800)]
Improve rerun-in-existing-dir functionality
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 9 Mar 2019 20:42:54 +0000 (12:42 -0800)]
Add support for (re-)running in existing workdir
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 8 Mar 2019 20:20:08 +0000 (12:20 -0800)]
Add --dumptasks to documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 8 Mar 2019 18:45:32 +0000 (10:45 -0800)]
Improve sby file pycode/tasks handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sun, 3 Mar 2019 03:09:33 +0000 (19:09 -0800)]
Add --dumpcfg and --dumptasks
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 10 Dec 2018 02:44:08 +0000 (03:44 +0100)]
Further improve BTOR cex handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 10 Dec 2018 01:42:03 +0000 (02:42 +0100)]
Improve BTOR cex handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 8 Dec 2018 22:42:52 +0000 (23:42 +0100)]
Also add install docs for btorsim
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 8 Dec 2018 06:34:03 +0000 (07:34 +0100)]
Update boolector build instructions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 8 Dec 2018 06:16:19 +0000 (07:16 +0100)]
Fixes and improvements in BTOR engine
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 8 Dec 2018 06:03:36 +0000 (22:03 -0800)]
Merge pull request #22 from YosysHQ/btor
Btor BMC engine
Clifford Wolf [Sat, 8 Dec 2018 06:01:21 +0000 (07:01 +0100)]
Working BTOR BMC engine
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 8 Dec 2018 04:23:04 +0000 (05:23 +0100)]
Add btor engine
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 22 Nov 2018 16:08:28 +0000 (17:08 +0100)]
Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 12 Nov 2018 08:36:12 +0000 (09:36 +0100)]
Generate AIGERs with -I -B
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 12 Sep 2018 11:26:08 +0000 (13:26 +0200)]
Improve bogus task tags detection
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 12 Sep 2018 11:23:22 +0000 (13:23 +0200)]
Detect bogus task tags
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 12 Sep 2018 11:12:24 +0000 (13:12 +0200)]
Add "skip" options (smtbmc only)
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 6 Sep 2018 17:36:25 +0000 (19:36 +0200)]
Update docs
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 27 Aug 2018 17:35:25 +0000 (19:35 +0200)]
Update README.md
Clifford Wolf [Sat, 25 Aug 2018 16:21:34 +0000 (18:21 +0200)]
Add "pour_853_4" puzzle to examples
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 21 Aug 2018 12:00:30 +0000 (14:00 +0200)]
Fixed "counterexample trace:" log message for things like warmup failed
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 26 Jul 2018 12:19:04 +0000 (14:19 +0200)]
Fixed bug in examples/quickstart/demo.sv
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 19 Jul 2018 13:31:49 +0000 (15:31 +0200)]
Use async2sync for "multiclock off" mode
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 29 Jun 2018 17:32:03 +0000 (19:32 +0200)]
Update examples
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 29 Jun 2018 16:21:38 +0000 (18:21 +0200)]
Update remaining quickstart examples
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 29 Jun 2018 08:05:52 +0000 (10:05 +0200)]
Update quickstart demo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 23 Jun 2018 16:25:52 +0000 (18:25 +0200)]
Improve documentation of scripts and Verific bindings
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 12 May 2018 15:21:00 +0000 (17:21 +0200)]
Use "multiclock on" option in dpmem.sby example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 12 May 2018 12:03:37 +0000 (14:03 +0200)]
Use "hierarchy -simcheck" in default script
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 1 May 2018 13:58:55 +0000 (15:58 +0200)]
Fix fix for chained tasks
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 1 May 2018 12:58:18 +0000 (14:58 +0200)]
Fix bug in handling of chained tasks
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Thu, 19 Apr 2018 15:28:18 +0000 (17:28 +0200)]
Add comment support in [tasks] section
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 18 Apr 2018 17:32:58 +0000 (19:32 +0200)]
Add [script] documentation, add some paragraphs on "verific" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 13 Apr 2018 16:10:22 +0000 (18:10 +0200)]
Typo fix
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 13 Apr 2018 16:03:35 +0000 (18:03 +0200)]
Add check for malformed dst filename in [files] section
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Fri, 13 Apr 2018 14:52:56 +0000 (16:52 +0200)]
Add documentation on [files] and [file ..] sections
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 28 Mar 2018 11:31:50 +0000 (13:31 +0200)]
Add JUnit XML output file and .stamp files
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 27 Mar 2018 14:23:57 +0000 (16:23 +0200)]
More improvements in sby error handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 27 Mar 2018 14:11:43 +0000 (16:11 +0200)]
Drastically improve sby error handling
Clifford Wolf [Thu, 15 Mar 2018 18:11:42 +0000 (19:11 +0100)]
Improve handling of nomem models
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sun, 11 Mar 2018 00:26:40 +0000 (01:26 +0100)]
Add localtime also to early log messages
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sun, 11 Mar 2018 00:06:09 +0000 (01:06 +0100)]
Add localtime to log file
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 7 Mar 2018 22:10:53 +0000 (23:10 +0100)]
Extend primegen example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 7 Mar 2018 21:23:50 +0000 (22:23 +0100)]
Add "smtbmc --basecase/--induction"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 7 Mar 2018 21:16:24 +0000 (22:16 +0100)]
Add smtbmc --progress option
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Wed, 7 Mar 2018 11:31:56 +0000 (12:31 +0100)]
Add "mkdir -p" to "make install"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 6 Mar 2018 22:46:52 +0000 (23:46 +0100)]
Update verific.rst
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 6 Mar 2018 22:42:09 +0000 (23:42 +0100)]
Merge branch 'master' of github.com:cliffordwolf/SymbiYosys
Clifford Wolf [Tue, 6 Mar 2018 22:38:05 +0000 (23:38 +0100)]
Use memory_nordff in postprocess script
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 6 Mar 2018 17:05:51 +0000 (18:05 +0100)]
Improvements in [tasks] handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 6 Mar 2018 14:41:57 +0000 (15:41 +0100)]
Update verific.rst
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 6 Mar 2018 10:19:27 +0000 (11:19 +0100)]
Update verific.rst
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 6 Mar 2018 00:18:19 +0000 (01:18 +0100)]
Minor format fix in documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Tue, 6 Mar 2018 00:12:03 +0000 (01:12 +0100)]
Add more documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 5 Mar 2018 23:03:54 +0000 (00:03 +0100)]
Add fib example using tasks
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 5 Mar 2018 23:01:55 +0000 (00:01 +0100)]
Slightly change tasks syntax
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 5 Mar 2018 12:09:40 +0000 (13:09 +0100)]
Add documentation for [tasks] section
Clifford Wolf [Mon, 5 Mar 2018 12:09:20 +0000 (13:09 +0100)]
Add tasks in .sby files
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sun, 4 Mar 2018 13:09:16 +0000 (14:09 +0100)]
Add multiclock option
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sun, 4 Mar 2018 13:08:55 +0000 (14:08 +0100)]
Add smtbmc --stdt option
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 3 Mar 2018 18:59:06 +0000 (19:59 +0100)]
Fix --dump-smt2 trace name in cover mode
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 3 Mar 2018 18:58:35 +0000 (19:58 +0100)]
Add primegen example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 3 Mar 2018 18:28:26 +0000 (19:28 +0100)]
Add wolf_goat_cabbage.sby
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Sat, 3 Mar 2018 14:54:00 +0000 (15:54 +0100)]
Add engines documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Clifford Wolf [Mon, 22 Jan 2018 13:46:25 +0000 (14:46 +0100)]
Merge pull request #4 from daveshah1/fix_filetop
Ignore whitespace at top of file
David Shah [Mon, 22 Jan 2018 13:00:32 +0000 (13:00 +0000)]
Ignore whitespace at top of file
Signed-off-by: David Shah <davey1576@gmail.com>
Clifford Wolf [Fri, 19 Jan 2018 13:26:42 +0000 (14:26 +0100)]
Improve handling of comments in .sby files
Clifford Wolf [Wed, 17 Jan 2018 13:35:46 +0000 (14:35 +0100)]
Add DESTDIR and PREFIX to Makefile
Clifford Wolf [Thu, 14 Dec 2017 01:12:08 +0000 (02:12 +0100)]
Disable unrolling per default for z3
Clifford Wolf [Wed, 13 Dec 2017 18:17:20 +0000 (19:17 +0100)]
Add dpmem multiclk example
Clifford Wolf [Tue, 5 Dec 2017 16:16:38 +0000 (17:16 +0100)]
Make --presat and --unroll the default for smtbmc
Clifford Wolf [Fri, 24 Nov 2017 19:12:58 +0000 (20:12 +0100)]
Add "sby -t", improve handling of stdin
Clifford Wolf [Fri, 24 Nov 2017 18:58:39 +0000 (19:58 +0100)]
Merge pull request #2 from awygle/scriptability
Support parsing sby file from stdin
Andrew Wygle [Fri, 24 Nov 2017 17:39:41 +0000 (09:39 -0800)]
Minimum-modification change for stdin support
Clifford Wolf [Sat, 28 Oct 2017 12:01:42 +0000 (14:01 +0200)]
Add missing prerequisites to quickstart guide