13 Commits

Author	SHA1	Message	Date
Mathias Baumann	8584c98b6a	Add annotation field `requiresVirtualLookup`	2020-09-28 17:36:23 +02:00
Mathias Baumann	dd81d05559	Make annotations `SetOnce or optional` where feasible	2020-09-22 17:38:21 +02:00
chriseth	20efba6b55	Merge pull request #9568 from ethereum/fixImmutables ... Fix reads checks for complex assignment and increment/decrement for immutable variables.	2020-08-28 16:14:18 +02:00
chriseth	8b564a7be7	Fix reads checks for immutable variables.	2020-08-28 15:24:40 +02:00
Harikrishnan Mulackal	7ff809dc78	Disallow assigning more than once to immutables during the vardecl	2020-08-28 13:42:54 +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
Mathias Baumann	fe43132003	Fix clang v10 compilation errors	2020-05-11 14:59:51 +02:00
a3d4	8f68c04358	Add unique IDs to error reporting calls	2020-05-06 13:53:46 +02:00
a3d4	e3641b88ec	Groundwork. Prepare for automatic tagging ... [Not compilable until the next commit]	2020-05-06 13:52:28 +02:00
hrkrshnn	e2e32d372f	virtual modifiers (in Abstract contracts) allow empty bodies	2020-04-23 17:26:59 +05:30
hrkrshnn	4760b8589d	Replaced all instances of lValueRequested to willBeWrittenTo	2020-04-20 12:33:30 +05:30
chriseth	bdcfd71f34	Skip verification for external access.	2020-04-02 18:40:43 +02:00
Mathias Baumann	ac7b31e559	Validate immutable variables	2020-04-02 13:52:27 +02:00