449 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Clifford Wolf	d24d7e1aef	Use "hierarchy -simcheck" in default script ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-05-12 14:03:37 +02:00
Clifford Wolf	35d956c7bb	Fix fix for chained tasks ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-05-01 15:58:55 +02:00
Clifford Wolf	162bdc9a3b	Fix bug in handling of chained tasks ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-05-01 14:58:18 +02:00
Clifford Wolf	21d9e5d66f	Add comment support in [tasks] section ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-19 17:28:18 +02:00
Clifford Wolf	437a401739	Add [script] documentation, add some paragraphs on "verific" command ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-18 19:32:58 +02:00
Clifford Wolf	f0bf0c155a	Typo fix ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-13 18:10:22 +02:00
Clifford Wolf	836d54d4c7	Add check for malformed dst filename in [files] section ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-13 18:03:35 +02:00
Clifford Wolf	9beb469ad9	Add documentation on [files] and [file ..] sections ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-04-13 16:52:56 +02:00
Clifford Wolf	fc7ace7884	Add JUnit XML output file and .stamp files ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-28 13:31:50 +02:00
Clifford Wolf	36c7185393	More improvements in sby error handling ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-27 16:23:57 +02:00
Clifford Wolf	9edc65874c	Drastically improve sby error handling	2018-03-27 16:11:43 +02:00
Clifford Wolf	76a624a363	Improve handling of nomem models ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-15 19:11:42 +01:00
Clifford Wolf	c003a1b078	Add localtime also to early log messages ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-11 01:26:40 +01:00
Clifford Wolf	93752c6fce	Add localtime to log file ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-03-11 01:06:09 +01:00