Alex Beregszaszi
fd60c1cf86
Warn if using address overloads on contracts
2018-03-05 15:50:27 +01:00
chriseth
cd6ffbdf79
Merge pull request #3642 from leonardoalt/fix_z3-46
...
Add z3 performance option
2018-03-05 12:13:39 +01:00
chriseth
6dc137317f
Merge pull request #3569 from ethereum/evmVersion
...
EVM version
2018-03-05 12:10:49 +01:00
chriseth
6ec4517929
Use EVM version in gas meter and optimizer.
2018-03-05 11:36:33 +01:00
chriseth
e3c2ab39a1
Merge pull request #3641 from furkanayhan/patch-1
...
Correct warning message in Pure Functions doc
2018-03-05 10:25:21 +01:00
Leonardo Alt
5d74b862a3
This z3 option is necessary for good solving performance
2018-03-04 14:42:36 +01:00
Furkan Ayhan
c2730a4893
Correct warning message in Pure Functions doc
...
wrong commit that caused this: (64eaff6420 (diff-754689a291c0a19b500c31eb6c1d30c7R506)
2018-03-04 13:23:07 +03:00
chriseth
7e2f3d3e07
Merge pull request #3632 from bernardpeh/mydev
...
clarify 2300 gas stipend in fallback function section
2018-03-02 16:23:42 +01:00
bernard peh
cde4e3172b
change the language so that it doesn't sound like send and transfer is providing the stipend
2018-03-02 23:40:17 +11:00
chriseth
5982869e94
Merge pull request #3633 from ethereum/reserved-keywords-test
...
Parser: Add test case for reserved keywords.
2018-03-02 11:41:21 +01:00
chriseth
f78d6a9a1e
Merge pull request #3628 from ethereum/literalsHexUnit
...
Deprecate using unit denominations in combination with hex numbers.
2018-03-02 11:11:16 +01:00
Daniel Kirchner
0f64648203
Parser: Add test case for reserved keywords.
2018-03-02 10:45:28 +01:00
Daniel Kirchner
454b470cee
Suggest expressions of the form '0x1234 * 1 day' instead of hex numbers with unit denominations.
2018-03-02 10:22:58 +01:00
bernard peh
2c086cb90b
clarify 2300 gas stipend in fallback function section
2018-03-02 16:25:52 +11:00
Alex Beregszaszi
5a54cd5c70
Only warn for shift instructions if not using constantinople
2018-03-01 17:19:35 +01:00
chriseth
7f8e573339
Abort on the first failed end-to-end run.
2018-03-01 17:19:35 +01:00
chriseth
1246917e32
Explain json-io setting.
2018-03-01 17:19:35 +01:00
chriseth
4ce0e7775d
Add constantinople.
2018-03-01 17:19:35 +01:00
Alex Beregszaszi
7171ac0124
Simplify error handling in tests.sh
2018-03-01 17:19:35 +01:00
chriseth
982476f99d
Add TangerineWhistle.
2018-03-01 17:19:35 +01:00
chriseth
7b0272ccfb
CREATE2 test fix.
2018-03-01 17:19:35 +01:00
chriseth
1e26011d2c
Returndatasize and staticcall test fixes.
2018-03-01 17:19:35 +01:00
chriseth
05cc5f22b2
Correctly set evm version in tests
2018-03-01 17:19:35 +01:00
chriseth
739533e9c7
Activate byzantium for testing.
2018-03-01 17:19:35 +01:00
chriseth
dc317a44e0
Provide EVM version to assembly analysis.
2018-03-01 17:19:35 +01:00
chriseth
a53d6b499d
Use EVM version in type checker.
2018-03-01 17:19:35 +01:00
chriseth
f2f61f1c2f
Test both EVM versions.
2018-03-01 17:19:35 +01:00
chriseth
83515eadcf
Changelog entry
2018-03-01 17:19:35 +01:00
chriseth
60f7be5d4c
Some tests.
2018-03-01 17:19:35 +01:00
chriseth
f75a411325
Provide target EVM version in CompilerContext.
2018-03-01 17:19:35 +01:00
chriseth
85785710e6
Store EVM version in settings.
2018-03-01 17:19:34 +01:00
chriseth
5ab4a1ae78
Add ability to set the target EVM version.
2018-03-01 17:19:34 +01:00
Elena Dimitrova
c9840c98f4
Documentation updates for internal constructors and function signature ( #3365 )
...
* Add a note explaining return values not included in function signature
* Add section on Constructors in documentation
* Improve documented definition for abstract contract
* Add benefits of abstraction to documentation
2018-03-01 16:59:47 +01:00
Daniel Kirchner
bd4c2b9bde
Deprecate using unit denominations in combination with hex numbers. Closes #3574 .
2018-03-01 16:58:55 +01:00
Oleksii Matiiasevych
a0d006015e
Update Tips and Tricks on structs initialization. ( #3626 )
...
* Update Tips and Tricks on structs initialization.
2018-03-01 16:54:04 +01:00
Alex Beregszaszi
2c82f748bb
Merge pull request #3624 from ethereum/jsonio-libraries-hex
...
Ensure that library addresses supplied are of correct length and hex prefixed
2018-03-01 12:37:14 +01:00
chriseth
c123fa26f3
Merge pull request #3406 from leonardoalt/smt_checker
...
SMTChecker: A little refactoring on SSA vars (preparation for Bool)
2018-03-01 12:24:11 +01:00
chriseth
cf6720eab5
Merge pull request #3587 from OTTTO/develop
...
Multiline output parameters and return statements
2018-03-01 12:07:09 +01:00
Alex Beregszaszi
b6dfd9ef54
Ensure that library addresses supplied are of correct length and hex prefixed in JSONIO
2018-03-01 12:03:56 +01:00
Leonardo Alt
8b1b4b78c0
Fix PR comments
2018-02-28 18:31:11 +01:00
Leonardo Alt
cff0836c03
Fix PR comments
2018-02-28 18:05:20 +01:00
Leonardo Alt
21c6b80fc9
Supported types listed in SSAVariable
2018-02-28 18:05:20 +01:00
Leonardo Alt
3b2851ee41
Integer min and max values placed under SymbolicIntVar instead of SMTChecker
2018-02-28 18:05:20 +01:00
Leonardo Alt
f41591b3dd
[SMTChecker] A little refactoring on SSA vars
2018-02-28 18:05:20 +01:00
chriseth
9e3da89a7a
Merge pull request #3607 from izgzhen/complain-unknown-params
...
stop allow_guessing for command line option parser
2018-02-28 17:42:14 +01:00
chriseth
7938339572
Merge pull request #3617 from ethereum/jsonio-libraries
...
Add more comprehensive tests and checks for libraries in JSONIO
2018-02-28 17:40:29 +01:00
chriseth
fb8c4bd7c2
Merge pull request #3615 from ethereum/test-framework
...
Simplify contract compilation in the test framework
2018-02-28 16:35:22 +01:00
chriseth
22d26e059c
Merge pull request #3613 from ethereum/require-visibility
...
Issue error if no visibility is specified (on 0.5.0)
2018-02-28 16:33:39 +01:00
Alex Beregszaszi
7897301b71
Properly validate invalid hex characters in JSONIO libraries
2018-02-28 10:44:48 +01:00
Alex Beregszaszi
83fec0232d
Add more comprehensive tests and checks for libraries in JSONIO
2018-02-28 10:36:07 +01:00
