Leonardo Alt
|
ab251c7e7d
|
Bool variables should not allow arithmetic comparison
|
2018-04-27 11:35:58 +02:00 |
|
chriseth
|
d1e1293fbd
|
Merge pull request #3981 from ethereum/years-suffix
The "year" denomination is deprecated
|
2018-04-24 12:12:03 +02:00 |
|
Alex Beregszaszi
|
258ae8927e
|
Merge pull request #3970 from elopio/test/docstring-tag-end
docstring: add missing space
|
2018-04-24 02:16:27 +01:00 |
|
Leo Arias
|
b74566e4ea
|
docstring: add missing space
|
2018-04-23 21:47:53 +00:00 |
|
chriseth
|
e685f9f59e
|
Merge pull request #3976 from ethereum/emptyTupleComponent
Empty tuple components should not be possible
|
2018-04-23 17:35:00 +02:00 |
|
Alex Beregszaszi
|
1ac0090f31
|
The "year" denomination is deprecated
|
2018-04-23 16:19:51 +01:00 |
|
Alex Beregszaszi
|
75faed7c55
|
Add more denomination tests
|
2018-04-23 16:14:39 +01:00 |
|
Erik Kundt
|
896018c8a3
|
Treats inline array as an error.
|
2018-04-23 17:11:41 +02:00 |
|
Alex Beregszaszi
|
6d26ad1e61
|
Extract subdenomination tests
|
2018-04-23 16:10:10 +01:00 |
|
Erik Kundt
|
b2ff9bc88d
|
Turns it into warning (error for 0.5.0) and adds Changelog entry.
|
2018-04-23 17:09:42 +02:00 |
|
Erik Kundt
|
f2b58de92c
|
Prevents null type from being used in tuple.
|
2018-04-22 16:54:33 +02:00 |
|
Alex Beregszaszi
|
0493e3b053
|
Turn deprecated warnings for sha3/suicide into errors (experimental 0.5.0)
|
2018-04-20 17:40:48 +01:00 |
|
Alex Beregszaszi
|
edd20ebefb
|
Extract syntax tests
|
2018-04-20 17:38:16 +01:00 |
|
Alex Beregszaszi
|
65345162b4
|
Update tight packing test cases
|
2018-04-20 12:01:51 +01:00 |
|
Alex Beregszaszi
|
069ea38916
|
Make literals an error for tight packing (experimental 0.5.0)
|
2018-04-20 11:58:16 +01:00 |
|
Alex Beregszaszi
|
38460d8b47
|
Remove unnecessary masking of the result of known short instructions
|
2018-04-19 23:59:06 +01:00 |
|
chriseth
|
2546a274ca
|
Merge pull request #3941 from ethereum/bytes-contract
Disallow explicit conversion of bytesXX to contract
|
2018-04-19 16:10:15 +02:00 |
|
Alex Beregszaszi
|
754d79edfa
|
Disallow explicit conversion of bytesXX to contract
|
2018-04-19 15:58:14 +02:00 |
|
chriseth
|
a94945dfe4
|
Improve error message for failed member lookup.
|
2018-04-18 22:56:45 +01:00 |
|
chriseth
|
17beac1e07
|
Extract tests.
|
2018-04-18 22:52:29 +01:00 |
|
chriseth
|
4895864302
|
Warn about functions named "constructor".
|
2018-04-18 21:23:09 +02:00 |
|
chriseth
|
29a97f1641
|
Fix name clashes between constructor and fallback function.
|
2018-04-18 14:24:35 +02:00 |
|
chriseth
|
f510348ff1
|
Extract tests.
|
2018-04-18 14:24:35 +02:00 |
|
chriseth
|
3d04d83297
|
Merge pull request #3868 from ethereum/bytescleanup
Properly force-clean for shortening bytesXX conversions.
|
2018-04-16 15:23:36 +02:00 |
|
chriseth
|
533d08517f
|
Merge pull request #3793 from ethereum/rationalNumberLimit
Rational number limit
|
2018-04-16 13:10:50 +02:00 |
|
chriseth
|
bf57500e25
|
Tests for bytes cleanup.
|
2018-04-16 12:47:38 +02:00 |
|
Erik Kundt
|
33fbf88707
|
Limits rational numbers to 4096 bits.
|
2018-04-16 11:45:55 +02:00 |
|
chriseth
|
95c49b367e
|
Merge pull request #3875 from ethereum/constructorSelfRef
Stricter check for "this" in constructor.
|
2018-04-13 18:39:31 +02:00 |
|
Daniel Kirchner
|
be37e3a912
|
Stricter check for member access to "this" in constructor.
|
2018-04-13 15:57:13 +02:00 |
|
Erik Kundt
|
6c656a9391
|
Adds unit test that covers long typeDescription and renames suite.
|
2018-04-12 21:14:50 +02:00 |
|
Erik Kundt
|
34da3e634f
|
Separates tests for legacy and compact output.
|
2018-04-12 21:14:50 +02:00 |
|
Erik Kundt
|
824008340a
|
Adds type expectations to legacy tests.
|
2018-04-12 21:14:50 +02:00 |
|
Erik Kundt
|
8935c0dd2f
|
Uses short string representation of TypePointer
|
2018-04-12 21:14:50 +02:00 |
|
chriseth
|
7054defdd6
|
Merge pull request #3364 from ethereum/revertWithReason
Revert with reason
|
2018-04-12 21:01:08 +02:00 |
|
chriseth
|
44416d1ac6
|
Merge pull request #2980 from ethereum/abi-api
Add abi.encode and abi.encodePacked
|
2018-04-12 20:55:03 +02:00 |
|
chriseth
|
966367305a
|
Remove dead code and clarify throw.
|
2018-04-12 20:13:16 +02:00 |
|
Daniel Kirchner
|
db40bd46af
|
Add additional test for `var ` for storage variables.
|
2018-04-12 16:46:35 +02:00 |
|
chriseth
|
75b8828666
|
Allow struct encoding with new encoder.
|
2018-04-12 16:37:16 +02:00 |
|
Daniel Kirchner
|
6862f22943
|
Fix internal compiler error when parsing `var ` declaration without identifier.
|
2018-04-12 14:57:14 +02:00 |
|
chriseth
|
b25598126e
|
Update documentation and minor changes.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
4faa839813
|
Use error signature for revert data.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
338a875134
|
Update expectation.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
e133b1a0cd
|
Adjust expectations in case of homestead VM.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
42c4c78390
|
Adjust tests.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
167ee2fcbb
|
Update source location tests.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
aa715f8759
|
Tests about error bubbling for create and transfer.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
7a9ee69e98
|
Bubble up error messages.
|
2018-04-12 13:09:38 +02:00 |
|
chriseth
|
ae1d040285
|
Allow error string for `require `.
|
2018-04-12 13:09:37 +02:00 |
|
chriseth
|
a06249c984
|
Tests for revert with reason string.
|
2018-04-12 13:09:37 +02:00 |
|
chriseth
|
c3dc67d0e0
|
Merge pull request #3848 from ethereum/constantDivisionByZero
Error on invalid arithmetic with constant expressions.
|
2018-04-12 11:49:08 +02:00 |
|
Daniel Kirchner
|
d42476e241
|
Add test to check ConstantEvaluator for pure non-rational functions.
|
2018-04-12 11:33:54 +02:00 |
|
chriseth
|
7343c40283
|
Check partial function parameters if rest is arbitrary.
|
2018-04-12 00:10:25 +02:00 |
|
chriseth
|
c4a6a63f36
|
Tests for view and pure.
|
2018-04-12 00:10:25 +02:00 |
|
chriseth
|
44c0d7ca5e
|
Tests.
|
2018-04-12 00:10:25 +02:00 |
|
Daniel Kirchner
|
932915633b
|
Add tests for literal operations as well.
|
2018-04-11 23:20:40 +02:00 |
|
Alex Beregszaszi
|
d56acb68ab
|
Add abi.encode, abi.encodePacked, abi.encodeWithSelector and abi.encodeWithSignature.
|
2018-04-11 22:32:10 +02:00 |
|
chriseth
|
b5a696ad48
|
Properly cope with constructor headers.
|
2018-04-11 22:00:21 +02:00 |
|
chriseth
|
52f68d3b63
|
Update expectations.
|
2018-04-11 22:00:21 +02:00 |
|
chriseth
|
4e1ea0866d
|
Extract modifier tests.
|
2018-04-11 22:00:21 +02:00 |
|
chriseth
|
2ad1acaf72
|
Warn if modifiers are applied to functions without implementation.
|
2018-04-11 22:00:21 +02:00 |
|
chriseth
|
42b90ad4c3
|
New tests for function state variables.
|
2018-04-11 22:00:04 +02:00 |
|
chriseth
|
08e807aea0
|
Add expectations.
|
2018-04-11 22:00:04 +02:00 |
|
chriseth
|
bd27ce0e25
|
Extract function type tests.
|
2018-04-11 22:00:04 +02:00 |
|
chriseth
|
ae3fca6db2
|
Merge pull request #3863 from ethereum/fixGasEstimation
Correctly ignore costs of fallback for other functions.
|
2018-04-11 21:53:41 +02:00 |
|
Daniel Kirchner
|
daa69df447
|
Error on invalid arithmetic with constant expressions.
|
2018-04-11 21:17:10 +02:00 |
|
chriseth
|
928ce08845
|
Correctly ignore costs of fallback for other functions.
|
2018-04-11 19:42:34 +01:00 |
|
Daniel Kirchner
|
cb548f6f53
|
Fix ConstantEvaluator to correctly handle single element tuples.
|
2018-04-11 18:30:34 +02:00 |
|
Daniel Kirchner
|
fdcbf1337a
|
Syntax Tests: extract array_length_* tests.
|
2018-04-11 18:01:24 +02:00 |
|
chriseth
|
d50d1f0ac1
|
Merge pull request #3580 from ethereum/asm-bitshift-optim
Add simplification rule for bitwise shifting
|
2018-04-11 17:18:31 +02:00 |
|
chriseth
|
05781c955b
|
Fix line numbers for errors.
|
2018-04-11 16:37:49 +02:00 |
|
chriseth
|
c9bdbcf470
|
Merge pull request #3309 from ethereum/limit-errors
Limit the number of errors output in a single run to 256
|
2018-04-11 16:13:41 +02:00 |
|
Jason Cobb
|
3b7b962b66
|
Fix bug in typechecking when comparing rational literals
|
2018-04-11 12:03:08 +02:00 |
|
Alex Beregszaszi
|
2e73ef5ac5
|
Ignore shift warnings on constantinople tests
|
2018-04-10 15:29:55 +01:00 |
|
Alex Beregszaszi
|
5f76f47f2e
|
Add end to end tests for SHL/SHR/SAR instructions (constantinople only)
|
2018-04-10 15:29:54 +01:00 |
|
Daniel Kirchner
|
f03695731b
|
Add source locations to syntax test expectations.
|
2018-04-10 14:08:22 +02:00 |
|
Daniel Kirchner
|
3eedbc6a9c
|
Error when using no parentheses in modifier-style constructor calls.
|
2018-04-10 12:09:34 +02:00 |
|
Daniel Kirchner
|
b918a105a4
|
Move constructor argument override check to TypeChecker and reuse annotations in ContractCompiler.
|
2018-04-09 15:26:08 +02:00 |
|
Daniel Kirchner
|
b8fdb666e2
|
Allow duplicated constructor calls, if no arguments; support for multiple inheritance; backwards compatibility.
# tmp
|
2018-04-09 15:26:05 +02:00 |
|
Federico Bond
|
4e037281ac
|
Error on duplicated super constructor calls
|
2018-04-09 11:22:35 +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
|
5b1c0506fa
|
Allow `memory ` suffix for internal elementary type parsing.
|
2018-04-05 16:06:04 +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 |
|
Alex Beregszaszi
|
36d6c27e68
|
Merge pull request #3745 from ethereum/fixRecursion
Fix invalid recursion errors for structs
|
2018-04-05 12:04:54 +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 |
|
chriseth
|
65f18a18de
|
More specific push implementation.
|
2018-04-04 16:50:45 +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
|
0cbe55005d
|
Create empty dynamic memory arrays more efficiently.
|
2018-04-04 12:37:04 +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 |
|
Daniel Kirchner
|
c98464db06
|
Remove redundant test and enforce success without warnings.
|
2018-04-03 18:21:55 +02:00 |
|
Daniel Kirchner
|
d664a599e6
|
Constructors are defined using the `constructor ` keyword.
|
2018-04-03 18:21:55 +02:00 |
|
Alex Beregszaszi
|
0edce4b570
|
Merge pull request #3693 from ethereum/optimizeMLOAD
Optimize across MLOAD if MSIZE is not used.
|
2018-04-03 15:58:11 +01:00 |
|
chriseth
|
8fdbd19a05
|
Extract constant cycle tests.
|
2018-04-03 16:29:18 +02:00 |
|
chriseth
|
5bdadff0d8
|
Fix detection of recursive structs.
|
2018-04-03 16:27:28 +02:00 |
|
chriseth
|
c42caedec2
|
Extract recursive struct tests.
|
2018-04-03 16:27:28 +02:00 |
|
Alex Beregszaszi
|
7753249f64
|
Merge pull request #3699 from ethereum/interfaceExternalVisibility
Defaults to external visibility for interfaces.
|
2018-04-03 15:15:36 +01:00 |
|
chriseth
|
a54fdc495f
|
Fix: Treat empty base constructor argument list as not provided.
|
2018-04-03 14:53:48 +02:00 |
|
chriseth
|
e64e397f24
|
Add memory array init test.
|
2018-04-03 14:34:32 +02:00 |
|
chriseth
|
138dba1a3f
|
Test number of sstore operations.
|
2018-04-03 14:34:32 +02:00 |
|
chriseth
|
6777f7a57f
|
Optimize across MLOAD if MSIZE is not used.
|
2018-04-03 14:34:32 +02:00 |
|
Erik Kundt
|
f9efa41749
|
Makes visibility warning more concise.
|
2018-04-03 11:16:50 +02:00 |
|
Erik Kundt
|
601659c384
|
Moves all interface function visibility related tests.
|
2018-04-03 11:16:50 +02:00 |
|
bitshift
|
8fe1cfb12e
|
Defaults to external visibility for interfaces.
|
2018-04-03 11:16:44 +02:00 |
|
Jason Cobb
|
e37b619593
|
Set default fixed point decimal places to 18
|
2018-03-31 00:56:36 +01:00 |
|
Alex Beregszaszi
|
076c0754ea
|
Update tests for empty structs
|
2018-03-31 00:27:01 +01:00 |
|
chriseth
|
326d656a55
|
Merge pull request #3790 from ethereum/empty-structs
Disallow empty structs
|
2018-03-30 13:58:35 +02:00 |
|
chriseth
|
5c8a6aac69
|
Prevent encoding of weird types and support packed encoding of external function types.
|
2018-03-29 09:57:11 +01:00 |
|
chriseth
|
3bb54e8bd5
|
Merge pull request #3775 from federicobond/improve-error-fractional-shift
Improve error message when attempting to shift by fractional number
|
2018-03-28 11:16:44 +02:00 |
|
Alex Beregszaszi
|
ebb12756ad
|
Still allow empty structs for non-0.5.0 mode
|
2018-03-27 15:49:41 +01:00 |
|
Alex Beregszaszi
|
b540ba527a
|
Disallow empty structs
|
2018-03-27 15:49:41 +01:00 |
|
chriseth
|
62559cf127
|
Merge pull request #3681 from ethereum/interface-external
Allow overriding external functions in interfaces with public in a child
|
2018-03-27 15:47:59 +02:00 |
|
chriseth
|
59538e9a04
|
Merge pull request #3686 from ethereum/doNotIncludeItnernal
Do not include internal functions only used by constructor
|
2018-03-27 15:28:08 +02:00 |
|
chriseth
|
af26228159
|
Merge pull request #3748 from ethereum/extractScopingTests
Extract scoping tests
|
2018-03-27 15:23:36 +02:00 |
|
chriseth
|
f8f50e14d2
|
Test that internal functions only used by constructor are not included in runtime context.
|
2018-03-27 04:00:12 +01:00 |
|
bitshift
|
2c56e53046
|
Changes deprecation and adjusts tests.
|
2018-03-27 03:30:03 +01:00 |
|
bitshift
|
be35a65eb3
|
Adds unit tests for moved function.
|
2018-03-27 03:30:03 +01:00 |
|
Alex Beregszaszi
|
ef3595b000
|
Allow overriding external functions in interfaces with public in an implementing contract
|
2018-03-26 11:35:17 +01:00 |
|
Federico Bond
|
b79531bebf
|
Improve error message when trying to shift by fractional number
|
2018-03-22 10:05:49 -03:00 |
|
chriseth
|
cc0f70263f
|
Tests for returning dynamic data.
|
2018-03-21 14:53:29 +00:00 |
|
chriseth
|
c2709a2d8e
|
Decode dynamic data.
|
2018-03-21 14:53:29 +00:00 |
|
Daniel Kirchner
|
e68c19c47b
|
Only consider files ending with .sol and not starting with ~ in syntax tests.
|
2018-03-16 12:28:21 +01:00 |
|
chriseth
|
c9db105ad7
|
Extract scoping tests.
|
2018-03-16 00:47:32 +01:00 |
|
Daniel Kirchner
|
50ad89d369
|
Only colour error type, not error message in isoltest.
|
2018-03-15 16:27:54 +01:00 |
|
Daniel Kirchner
|
269241e910
|
Add formatted printing to SyntaxTest and expand its public interface.
|
2018-03-15 16:23:46 +01:00 |
|
chriseth
|
78abe81f08
|
Merge branch 'develop' into externalFunctionsInLibraries
|
2018-03-14 18:07:55 +01:00 |
|
chriseth
|
d0c96d53e9
|
Merge pull request #3734 from ethereum/soltestOptions
test: Rename test/TestHelper.* to test/Options.* and add Options::val…
|
2018-03-14 18:05:48 +01:00 |
|
chriseth
|
abc7a45230
|
Merge pull request #3725 from ethereum/blockhashNoCall
Allow ``block.blockhash`` without it being called.
|
2018-03-14 18:04:40 +01:00 |
|
Alex Beregszaszi
|
59658afa30
|
Merge pull request #3722 from ethereum/fixMods
Fix modifier lookup in libraries.
|
2018-03-14 17:20:51 +01:00 |
|
Daniel Kirchner
|
d63d41b3b5
|
test: Rename test/TestHelper.* to test/Options.* and add Options::validate().
|
2018-03-14 12:04:04 +01:00 |
|
Daniel Kirchner
|
9d079fd126
|
DocStringParser: Add Changelog entry and test case for empty descriptions.
|
2018-03-14 10:34:16 +01:00 |
|
Daniel Kirchner
|
09420f1a44
|
Store filenames in static variable to guarantee sufficient lifetime.
|
2018-03-13 18:14:57 +01:00 |
|
chriseth
|
834d63de2c
|
Allow `block.blockhash ` without being called.
|
2018-03-13 17:34:21 +01:00 |
|
chriseth
|
eecc26deec
|
Make external library functions accessible.
|
2018-03-13 17:18:46 +01:00 |
|
chriseth
|
51f9e350b1
|
Tests.
|
2018-03-13 16:55:41 +01:00 |
|
chriseth
|
58af150c3d
|
Changelog entry.
|
2018-03-13 16:55:41 +01:00 |
|
Daniel Kirchner
|
7091b6c8b5
|
Minor adjustments.
|
2018-03-13 12:30:56 +01:00 |
|
Daniel Kirchner
|
3232561d97
|
Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest.
|
2018-03-13 11:20:11 +01:00 |
|
Daniel Kirchner
|
317c1f7fa3
|
Workaround for boost < 1.59.0
|
2018-03-13 11:20:11 +01:00 |
|
Daniel Kirchner
|
49eaf7c3fd
|
Infrastructure for extracting syntax tests in separate test files.
|
2018-03-13 11:20:11 +01:00 |
|
Leonardo Alt
|
c2d26eb6a2
|
[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.
|
2018-03-12 20:16:47 +01:00 |
|
Leonardo Alt
|
6a940f0a99
|
[SMTChecker] Support to Bool variables
|
2018-03-12 20:16:47 +01:00 |
|
Alex Beregszaszi
|
a59d6d2e53
|
Support constantinople in evm-version
|
2018-03-12 18:13:19 +01:00 |
|
chriseth
|
ea48d8ade3
|
Fix test.
|
2018-03-06 20:15:43 +01:00 |
|
Alex Beregszaszi
|
ba8819542f
|
Merge pull request #3611 from ethereum/warn-using-address-overload
Warn if using address overloads on contracts
|
2018-03-06 19:13:55 +01:00 |
|
chriseth
|
84d711fd1d
|
Tests for warnings/errors for loose assembly.
|
2018-03-06 17:45:34 +01:00 |
|
Alex Beregszaszi
|
14b12ae745
|
Merge pull request #2966 from ethereum/useStaticCall
Use STATICCALL for pure function calls.
|
2018-03-06 17:07:03 +01:00 |
|
Alex Beregszaszi
|
83dacbf669
|
Merge pull request #3549 from ethereum/fixmultidim
Properly detect which array and struct types are unsupported by the old ABI encoder.
|
2018-03-06 15:51:17 +01:00 |
|
chriseth
|
a3593df43b
|
Test for using staticcall for view and pure functions.
|
2018-03-06 15:30:18 +01:00 |
|