Daniel Kirchner
|
6f04664cfa
|
Disallow array slicing for arrays with dyanmically encoded base types.
|
2020-05-13 15:52:22 +02:00 |
|
a3d4
|
02d1f8c41a
|
Remove a dedicated error flag from DeclarationTypeChecker
|
2020-05-12 18:13:17 +02:00 |
|
chriseth
|
077cab0860
|
Merge pull request #8902 from a3d4/partfix-5819-add-more-error-ids
Add error IDs to OverrideChecker, BMC and ContractLevelChecker
|
2020-05-12 13:22:42 +02:00 |
|
a3d4
|
02eee54f38
|
Add error IDs to ContractLevelChecker
|
2020-05-12 11:42:29 +02:00 |
|
a3d4
|
1d5350e32f
|
Add error IDs to OverrideChecker
|
2020-05-12 02:26:02 +02:00 |
|
Daniel Kirchner
|
c1ed5bbb0f
|
Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them.
|
2020-05-11 17:35:01 +02:00 |
|
chriseth
|
debee799dc
|
Merge pull request #8892 from ethereum/boost-cxx11
Replace boost/algorithm/cxx11 with C++11 features
|
2020-05-11 16:29:42 +02:00 |
|
chriseth
|
e2f7e8a3a7
|
Merge pull request #8890 from ethereum/fixclangv10
Fix clang v10 compilation errors
|
2020-05-11 15:39:09 +02:00 |
|
Alex Beregszaszi
|
875415a132
|
Replace boost/algorithm/cxx11 with C++11 features
|
2020-05-11 14:27:54 +01:00 |
|
chriseth
|
0248303c15
|
Merge pull request #8872 from ethereum/int-min-max
implemented type(X).min and type(X).max for all integer types
|
2020-05-11 15:08:19 +02:00 |
|
Mathias Baumann
|
fe43132003
|
Fix clang v10 compilation errors
|
2020-05-11 14:59:51 +02:00 |
|
Harikrishnan Mulackal
|
e54c4eecfc
|
implemented type(X).min and type(X).max for all integer types
|
2020-05-11 14:51:13 +05:30 |
|
chriseth
|
aa7684fb54
|
Merge pull request #8864 from a3d4/fix-error-reporting-source-code-format
Fix error reporting source code format
|
2020-05-07 20:15:51 +02:00 |
|
Mathias Baumann
|
50e59f1008
|
trigger error when runtimeCode is called on contracts with immutables
|
2020-05-07 15:10:04 +02:00 |
|
a3d4
|
7e1835af71
|
Fix error reporting source code format
|
2020-05-07 04:46:02 +02:00 |
|
chriseth
|
6fb112fa8e
|
Remove some unneeded headers.
|
2020-05-07 01:49:46 +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 |
|
a3d4
|
3bd15655cb
|
Type Checker: Fix internal error when applying unary operators to tuples with empty components
|
2020-04-29 02:18:48 +02:00 |
|
hrkrshnn
|
e2e32d372f
|
virtual modifiers (in Abstract contracts) allow empty bodies
|
2020-04-23 17:26:59 +05:30 |
|
chriseth
|
a371910674
|
Merge pull request #8642 from ethereum/interfaceid
Add support for interfaceId.
|
2020-04-23 12:24:49 +02:00 |
|
a3d4
|
c4bc77874b
|
Disallow empty tuples on the left hand side
|
2020-04-23 07:02:04 +02:00 |
|
a3d4
|
9538024c81
|
Fix #8711, #8277
|
2020-04-23 05:57:35 +02:00 |
|
chriseth
|
264c4264a1
|
Merge pull request #8644 from ethereum/refactor-lValueRequested
Replaced all instances of lValueRequested to willBeWrittenTo
|
2020-04-20 15:03:50 +02:00 |
|
chriseth
|
c24c4f85e4
|
Merge pull request #8665 from ethereum/recursiveStructRefactoring
Recursive struct refactoring and a bunch of ICE fixes.
|
2020-04-20 13:24:19 +02:00 |
|
hrkrshnn
|
4760b8589d
|
Replaced all instances of lValueRequested to willBeWrittenTo
|
2020-04-20 12:33:30 +05:30 |
|
Alexander Arlt
|
3754a86ab2
|
Add support for interfaceID.
|
2020-04-16 12:17:40 -05:00 |
|
Daniel Kirchner
|
f6d1cee06b
|
Ensure that public callable parameters are valid for calldata.
|
2020-04-16 17:23:20 +02:00 |
|
Daniel Kirchner
|
6093982606
|
Review suggestions.
|
2020-04-16 16:42:12 +02:00 |
|
Daniel Kirchner
|
6f06154eb5
|
Move direct struct recursion check to detect recursion in global structs.
|
2020-04-16 16:42:12 +02:00 |
|
Daniel Kirchner
|
b744a56801
|
Refactoring of errors and fixes for various ICEs.
|
2020-04-16 16:42:12 +02:00 |
|
Daniel Kirchner
|
df1809f8da
|
Annotate struct definitions with a recursive flag.
|
2020-04-16 16:42:12 +02:00 |
|
Daniel Kirchner
|
b86c927505
|
Disallow virtual and override for constructors.
|
2020-04-15 13:58:37 +02:00 |
|
Alexander Arlt
|
aac7a1e434
|
Apply modernize-pass-by-value.
|
2020-04-14 10:32:13 -05:00 |
|
Daniel Kirchner
|
3af43fd350
|
Extract typing.
|
2020-04-14 10:59:28 +02:00 |
|
a3d4
|
3ef510bc86
|
Removed a redundant else clause.
|
2020-04-08 23:40:29 +02:00 |
|
chriseth
|
806c835647
|
Merge pull request #8568 from aarlt/clang-tidy-apply-modernize-use-override
clang-tidy: Apply modernize-use-override.
|
2020-04-06 16:09:02 +02:00 |
|
Daniel Kirchner
|
d68c526eaa
|
Disallow external function pointers as immutables.
|
2020-04-03 11:56:51 +02:00 |
|
Alexander Arlt
|
cae6e7769f
|
Apply modernize-use-override.
|
2020-04-02 18:00:44 -05:00 |
|
chriseth
|
bdcfd71f34
|
Skip verification for external access.
|
2020-04-02 18:40:43 +02:00 |
|
hrkrshnn
|
ef2bef9ddc
|
Added error for interface function with modifiers; test case
|
2020-04-02 20:30:43 +05:30 |
|
Mathias Baumann
|
ac7b31e559
|
Validate immutable variables
|
2020-04-02 13:52:27 +02:00 |
|
chriseth
|
a2b427dc0b
|
Merge pull request #8567 from ethereum/storage-pointer-checker
Removed redundant storage declaration check; test coverages
|
2020-04-02 13:46:51 +02:00 |
|
hrkrshnn
|
79387b2ada
|
Removed redundant declaration check; changed relevant test cases
|
2020-04-02 12:27:38 +05:30 |
|
Alexander Arlt
|
3e649eb8e1
|
Disallow access to functions from inline assembly.
|
2020-04-01 10:34:55 +02:00 |
|
a3d4
|
c002cae691
|
Fix #8450. Prevented internal compiler errors when assigning nested tuples.
|
2020-03-31 03:25:26 +02:00 |
|
a3d4
|
339f3ca32c
|
Fix #8427: Promoted typeError to fatalTypeError in ReferencesResolver::endVisit(UserDefinedTypeName).
|
2020-03-25 02:51:34 +01:00 |
|
iamdefinitelyahuman
|
cae4b7dd0e
|
fix typo in docstring error message
|
2020-03-22 17:15:44 +04:00 |
|
chriseth
|
fa148f2483
|
Parsing of immutable state variable.
|
2020-03-12 17:11:24 +01:00 |
|
a3d4
|
a86c511713
|
Replaced "assert" with "if" (incorrect contract code is not supposed to trigger asserts).
|
2020-03-12 14:03:27 +01:00 |
|