14 Commits

Author	SHA1	Message	Date
Martin Blicha	2f52affcc2	[SMTChecker] Correctly resolve current scope contract in VariableUsage.	2021-03-15 13:55:14 +01:00
Leonardo Alt	545305a31f	[SMTChecker] Fix super and virtual	2021-01-28 18:51:29 +01:00
Leonardo Alt	9482e7de23	[SMTChecker] Fix calls to virtual/overriden functions	2020-12-29 11:25:20 +01:00
Leonardo Alt	8df8c6e14f	[SMTChecker] Fix ICE in BMC function inlining	2020-08-05 11:47:25 +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
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
Leonardo Alt	96b0c4c148	[SMTChecker] New VariableUsage flag to inline functions	2019-07-08 14:40:33 +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	207d5859d1	Refactoring Declaration -> VariableDeclaration (more precise)	2018-06-12 10:58:50 +02:00
chriseth	b37377641d	Track usage of variables.	2017-11-22 02:35:34 +00:00