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
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
chriseth
ac5485a254
Merge pull request #3616 from jbaylina/patch-1
...
I think this example misses a 1.
2018-02-28 10:33:50 +01:00
Jordi Baylina
4f34d092ca
Update miscellaneous.rst
2018-02-28 09:35:07 +01:00
Zhen Zhang
5fd9ea4b2a
Stop allow_guessing for command line option parser
2018-02-28 09:31:24 +08:00
Alex Beregszaszi
0346f72342
Use compileContract in contract tests
2018-02-27 20:08:24 +01:00
Alex Beregszaszi
029e19983c
Split compileContract off compileAndRunWithoutCheck in SolidityExecutionFramework
2018-02-27 20:08:24 +01:00
chriseth
908b46e9a7
Merge pull request #3476 from ethereum/scoping
...
C99/C++ scoping rules
2018-02-27 17:06:10 +01:00
Alex Beregszaszi
a566825589
Issue error if no visibility is specified (on 0.5.0)
2018-02-27 16:31:53 +01:00
chriseth
6d8dee586c
Merge pull request #3612 from ethereum/debian-lsb
...
Fix install_deps.sh for Debian without lsb_release
2018-02-27 16:14:14 +01:00
Alex Beregszaszi
2abc5be7e6
Merge pull request #2541 from ethereum/asm-bitshift
...
Add bit shifting opcodes (EIP145)
2018-02-27 14:47:07 +01:00
Paweł Bylica
9a8b0d5726
Fix install_deps.sh for Debian without lsb_release
2018-02-27 14:34:57 +01:00
Alex Beregszaszi
6512bfbcea
Merge pull request #3601 from ethereum/circleParallel
...
Parallelize tests on circle.
2018-02-27 13:54:45 +01:00
Alex Beregszaszi
73c5d99bfa
Add basic test for shift opcodes
2018-02-27 13:43:04 +01:00
Alex Beregszaszi
317e017849
Shift operands were swapped in accepted EIP145
2018-02-27 13:43:02 +01:00
Alex Beregszaszi
afa4a48e37
Remove ROL/ROR as they are not part of EIP145 anymore
2018-02-27 13:42:41 +01:00
Alex Beregszaszi
468d0f6199
Warn on using shift instructions
2018-02-27 13:42:31 +01:00
Alex Beregszaszi
9e0446a22c
Document bitwise shift operators in assembly
2018-02-27 13:42:28 +01:00
chriseth
d64aa0eaad
Some more scoping tests.
2018-02-27 12:41:32 +01:00
chriseth
6391a36a6c
Documentation about new scoping rules.
2018-02-27 12:41:32 +01:00
chriseth
88a5c66f4a
Only active variables at the point of their declaration.
2018-02-27 12:17:25 +01:00
chriseth
6b9dda06f3
Enable C99-scoping with the 0.5.0-experimental pragma.
2018-02-27 12:17:25 +01:00
chriseth
e227bdbfa7
Changelog entry.
2018-02-27 12:17:25 +01:00
chriseth
0005990382
Tests for new scoping behaviour.
2018-02-27 12:17:25 +01:00
chriseth
69f5f2eb65
Adjust tests.
2018-02-27 12:17:25 +01:00
chriseth
e6d48bb72a
Blocks and for loops can be scopes.
2018-02-27 12:17:25 +01:00
