Alex Beregszaszi
|
79e84a8fa4
|
Swap declaration/statemutability in FunctionType constructor
|
2017-08-28 19:43:35 +01:00 |
|
Alex Beregszaszi
|
aa94000a91
|
Mark all built in functions with appropriate statemutability
|
2017-08-28 19:43:35 +01:00 |
|
Alex Beregszaszi
|
c7cb00d49a
|
Mark event non-payable and not view
|
2017-08-28 16:37:45 +01:00 |
|
Alex Beregszaszi
|
ab06346e6e
|
Merge pull request #2835 from ethereum/compilerstack-docs
Reorder some methods in CompilerStack for readability
|
2017-08-28 16:27:10 +01:00 |
|
Alex Beregszaszi
|
ceba40c410
|
Reorder some methods in CompilerStack for readability
|
2017-08-28 15:14:19 +01:00 |
|
Alex Beregszaszi
|
1beef38361
|
Merge pull request #2834 from ethereum/fixTypeNameParsing
Crash fix, parseTypeName can return null.
|
2017-08-28 15:07:14 +01:00 |
|
chriseth
|
122e65f8f4
|
Crash fix, parseTypeName can return null.
|
2017-08-28 15:13:02 +02:00 |
|
chriseth
|
5bd6254449
|
Merge pull request #2825 from ethereum/contract-unused-natspec
Removed unused natspec members of ContractDefinition
|
2017-08-28 13:06:30 +02:00 |
|
Alex Beregszaszi
|
2b3a49f702
|
Merge pull request #2821 from ethereum/errorreporter-copy
Add copy constructor to ErrorReporter (since it has assignment operator)
|
2017-08-25 20:40:27 +01:00 |
|
Alex Beregszaszi
|
8e5f9c5981
|
Removed unused natspec members of ContractDefinition
|
2017-08-25 20:29:43 +01:00 |
|
chriseth
|
372279ceb2
|
Merge pull request #2819 from ethereum/compilerstack-typecheck
Simplify typechecking loop in compilerstack
|
2017-08-25 19:38:15 +02:00 |
|
chriseth
|
9e90ddcae5
|
Merge pull request #2820 from ethereum/fallthrough
Fix some other fallthrough cases
|
2017-08-25 19:37:59 +02:00 |
|
Alex Beregszaszi
|
523e76332a
|
Merge pull request #2813 from ethereum/tightpack-warn
Warn on using literals in tight packing
|
2017-08-25 16:08:42 +01:00 |
|
Alex Beregszaszi
|
774363eb74
|
Add copy constructor to ErrorReporter (since it has assignment operator)
|
2017-08-25 16:03:24 +01:00 |
|
Alex Beregszaszi
|
da56bde58f
|
Move the break in switch for readability
|
2017-08-25 16:02:05 +01:00 |
|
Alex Beregszaszi
|
51d6141f7e
|
Mark to places fall-through
|
2017-08-25 16:00:36 +01:00 |
|
Alex Beregszaszi
|
5c73a80418
|
Remove fallthrough from ArrayUtils
|
2017-08-25 15:57:27 +01:00 |
|
Alex Beregszaszi
|
ec6d8007db
|
Merge pull request #2815 from ethereum/parser-fallthrough
Remove fallthrough from literal parsing
|
2017-08-25 15:54:46 +01:00 |
|
Alex Beregszaszi
|
e6f55fb95e
|
Do not create a new TypeChecker instance for every contract
|
2017-08-25 15:43:26 +01:00 |
|
Alex Beregszaszi
|
670df8e874
|
Attach natspec before type checking
|
2017-08-25 15:39:20 +01:00 |
|
Alex Beregszaszi
|
d60d4b3031
|
Remove duplicate work from CompilerStack.analyze()
|
2017-08-25 15:37:10 +01:00 |
|
Alex Beregszaszi
|
f2317670fa
|
Remove two other fall-through cases in Parser
|
2017-08-25 14:24:07 +01:00 |
|
Alex Beregszaszi
|
ef8355da7f
|
Remove fallthrough from literal parsing
|
2017-08-25 14:22:59 +01:00 |
|
Alex Beregszaszi
|
f6dba97fe1
|
Warn on using literals in tight packing
|
2017-08-25 14:16:50 +01:00 |
|
chriseth
|
4b0e30d259
|
Cleanup of Common.h
|
2017-08-25 14:54:23 +02:00 |
|
Alex Beregszaszi
|
e03dfd8476
|
Remove unused statements from the Natspec headers
|
2017-08-25 13:15:08 +01:00 |
|
Alex Beregszaszi
|
20e3b98d1f
|
Reorder ABI for readability
|
2017-08-25 10:39:53 +01:00 |
|
Alex Beregszaszi
|
deeac7e2e0
|
Rename statemutability to stateMutability in ABI/AST
|
2017-08-24 15:23:00 +01:00 |
|
Alex Beregszaszi
|
f646247dfb
|
Consider pure as constant for the AST JSON (to aid static analyzers)
|
2017-08-24 14:13:34 +01:00 |
|
Alex Beregszaszi
|
5668377c72
|
Introduce pure specifier on functions
|
2017-08-24 13:46:18 +01:00 |
|
chriseth
|
8af6f193bc
|
Merge pull request #2770 from ethereum/recursionInAsm
Also prevent too much recursion in the assembly parser.
|
2017-08-24 11:14:01 +02:00 |
|
chriseth
|
cf5e1d6120
|
Review changes.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
c93f0434cd
|
Use experimental feature pragma for SMT checker.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
75f09f2a84
|
Partial support for if statements.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
5bfd5d98c1
|
Format numbers more nicely.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
1e05ebe50e
|
Refactor Z3 read callback.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
9ac2ac14c1
|
Rename read file callback.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
ab5e3a8f6d
|
Introduce native Z3 support.
|
2017-08-23 17:37:35 +02:00 |
|
chriseth
|
4cea3d4aa4
|
Insert abstraction layer.
|
2017-08-23 17:37:35 +02:00 |
|
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 |
|