chriseth
|
c9cf24458b
|
Prepare build system for Z3.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
b3f8ed457a
|
Cleanup.
|
2017-08-23 14:24:30 +02:00 |
|
chriseth
|
39fc798999
|
Use file to communicate with z3.
|
2017-08-23 14:24:05 +02:00 |
|
chriseth
|
df848859da
|
Rewrite using SMTLIB2 interface.
|
2017-08-23 14:24:05 +02:00 |
|
chriseth
|
1ece7bf443
|
z3 conditions
|
2017-08-23 14:24:04 +02:00 |
|
Alex Beregszaszi
|
3b07c4d38e
|
Merge pull request #2757 from ethereum/cmake
Static linking
|
2017-08-23 12:36:24 +01:00 |
|
chriseth
|
c5f11d938f
|
Merge pull request #2656 from ethereum/performance1
Avoid some Json copy operations.
|
2017-08-23 13:26:43 +02:00 |
|
Paweł Bylica
|
388fc983fa
|
CMake: Cleanup "local" include path
|
2017-08-22 22:50:25 +02:00 |
|
Alex Beregszaszi
|
efe4d68a7b
|
Introduce view (and keep constant as an alias)
|
2017-08-22 18:24:22 +01:00 |
|
chriseth
|
210b4870a8
|
Merge pull request #2775 from ethereum/coverity
Fix some issues found by Coverity
|
2017-08-22 15:39:50 +02:00 |
|
Alex Beregszaszi
|
badb269502
|
Merge pull request #2776 from ethereum/removeVisitsToAbstractASTNode
Remove visits to abstract AST class TypeName.
|
2017-08-22 14:34:55 +01:00 |
|
chriseth
|
9b6caa3fc4
|
Remove visits to abstract AST class TypeName.
|
2017-08-22 15:12:38 +02:00 |
|
Alex Beregszaszi
|
f2d6226718
|
Some smaller issues found by Covertiy Scan
|
2017-08-22 13:55:28 +01:00 |
|
Alex Beregszaszi
|
97169e58ae
|
Merge pull request #2734 from ethereum/reject-create-interface
Reject the creation of interface with the new statement
|
2017-08-22 12:11:37 +01:00 |
|
chriseth
|
628b54ce35
|
Reduce max recursion depth.
|
2017-08-22 12:44:23 +02:00 |
|
chriseth
|
692e4c57e8
|
Check recursion depth in assembly parser.
|
2017-08-22 12:44:22 +02:00 |
|
chriseth
|
7b0046a9aa
|
Check inheritance specifier arguments for interfaces.
|
2017-08-22 11:39:50 +01:00 |
|
Alex Beregszaszi
|
9897c56b2c
|
Mark a lot of functions static (where possible)
|
2017-08-22 10:51:46 +01:00 |
|
Alex Beregszaszi
|
2a5772cff7
|
Mark appropriate constructors explicit
|
2017-08-22 10:51:46 +01:00 |
|
Alex Beregszaszi
|
e2cfc9ee92
|
Mark a lot of functions const (where possible)
|
2017-08-22 10:51:46 +01:00 |
|
Alex Beregszaszi
|
b25f0c52ac
|
Reject the creation of interface with the new statement
|
2017-08-21 23:02:18 +01:00 |
|
Alex Beregszaszi
|
c94b1f8173
|
Set variable to nullptr in ASTPrinter
|
2017-08-21 22:05:35 +01:00 |
|
Alex Beregszaszi
|
2c2ae74217
|
Merge pull request #2773 from ethereum/usingForWithoutLibrary
Fix crash related to ``using for`` without a library.
|
2017-08-21 19:47:57 +01:00 |
|
Alex Beregszaszi
|
4b56829ac3
|
Create children node in ASTJsonConverter when neccesary
|
2017-08-21 16:28:30 +01:00 |
|
chriseth
|
e3f90565d8
|
Avoid some Json copy operations.
|
2017-08-21 16:28:30 +01:00 |
|
Alex Beregszaszi
|
4219acaba9
|
Merge pull request #2771 from ethereum/unused-includes
Remove some unused includes
|
2017-08-21 16:26:44 +01:00 |
|
chriseth
|
ec82706396
|
Fix crash related to `using for` without a library.
|
2017-08-21 16:57:37 +02:00 |
|
chriseth
|
d270879c8f
|
Merge pull request #2748 from ethereum/natspec
Remove DocumentationType from natspec
|
2017-08-21 16:46:00 +02:00 |
|
chriseth
|
01b4bba0ed
|
Merge branch 'develop' into library-constructor
|
2017-08-21 16:34:59 +02:00 |
|
Alex Beregszaszi
|
b3986f1d07
|
Remove some unused includes
|
2017-08-21 14:08:58 +01:00 |
|
chriseth
|
2c5985de06
|
Be more strict about number literals in assembly.
|
2017-08-21 13:31:28 +02:00 |
|
Paweł Bylica
|
fa53494626
|
CMake: Remove libsolidity <- boost::regex dependency
|
2017-08-21 12:37:55 +02:00 |
|
Paweł Bylica
|
99d198ffb0
|
CMake: Make libs dependencies explicit
|
2017-08-21 12:27:06 +02:00 |
|
Alex Beregszaszi
|
fe25bcf350
|
Library cannot have constructors
|
2017-08-21 11:03:55 +01:00 |
|
Paweł Bylica
|
8404e2b6d7
|
CMake: Simplify libsolidity config
|
2017-08-18 13:32:35 +02:00 |
|
Paweł Bylica
|
d1f4d110fb
|
CMake: Build static libs by default
|
2017-08-18 13:32:35 +02:00 |
|
Alex Beregszaszi
|
7700f4033e
|
Remove isDeclaredConst() from functions
|
2017-08-16 17:23:09 +01:00 |
|
Alex Beregszaszi
|
33ea314a24
|
Add statemutability to AST JSON
|
2017-08-16 17:23:09 +01:00 |
|
Alex Beregszaszi
|
a61c88e9fe
|
Use state mutability in override error messages
|
2017-08-16 17:23:09 +01:00 |
|
Alex Beregszaszi
|
a2aaa47ee2
|
Use state mutability in fallback/constructor check
|
2017-08-16 17:23:09 +01:00 |
|
Alex Beregszaszi
|
93be0dd923
|
FunctionType comparison/identifer to support all statemutability levels
|
2017-08-16 17:23:08 +01:00 |
|
chriseth
|
3d595d4b14
|
Warn about shift of literals.
|
2017-08-16 13:54:28 +02:00 |
|
Alex Beregszaszi
|
7222fac456
|
Remove DocumentationType from natspec
|
2017-08-15 19:56:38 +01:00 |
|
Alex Beregszaszi
|
12f3257e7d
|
Add statemutability field to the ABI
|
2017-08-15 11:35:50 +01:00 |
|
chriseth
|
32e43477c3
|
Prevent too deep recursion in parser.
|
2017-08-14 22:19:15 +02:00 |
|
chriseth
|
2411f5d839
|
Merge pull request #2704 from ethereum/newEncoder
New ABI encoder
|
2017-08-14 17:04:00 +02:00 |
|
Alex Beregszaszi
|
a26a5f20ce
|
Remove constant/payable in all function types
|
2017-08-14 14:21:47 +01:00 |
|
Alex Beregszaszi
|
b225bf5d53
|
Remove useless payable & constant typecheck
|
2017-08-14 14:21:47 +01:00 |
|
Alex Beregszaszi
|
2a9ba937ba
|
Replace constant/payable with StateMutability in AST
|
2017-08-14 14:21:47 +01:00 |
|
chriseth
|
d1ad62fccc
|
Experimental feature switch for ABI encoder.
|
2017-08-14 13:11:41 +01:00 |
|
chriseth
|
ee6f56d641
|
Remove unused magic global feature.
|
2017-08-14 13:11:41 +01:00 |
|
chriseth
|
4630b3315a
|
Interface for new ABI encoder.
|
2017-08-14 12:44:25 +02:00 |
|
chriseth
|
42fe8a2cb1
|
New ABI encoder.
|
2017-08-14 12:44:25 +02:00 |
|
chriseth
|
77b26552b1
|
Allow multi-dimensional arrays in interfaces.
|
2017-08-14 12:44:25 +02:00 |
|
chriseth
|
4d9790b6d5
|
Merge pull request #2703 from ethereum/warnAboutLargeStorageArrays
Warn about large storage structures.
|
2017-08-14 11:37:01 +02:00 |
|
Federico Bond
|
3571db6e3f
|
Avoid duplicate errors due to function overrides
|
2017-08-11 22:45:26 +01:00 |
|
Federico Bond
|
d4997dd9a3
|
Use a secondary location for function override errors
|
2017-08-11 22:45:25 +01:00 |
|
Federico Bond
|
a6949851f3
|
Refactor function override check to remove duplicate logic
|
2017-08-11 22:45:25 +01:00 |
|
Federico Bond
|
ff5bb54e3c
|
Use fully qualified name of super in message
|
2017-08-11 22:45:25 +01:00 |
|
Federico Bond
|
a5ceaac8df
|
Improve override changes signature error message
|
2017-08-11 22:45:25 +01:00 |
|
chriseth
|
da3ac86403
|
Warn about large storage structures.
|
2017-08-11 20:57:57 +02:00 |
|
Federico Bond
|
a8c047f48d
|
Enforce commas in tuple syntax
|
2017-08-11 17:28:48 +01:00 |
|
Alex Beregszaszi
|
2d1bab0de8
|
Output experimental flag in metadata only for risky features
|
2017-08-11 16:38:43 +01:00 |
|
Alex Beregszaszi
|
4d82d4f57a
|
Store experimental flag in metadata CBOR
|
2017-08-11 16:38:43 +01:00 |
|
Alex Beregszaszi
|
53a497b4d8
|
Add analysis-only experimental features
|
2017-08-11 16:38:37 +01:00 |
|
Alex Beregszaszi
|
644c91fc2d
|
Add __test experimental mode for testing
|
2017-08-11 16:38:02 +01:00 |
|
chriseth
|
a7a9ed4718
|
Merge pull request #2727 from ethereum/simplify-types
Simplify if/else statements in Types
|
2017-08-11 11:46:16 +02:00 |
|
Alex Beregszaszi
|
3dcf089c3f
|
Simplify if/else statements in Types
|
2017-08-10 19:14:33 +01:00 |
|
gubatron
|
ad7a63f890
|
FunctionType operator== boolean refactor
|
2017-08-10 17:04:40 +01:00 |
|
Alex Beregszaszi
|
1b32cdcf21
|
Check for payable when comparing function types
|
2017-08-10 17:03:45 +01:00 |
|
chriseth
|
41e3cbe084
|
Merge pull request #2690 from ethereum/experimental-pragma
Support experimental feature pragma
|
2017-08-10 15:23:34 +02:00 |
|
Alex Beregszaszi
|
57c2451130
|
Introduce ExperimentalFeatures header
|
2017-08-10 00:15:25 +01:00 |
|
Alex Beregszaszi
|
690ed37fd4
|
Reject wildcard and multiple experimental pragmas
|
2017-08-09 23:41:46 +01:00 |
|
Alex Beregszaszi
|
de9e758ef7
|
Reject unsupported experimental feature names
|
2017-08-09 23:41:46 +01:00 |
|
Alex Beregszaszi
|
e44da40835
|
Warn if using experimental pragma
|
2017-08-09 23:41:46 +01:00 |
|
Alex Beregszaszi
|
fbcc5f4ee5
|
Support experimental feature pragma
|
2017-08-09 23:41:46 +01:00 |
|
chriseth
|
b38f31617e
|
Add isDynamicallyEncoded member function to types.
|
2017-08-09 23:18:42 +01:00 |
|
Alex Beregszaszi
|
b210db8058
|
Make toString(visibility) a helper
|
2017-08-09 14:58:59 +01:00 |
|
Alex Beregszaszi
|
efd45f64a5
|
Show previous visibility specifier in parser error
|
2017-08-09 14:30:17 +01:00 |
|
Alex Beregszaszi
|
a8ca623a0f
|
Add test for multiple visibilites on functions
|
2017-08-09 14:30:02 +01:00 |
|
Alex Beregszaszi
|
3b41cd3c23
|
Rename Token::Const to Token::Constant
|
2017-08-09 12:50:53 +01:00 |
|
Alex Beregszaszi
|
8df89c5d5b
|
Disable unimplemented library functions instead
|
2017-08-08 12:42:10 +01:00 |
|
Alex Beregszaszi
|
1ada48f61e
|
Raise error when using unimplemented internal library functions.
|
2017-08-08 11:58:00 +01:00 |
|
Alex Beregszaszi
|
bb0eb57c2f
|
Constructors must be implemented if declared.
|
2017-08-04 20:38:45 +01:00 |
|
Alex Beregszaszi
|
a372941a44
|
Merge pull request #2687 from ethereum/show-unimplemented-funcs
Show unimplemented function if trying to instantiate an abstract class
|
2017-08-04 19:46:09 +01:00 |
|
chriseth
|
060d229a22
|
Search for shadowee starting from parent scope.
|
2017-08-04 19:06:24 +02:00 |
|
Alex Beregszaszi
|
32acadf43d
|
Do not mark overloaded functions as shadowing
|
2017-08-04 19:06:23 +02:00 |
|
Alex Beregszaszi
|
2186401479
|
Remove duplicated check for unimplemented functions
|
2017-08-04 14:03:38 +01:00 |
|
Alex Beregszaszi
|
494dea262e
|
Show unimplemented function if trying to instantiate an abstract class
|
2017-08-04 14:03:37 +01:00 |
|
Alex Beregszaszi
|
c835bcec62
|
Replace isFullyImplemented with unimplementedFunctions in ASTAnnotations
|
2017-08-04 14:03:37 +01:00 |
|
chriseth
|
38e9505a83
|
Merge pull request #2673 from ethereum/builtin-gas
Disallow gas modifier on sha256/ripemd160/ecrecover
|
2017-08-04 14:43:15 +02:00 |
|
chriseth
|
bd9e91085b
|
Merge pull request #2679 from ethereum/delegatecall
.delegatecall() should always return a boolean of execution status
|
2017-08-02 15:46:02 +02:00 |
|
Alex Beregszaszi
|
934a5dbf53
|
Consistent format for secondary location in sourceformatter
|
2017-08-02 11:31:55 +01:00 |
|
Alex Beregszaszi
|
7553beb6a6
|
Consistent new line in sourceformatter
|
2017-08-02 11:31:17 +01:00 |
|
Alex Beregszaszi
|
b7642dc8a7
|
Disallow gas modifier on sha255/ripemd160/ecrecover
|
2017-08-01 20:55:01 +01:00 |
|
Alex Beregszaszi
|
b3061225bc
|
.delegatecall() should always return a boolean of execution status
|
2017-08-01 20:50:03 +01:00 |
|
Alex Beregszaszi
|
39dba0efe8
|
Provide new account gas for low-level callcode/delegatecall
|
2017-08-01 14:00:17 +01:00 |
|
Alex Beregszaszi
|
6d37f30d76
|
Rename Bare to Barecall
|
2017-08-01 10:47:10 +01:00 |
|
chriseth
|
b74118ec57
|
Fix for invalid clearing of memory in ecrecover.
|
2017-07-28 15:32:42 +02:00 |
|
Alex Beregszaszi
|
7d37eba4ba
|
Remove the need of jumping out of the fallback
|
2017-07-27 21:52:58 +01:00 |
|