13 Commits

Author	SHA1	Message	Date
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
Leonardo Alt	382df64899	[SMTChecker] Refactor function inlining	2019-07-18 13:56:48 +02:00
Leonardo Alt	96b0c4c148	[SMTChecker] New VariableUsage flag to inline functions	2019-07-08 14:40:33 +02:00
Leonardo Alt	3cb4ed83c1	[SMTChecker] Split SMTChecker into SMTEncoder and BMC	2019-07-01 15:05:03 +02:00
chriseth	01dd9ba2ae	Merge pull request #6717 from ethereum/smt_namespace ... Move SMT specific code into smt namespace	2019-05-13 12:45:34 +02:00
Leonardo Alt	fac383a233	Move SMT specific code into smt namespace	2019-05-10 20:03:11 +02:00
Leonardo Alt	3ea5c112d3	[SMTChecker] Fix VariableUsage for IndexAccess	2019-05-10 11:28:10 +02:00
Leonardo Alt	3d52a6ca68	[SMTChecker] Fix ICE in branch-inline function call-modify local variable	2019-05-09 09:15:11 +02:00
Leonardo Alt	79d8a4e13a	[SMTChecker] Refactor VariableUsage	2019-04-05 11:38:37 +02:00
Leonardo Alt	1d63b97857	Take inlined function calls into account when collecting touched variables	2019-03-28 14:32:47 +01:00
Leonardo Alt	207d5859d1	Refactoring Declaration -> VariableDeclaration (more precise)	2018-06-12 10:58:50 +02:00
Leonardo Alt	2dbb35d4a8	[SMTChecker] Support to integer and Bool storage vars	2018-05-15 14:22:50 +02:00
chriseth	b37377641d	Track usage of variables.	2017-11-22 02:35:34 +00:00