19 Commits

Author	SHA1	Message	Date
Leonardo Alt	b753cb6120	Deprecate pragma experimental SMTChecker	2021-04-08 21:03:38 +02:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00
Leonardo Alt	d03ddeb0fa	[SMTChecker] User timeout option	2020-11-03 10:46:11 +00:00
Leonardo Alt	4e49135318	Add CLI option to choose model checker engine	2020-10-16 15:01:47 +01:00
Sachin Grover	b7adb2aa42	Add SPDX license identifier if not present already in source file ... Fixes: #9220	2020-07-17 20:24:12 +05:30
Leonardo Alt	45eba27424	Rename namespace	2020-05-20 12:55:18 +02:00
Leonardo Alt	087605ea02	Create libsmtutil	2020-05-20 12:55:18 +02:00
Leonardo Alt	3bee348525	Change CHC encoding to functions forest instead of explicit CFG	2020-03-03 12:12:26 +01:00
Leonardo Alt	ba576bc6c3	Fix new namespaces	2020-02-12 10:35:44 -03:00
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
chriseth	f6916a637e	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-09 17:16:58 +01:00
Leonardo Alt	225041738e	Add SMTCheckerTest for isoltest	2019-12-09 15:32:08 +01:00
chriseth	e061f1e743	Merge remote-tracking branch 'origin/develop' into HEAD	2019-12-05 16:44:26 +01:00
Leonardo Alt	7be6b54fc7	Add comment	2019-12-04 17:31:44 +01:00
Leonardo Alt	48c3a5c225	[SMTChecker] Create options to choose SMT solver in runtime	2019-12-04 17:31:44 +01:00
Leonardo Alt	ddc478e3e4	Add CallbackKind and use it for the SMT solver	2019-11-21 22:10:21 +00:00
Leonardo Alt	4214cd1354	[SMTChecker] Fix ICE when reporting cex concerning state vars from different source files	2019-08-10 20:56:52 +02:00
Leonardo Alt	03cc124f32	Add CHC skeleton	2019-07-19 11:52:05 +02:00
Leonardo Alt	3cb4ed83c1	[SMTChecker] Split SMTChecker into SMTEncoder and BMC	2019-07-01 15:05:03 +02:00