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 |
|
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 |
|
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 |
|