Alex Beregszaszi
|
f2412da800
|
Merge pull request #2888 from ethereum/same-declaration-error
Use secondary source location as a vector in same declaration errors
|
2017-09-12 14:57:42 +01:00 |
|
chriseth
|
ac3742cd25
|
Merge pull request #2887 from ethereum/missing-functions-list
Show each unimplemented function in secondary source location
|
2017-09-12 13:28:49 +02:00 |
|
chriseth
|
513ae59bba
|
Merge pull request #2853 from ethereum/cleanup-asm-stream
Split out the JSON functionality from assembly.stream()
|
2017-09-12 13:23:59 +02:00 |
|
Alex Beregszaszi
|
da1a53e02a
|
Use secondary source location as a vector in same declaration errors
|
2017-09-12 12:06:16 +01:00 |
|
Alex Beregszaszi
|
a03211f3c9
|
Show each unimplemented function in secondary source location
|
2017-09-12 10:59:56 +01:00 |
|
Alex Beregszaszi
|
a52e0de67c
|
Do not show the same error multiple times for events
|
2017-09-12 00:03:35 +01:00 |
|
Alex Beregszaszi
|
bbfb16cf5c
|
Introduce assemblyString
|
2017-09-11 15:53:20 +01:00 |
|
Alex Beregszaszi
|
50570c6c79
|
Do not return the stream in asssemblyStream
|
2017-09-11 15:48:58 +01:00 |
|
Alex Beregszaszi
|
a535a8b06e
|
Split out the JSON functionality from assembly.stream()
|
2017-09-11 15:48:52 +01:00 |
|
chriseth
|
b756274357
|
Allow constant variables in pure functions.
|
2017-09-06 13:52:29 +02:00 |
|
chriseth
|
15bdc48a73
|
Rename and add anonymous namespace.
|
2017-09-06 13:52:29 +02:00 |
|
chriseth
|
c83768c426
|
Fix tests
|
2017-09-06 13:52:29 +02:00 |
|
chriseth
|
1a1db1ec96
|
Tone down error message.
|
2017-09-06 13:52:29 +02:00 |
|
chriseth
|
7886c24d40
|
Modifier invocation can be base constructor call
|
2017-09-06 13:52:29 +02:00 |
|
chriseth
|
d6861d909c
|
Analyze assembly.
|
2017-09-06 13:52:29 +02:00 |
|
chriseth
|
ec27e569b0
|
Do not report on overriding function and only warn for view.
|
2017-09-06 13:50:49 +02:00 |
|
chriseth
|
342367d5dc
|
Store super function.
|
2017-09-06 13:50:49 +02:00 |
|
chriseth
|
eacee5b25c
|
Remove previous warning about pureness not being enforced.
|
2017-09-06 13:50:49 +02:00 |
|
chriseth
|
5470da4d9a
|
View-pure checker.
|
2017-09-06 13:50:49 +02:00 |
|
Alex Beregszaszi
|
3326a2282e
|
Change array too large error message as it is valid for non-calldata too
|
2017-09-05 22:38:45 +01:00 |
|
Alex Beregszaszi
|
bf294253bb
|
Merge pull request #2860 from ethereum/noparamsfordefaulted
Remove parameter names for defaulted functions.
|
2017-08-31 12:38:08 +01:00 |
|
chriseth
|
9e63710b8e
|
Remove parameter names for defaulted functions.
|
2017-08-31 12:16:41 +02:00 |
|
Alex Beregszaszi
|
eb33e76416
|
Use Json::valueToQuotedString directly
|
2017-08-29 15:51:37 +01:00 |
|
chriseth
|
cd22da1d9e
|
Remove escape function.
|
2017-08-29 15:50:28 +01:00 |
|
Alex Beregszaszi
|
a3f77527e9
|
Merge pull request #2847 from ethereum/codegen-docs
Document more of the codegen features
|
2017-08-29 15:27:07 +01:00 |
|
chriseth
|
93b1cc9702
|
Merge pull request #2833 from ethereum/statemutability-builtins
Mark all built in functions with appropriate statemutability
|
2017-08-29 15:24:51 +02:00 |
|
Alex Beregszaszi
|
3c24dcfe45
|
Document more of the codegen features
|
2017-08-29 13:36:13 +01:00 |
|
Alex Beregszaszi
|
7fb4a64136
|
Move all file specific globals to anonymous namespace
|
2017-08-29 11:09:18 +01:00 |
|
Alex Beregszaszi
|
0e11e5af10
|
Include all overloaded events in ABI
|
2017-08-28 20:07:43 +01:00 |
|
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 |
|