25 Commits

Author	SHA1	Message	Date
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
chriseth	fda8bde2d7	Stop after parsing.	2020-09-30 16:57:49 +02: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
Alex Beregszaszi	76dfda7c1c	Replace boost:variant with std::variant in StandardCompiler	2020-05-11 12:39:53 +01:00
Alexander Arlt	aac7a1e434	Apply modernize-pass-by-value.	2020-04-14 10:32:13 -05:00
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
Leonardo Alt	ddc478e3e4	Add CallbackKind and use it for the SMT solver	2019-11-21 22:10:21 +00:00
chriseth	138ee647f1	Provide different options for reason strings.	2019-11-07 14:13:53 +01:00
chriseth	edf1e83fda	Merge remote-tracking branch 'origin/develop' into develop_060	2019-10-28 15:21:49 +01:00
Christian Parpart	df729b3084	Make use of C++17 std::optional<> instead of boost::optional<>.	2019-10-28 11:39:30 +01:00
Leonardo Alt	d685554980	Create option for metadata hash	2019-09-13 18:59:12 +02:00
rocky	1a7e09ab7a	Add errorRecovery boolean to StandardCompiler	2019-06-18 15:54:05 -04:00
Alex Beregszaszi	3bc2c35cc4	Support compiling Yul within StandardCompiler	2019-03-22 01:35:16 +00:00
chriseth	8b20ecb558	Refactor StandardCompiler to split into input parsing/validating and compilation steps.	2019-03-07 17:49:55 +01:00
chriseth	4d10f4b4cf	Process and validate standard-json optimizer settings.	2019-03-04 11:40:28 +01:00
Alex Beregszaszi	5b4ad10b3c	Mark StandardCompiler::compile as noexcept ... It has a generic catch statement and shouldn't leak out exceptions.	2018-08-08 13:22:40 +01:00
Cryptomental	140dbfdbd8	Code, Changelog, ReleaseChecklist: Fix typos. ... Refs: #4442	2018-07-11 00:26:23 +02:00
chriseth	9ac2ac14c1	Rename read file callback.	2017-08-23 17:37:35 +02:00
Alex Beregszaszi	2a5772cff7	Mark appropriate constructors explicit	2017-08-22 10:51:46 +01:00
Alex Beregszaszi	c82a203206	Document that the ReadFileCallback should not emit exceptions	2017-04-22 14:08:28 +01:00
chriseth	c76e0a5872	Changed const reference to value.	2017-04-22 01:12:38 +02:00
Alex Beregszaszi	8de02c7778	Support URL sources in StandardCompiler	2017-04-21 16:44:15 +01:00
Alex Beregszaszi	418759ece0	Catch exceptions of StandardCompiler	2017-04-20 19:38:00 +01:00
Alex Beregszaszi	5754b13b47	Add StandardCompiler skeleton	2017-04-20 19:38:00 +01:00