7 Commits

Author	SHA1	Message	Date
a3d4	e04cedafc5	Added error codes to SyntaxTest expectations (updated tests)	2020-06-22 16:51:47 +02:00
chriseth	96d777d7f1	Merge commit 'a7d481fb9' into develop_060	2019-12-03 20:47:30 +01:00
Leonardo Alt	a352abe00d	[SMTChecker] Add support to constructors	2019-11-28 14:43:23 +01:00
Daniel Kirchner	3321fc56ea	Split fallback function and introduce "fallback()" and "receive()" syntax.	2019-11-04 17:17:58 +01:00
Leonardo Alt	360f868836	[SMTChecker] Fix literal string type mismatch	2019-08-10 21:51:46 +02:00
Leonardo Alt	3cb4ed83c1	[SMTChecker] Split SMTChecker into SMTEncoder and BMC	2019-07-01 15:05:03 +02:00
Leonardo Alt	6027383ae5	[SMTChecker] Fix call to function at state var init	2019-05-09 16:12:44 +02:00