chriseth
|
9e63710b8e
|
Remove parameter names for defaulted functions.
|
2017-08-31 12:16:41 +02: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 |
|