Alex Beregszaszi
|
0e11e5af10
|
Include all overloaded events in ABI
|
2017-08-28 20:07:43 +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 |
|