Commit Graph

9959 Commits

Author SHA1 Message Date
Alex Beregszaszi
e8be0e61b3 Catch FatalError in CompilerStack::analysis to cover all the analysis tests 2018-04-06 13:52:19 +02:00
Alex Beregszaszi
d5f40c141b Limit the number of errors output in a single run to 256 2018-04-06 13:52:19 +02:00
chriseth
9bd49516d8
Merge pull request #3833 from ethereum/newEthBinaries
Use new eth binaries.
2018-04-06 11:59:27 +02:00
Sergiusz Bazanski
f39f36f2c7 Fix file missing error message on imports.
Trying to convert an import path into a Boost canonical path causes
boost to throw an exception if the given file does not exist. Thus,
instead of geting to the 'File not found' error, we instead got into the
cath-all handler for 'Unknown exception in read callback'.

This change rearranges the file checks to happen before we create a
canonical Boost path. It also drive-by removes the unnecessary 'else'
block, as the body of the if is a guard-like return block.
2018-04-06 11:03:52 +02:00
chriseth
309a90bb5d
Merge pull request #3818 from ethereum/eth_docker
Add scripts to build the eth binary via docker.
2018-04-05 19:05:41 +02:00
chriseth
3c64313e91 Use new eth binaries. 2018-04-05 19:00:44 +02:00
chriseth
6a2c30e4ff Fix trusty build script for eth. 2018-04-05 17:45:25 +02:00
chriseth
543e1e19c7
Merge pull request #3831 from ethereum/memory-suffix
Allow ``memory`` suffix for internal elementary type parsing.
2018-04-05 17:02:43 +02:00
chriseth
d74b71a554
Merge pull request #3805 from kevinflo/tuple-documentation-var-removal
Removed documentation reference to var for tuple variable assignment
2018-04-05 16:19:16 +02:00
chriseth
4c50ed39d7
Merge pull request #3829 from ethereum/smt_remove_uf
[SMTChecker] Remove usage of UFs to access SSA vars
2018-04-05 16:07:07 +02:00
chriseth
5b1c0506fa Allow `memory` suffix for internal elementary type parsing. 2018-04-05 16:06:04 +02:00
chriseth
95b0589f77
Merge pull request #3828 from ethereum/soltest
Show JSON error if jsonParseStrict failed in soltest
2018-04-05 15:22:26 +02:00
chriseth
2d22549f64
Merge pull request #3827 from ethereum/constantinople
Support constantinople in soltest
2018-04-05 15:21:45 +02:00
Alex Beregszaszi
e0f8657074
Merge pull request #3826 from ethereum/document_afl
Document use of AFL.
2018-04-05 14:47:21 +02:00
Daniel Kirchner
037eba20fc
Merge pull request #3824 from ethereum/baseArgumentsEmptyParenthesis
Error when using empty parentheses for base class constructors that r…
2018-04-05 14:43:28 +02:00
chriseth
251e4cff58 Document use of AFL. 2018-04-05 14:39:55 +02:00
Leonardo Alt
8d087d1889 [SMTChecker] Removing usage of UFs to access SSA indices 2018-04-05 12:48:58 +02:00
Alex Beregszaszi
ac6a30442f Support constantinople in soltest 2018-04-05 12:11:24 +02:00
Alex Beregszaszi
36d6c27e68
Merge pull request #3745 from ethereum/fixRecursion
Fix invalid recursion errors for structs
2018-04-05 12:04:54 +02:00
Alex Beregszaszi
7f232358bb Show JSON error if jsonParseStrict failed in soltest 2018-04-05 11:59:31 +02:00
chriseth
c6da5c1650
Merge pull request #3822 from ethereum/swap-comparison
Replace comparison operators with opposites if preceded by SWAP1
2018-04-05 11:57:26 +02:00
Daniel Kirchner
96eff0ff6a Error when using empty parenthesis for base class constructors that require arguments. 2018-04-05 11:52:22 +02:00
Alex Beregszaszi
8dc9113e37 Add end-to-end test for SwapComparison and CommutativeSwap peephole optimisers 2018-04-05 10:54:39 +02:00
Alex Beregszaszi
c6adad9368
Merge pull request #3690 from ethereum/incrementArraySize
More specific push implementation.
2018-04-05 10:50:25 +02:00
Kevin Florenzano
d662622b25 Variable assignment wording change 2018-04-05 17:12:48 +09:00
chriseth
7cf09941bb
Merge pull request #3657 from ethereum/codingStyle
Use coding style.
2018-04-05 10:09:53 +02:00
Alex Beregszaszi
02ea0e547f Replace comparison operators with opposites if preceded by SWAP1 2018-04-04 17:47:58 +02:00
chriseth
65f18a18de More specific push implementation. 2018-04-04 16:50:45 +02:00
chriseth
efa0ccaf9e
Merge pull request #3820 from ethereum/chriseth-patch-1
Clarify code state of contracts under construction.
2018-04-04 15:16:01 +02:00
chriseth
0f7e18780f
Clarify code state of contracts under construction. 2018-04-04 15:07:29 +02:00
chriseth
016f562348
Merge pull request #3808 from ethereum/parserTests
SyntaxTests: extend syntax tests and isoltest to support parser error…
2018-04-04 14:52:01 +02:00
chriseth
2fe5607a5a
Merge pull request #3721 from ethereum/simpleDynArray
Create empty dynamic memory arrays more efficiently.
2018-04-04 14:37:43 +02:00
Alex Beregszaszi
c5c5b23ff4
Merge pull request #3817 from ethereum/eth_docker
Add scripts to build the eth binary via docker.
2018-04-04 12:39:54 +02:00
chriseth
0cbe55005d Create empty dynamic memory arrays more efficiently. 2018-04-04 12:37:04 +02:00
chriseth
fa92380af0 Add scripts to build the eth binary via docker. 2018-04-04 12:26:34 +02:00
Alex Beregszaszi
c63efebd45
Merge pull request #3814 from FrolovR/patch-2
hash256 -> bytes32 fix in misleading note
2018-04-04 08:16:38 +02:00
Alex Beregszaszi
920de496ab
Merge pull request #3798 from ethereum/commutative-swap
Remove useless SWAP1 in front of commutative operations
2018-04-04 08:15:24 +02:00
Roman
86c5d6aaad
hash256 -> bytes32 fix in misleading note
As it was described here: https://ethereum.stackexchange.com/questions/44628/understanding-low-level-interface-to-logs/44629?noredirect=1#comment52316_44629
2018-04-04 09:02:58 +03:00
Alex Beregszaszi
0695ffe51d
Merge pull request #3635 from ethereum/constructor-modifier
Constructors are defined using the ``constructor`` keyword.
2018-04-04 00:15:18 +02:00
Daniel Kirchner
87ad337ae0 Adds parsing sub-directory in syntaxTests and moves two example tests from SolidityParser.cpp to test contracts. 2018-04-03 19:54:46 +02:00
Daniel Kirchner
6f9644add1 SyntaxTests: extend syntax tests and isoltest to support parser errors and compiler exceptions. 2018-04-03 19:54:45 +02:00
Alex Beregszaszi
be6051bead Test multiple instructions with the (non)commutative peephole optimiser 2018-04-03 18:57:28 +02:00
Alex Beregszaszi
17bcabb6cf Remove useless SWAP1 in front of commutative operations 2018-04-03 18:57:07 +02:00
Alex Beregszaszi
104a9736b3
Merge pull request #3809 from ethereum/build_on_tags
Build on tag in Circle.
2018-04-03 17:44:38 +01:00
Daniel Kirchner
3ae326139a Document absence of constructors. 2018-04-03 18:21:55 +02:00
Daniel Kirchner
8f66390f56 Set isConstructor to false unconditionally and update to true later for constructors. 2018-04-03 18:21:55 +02:00
Daniel Kirchner
e2dac9ed39 Set header.isConstructor for old style constructors in parseFunctionHeader as well. 2018-04-03 18:21:55 +02:00
Daniel Kirchner
f855c78a08 Update version pragma and use new constructor syntax in std/ contracts. 2018-04-03 18:21:55 +02:00
Daniel Kirchner
c98464db06 Remove redundant test and enforce success without warnings. 2018-04-03 18:21:55 +02:00
bitshift
07c74ef924 Updates docs to new constructor syntax. 2018-04-03 18:21:55 +02:00