Christian Parpart
fb4857abed
evmasm/Instruction: fixes undefined behavior of advancing iterator beyond the end of a container.
...
Usually the STL doesn't check whether or not the developer advances beyond its container's end, but MSVC does (found out by running soltest in debug mode on Win32 / VS2017).
2018-08-02 19:53:46 +02:00
Daniel Kirchner
35c5b7de25
Turn warning about uninitialized storage returns into an error.
2018-08-02 19:34:38 +02:00
chriseth
009a55c82d
Merge pull request #4327 from ethereum/document-internals
...
Properly explain all the analsys steps in CompilerStack
2018-08-02 15:07:35 +02:00
chriseth
90a5928b88
Merge pull request #4522 from ethereum/fullEncodingType
...
Isolate determining the encoding type into its own function.
2018-08-02 15:01:38 +02:00
Daniel Kirchner
9d11557dc9
Define BOOST_TEST_DYN_LINK for building soltest if Boost_USE_STATIC_LIBS is not set.
2018-08-02 14:41:32 +02:00
Christian Parpart
43c01361f3
Drops tests for inline assembly jumps and function access as both isn't possible anymore.
2018-08-02 13:37:22 +01:00
Christian Parpart
a4ab305347
Drop swap_peephole_optimization test from EndToEndTests
...
Already covered by libevmasm/Optimiser: peephole_noncommutative_swap1, peephole_commutative_swap1 and peephole_swap_comparison
2018-08-02 13:37:22 +01:00
Christian Parpart
9b8a05ebfb
Update tests to remove support for loose assembly
2018-08-02 13:37:13 +01:00
Christian Parpart
ed3cb327ea
Remove loose assembly features from the documentation
2018-08-02 13:36:48 +01:00
Christian Parpart
5d9320c70b
Disallow loos assembly in Solidity by permanently setting it to SyntaxError (from Warning)
2018-08-02 13:36:05 +01:00
Alex Beregszaszi
f7c96c8dee
Merge pull request #4560 from ethereum/cmake-policy
...
CMake policies
2018-08-02 13:32:32 +01:00
chriseth
68f9128475
Merge pull request #4584 from dylanjw/update-abi-event-doc
...
Update doc referencing packed mode encoding for dynamic typed topic args
2018-08-02 14:27:38 +02:00
chriseth
6f3f673eff
Merge pull request #4600 from sifmelcara/tab-size
...
Set tab size specified in .editorconfig to 4
2018-08-02 14:24:52 +02:00
mingchuan
b89365282b
Fix shared boost test library build by customizing main
2018-08-02 13:08:24 +01:00
chriseth
2c61bad3d8
Merge pull request #4654 from ethereum/license
...
Include license header from code derived from V8 (scanner/token)
2018-08-02 13:54:00 +02:00
chriseth
7eb4762eee
Merge pull request #4656 from ethereum/chriseth-patch-1
...
Add "Changelog entry" to pull request template
2018-08-02 13:37:15 +02:00
chriseth
cf0ed572f8
Add "Changelog entry" to pull requset template
2018-08-02 13:29:57 +02:00
Alex Beregszaszi
6003ed2abd
Merge pull request #4603 from ethereum/smtlib2
...
[SMTLib2] Fix repeated declarations
2018-08-02 12:04:58 +01:00
Alex Beregszaszi
4e14ccb7df
Include license header from code derived from V8 (scanner/token)
2018-08-02 11:29:11 +01:00
Alex Beregszaszi
9ec3fd1632
Merge pull request #4646 from ethereum/smt_model_secondary_location
...
SMT model is sorted and printed as secondary location
2018-08-01 23:20:28 +01:00
Alex Beregszaszi
0f39ed6a0d
Merge pull request #4650 from ethereum/conduct
...
Point the documentation to the new Code of Conduct URL
2018-08-01 22:43:39 +01:00
Alex Beregszaszi
cbcdc9dc42
Point the documentation to the new Code of Conduct URL
2018-08-01 22:42:16 +01:00
Alex Beregszaszi
7fe95dfb7b
Merge pull request #4649 from ethereum/conduct
...
Rename CONDUCT.md to CODE_OF_CONDUCT.md so that Github picks it up
2018-08-01 22:40:58 +01:00
Alex Beregszaszi
3d210ab54b
Rename CONDUCT.md to CODE_OF_CONDUCT.md so that Github picks it up
2018-08-01 22:38:58 +01:00
Leonardo Alt
90f319615f
SMT model variables are sorted and printed as secondary source location
2018-08-01 23:27:46 +02:00
Leonardo Alt
b6a2655513
Replace "value" by "<result>" in the SMT model
2018-08-01 23:27:11 +02:00
Alex Beregszaszi
e1b695f199
Merge pull request #4399 from ethereum/contractWhitespace
...
Remove trailing whitespace in all contract files.
2018-08-01 21:59:19 +01:00
Daniel Kirchner
8781990ff3
Remove trailing whitespace in all contract files.
2018-08-01 21:57:12 +02:00
Alex Beregszaszi
a78565e44f
Merge pull request #4508 from ethereum/nameCollisionCrash
...
[BREAKING] Don't exclude public state variables when looking for conflicting declarations.
2018-08-01 20:53:56 +01:00
Alex Beregszaszi
1f832e068b
Merge pull request #4639 from ethereum/docs-fix-specify-limit
...
Small clarifications around the 2300 gas stipend from transfer and send
2018-08-01 16:23:06 +01:00
Chris Ward
0ad646635f
Small clarifications around the 2300 gas stipend from transfer and send
2018-08-01 16:21:29 +01:00
Daniel Kirchner
ce7c7aca79
Extend code comment about signatures.
2018-08-01 17:18:17 +02:00
Daniel Kirchner
4bcc4d2fcf
Add additional test cases.
2018-08-01 17:18:17 +02:00
Daniel Kirchner
cea46acef7
Update documentation.
2018-08-01 17:18:17 +02:00
Daniel Kirchner
30d9961efb
Do not exclude public state variables when looking for conflicting declarations.
2018-08-01 14:31:04 +02:00
Alex Beregszaszi
ce99a5ce7f
Merge pull request #4378 from ethereum/noBaseWithoutArguments
...
[BREAKING] Disallow calling base constructors without arguments.
2018-08-01 13:18:37 +01:00
Alex Beregszaszi
8d05770e59
Merge pull request #4631 from ethereum/cp-cycle-detection-recursion-guard
...
Guard CycleDetector against recursion exhaustion.
2018-08-01 12:48:46 +01:00
chriseth
061ea0cfc6
Correctly determine whether base constructor is called without parentheses.
2018-08-01 12:28:27 +01:00
chriseth
7e5406dd89
Disallow calling base constructors without arguments.
2018-08-01 12:28:27 +01:00
Christian Parpart
cb200cf7e1
Adds positive/negative tests for checking error on cyclic dependency checker exhaustion
2018-08-01 12:04:08 +01:00
Christian Parpart
38f9667e09
Guard CycleDetector against recursion exhaustion.
...
fixes #3935 .
2018-08-01 12:02:59 +01:00
chriseth
7a8a243eef
Isolate determining the encoding type into its own function.
2018-08-01 11:55:57 +01:00
Alex Beregszaszi
ef269bf40d
Merge pull request #4321 from ethereum/contractConversion
...
[BREAKING] Disallow conversion between unrelated contract types.
2018-08-01 11:52:57 +01:00
chriseth
b800bfb021
Fix tests regarding contract type conversion.
2018-08-01 11:04:35 +01:00
chriseth
c8232d9759
Disallow conversion between unrelated contract types.
2018-08-01 11:04:35 +01:00
Alex Beregszaszi
21888e246b
Merge pull request #4507 from ethereum/v050-var-keyword-trace-removals
...
Ensures an empty use of var keyword is caught with the proper non-fatal error message
2018-08-01 10:59:26 +01:00
Leonardo Alt
41ac3d6cfb
Remove repeated declarations in Z3 and CVC4 as well
2018-08-01 11:12:56 +02:00
Christian Parpart
594102de6b
fixes tests.sh to not use hard-coded working dir and adds proper cleanup
...
* Implicitely also allows concurrent runs.
* Properly cleanup of any working files created during runtime.
* Properly cleanup upon singals.
* Allow early-abort during cmdline tests without leaking processes.
2018-08-01 10:25:24 +02:00
Christian Parpart
a7150f85a6
Ensures an empty use of var keyword is caught with the proper error message.
2018-08-01 09:59:06 +02:00
Alex Beregszaszi
9d0e927f85
Merge pull request #4626 from ethereum/grammar-cleanup
...
grammar: remove stray IdentifierList rule
2018-07-31 11:45:14 +01:00