Commit Graph

13466 Commits

Author SHA1 Message Date
Daniel Kirchner
f9dc30c3d1 Add generalized dynamic array encoding to ExecutionFramework. 2019-03-06 18:04:12 +01:00
Daniel Kirchner
f7c6eda2c3 Allow calldata arrays with dynamically encoded base type. 2019-03-06 18:04:12 +01:00
chriseth
cdf29277f7
Merge pull request #6055 from ethereum/smt_arrays
[SMTChecker] Add support to arrays
2019-03-06 18:00:23 +01:00
Erik Kundt
ab31c28ed9 Adds support for arrays in function signatures. 2019-03-06 16:47:00 +01:00
chriseth
9193fcb99f
Merge pull request #6130 from ethereum/docs-pragma
[DOCS] Updates to Pragma docs
2019-03-06 12:07:17 +01:00
Chris Ward
6dcc368183 Small polish to prgama docs
Fix issues

Reset non-typo
2019-03-06 12:01:50 +01:00
chriseth
dc69152238
Merge pull request #6143 from ethereum/fix-unimplemented-assert-5659
Check base contracts for abi encoder compatibility
2019-03-06 11:59:49 +01:00
chriseth
3059734ae6
Merge pull request #6199 from ethereum/ossfuzzsolcreduceinputsize
Reduce input file size for solc and constant optimizer fuzzers.
2019-03-06 11:58:51 +01:00
chriseth
449141db2c
Merge pull request #6190 from ethereum/allowEncodeDecodeWithZeroParameters
Allow encoding and decoding functions with empty type list.
2019-03-06 11:57:21 +01:00
chriseth
831353c590
Merge pull request #6172 from ethereum/runYulOptAsLongAsHelpful
[Yul] Run yul optimizer until it has no effect anymore.
2019-03-06 11:41:22 +01:00
Bhargava Shastry
54d0d153fa Reduce input file size for solc and constant optimizer fuzzers. 2019-03-06 11:35:22 +01:00
Leonardo Alt
29b2ab6f66 Handle aliasing 2019-03-06 11:29:54 +01:00
Leonardo Alt
297703bc44 Changelog entry 2019-03-06 11:29:54 +01:00
Leonardo Alt
467c34999f Do not throw on string literals 2019-03-06 11:29:26 +01:00
Leonardo Alt
cb6c2b33f8 Add tests 2019-03-06 11:29:26 +01:00
Leonardo Alt
e74f58130e Add SMT type support to Solidity arrays 2019-03-06 11:29:26 +01:00
Mathias Baumann
a2fe19cac5 Fix wrong formatting in ErrorReporter 2019-03-06 11:16:54 +01:00
Mathias Baumann
9919670ddd Check base contracts for abi encoder compatibility 2019-03-06 11:16:54 +01:00
chriseth
ee4beafd48
Merge pull request #6153 from ethereum/docs-imports
[DOCS] Improve imports documentation
2019-03-06 11:14:43 +01:00
Mathias Baumann
9052a8f050 Move FunctionType::returnParameters() to CallableDeclaration
all the other functions of that type are also found there.
2019-03-06 11:13:01 +01:00
Mathias Baumann
8d747ad47b Add ErrorReporter::fatalTypeError() with secondary location 2019-03-06 11:13:01 +01:00
Mathias Baumann
b2262d67f0 Remove unused variable Contractdefinition::m_linearizedBaseContracts 2019-03-06 11:13:01 +01:00
Chris Ward
3f5b5fdb8e Begin polish to import docs
Continue import polish
2019-03-06 11:06:46 +01:00
chriseth
d515d77bfe Extract utility functions from ABI encoder. 2019-03-05 22:13:55 +01:00
chriseth
f35694f655 Run yul optimizer until it has no effect anymore. 2019-03-05 20:30:13 +01:00
chriseth
4740dc62df
Merge pull request #6193 from ethereum/yul-opt-different-types-6181
YulOpt: Extend StructuralSimplifier to work with all types
2019-03-05 19:11:13 +01:00
chriseth
8db88e9b02
Merge pull request #6196 from ethereum/release
Merge release back into develop
2019-03-05 18:56:56 +01:00
chriseth
17adccaa1c
Merge pull request #6192 from ethereum/prepare060
Some missed entries and set version to 0.6.0.
2019-03-05 18:54:26 +01:00
Mathias Baumann
f6e09d6368 YulOpt: Extend StructuralSimplifier to work with all types 2019-03-05 18:39:27 +01:00
Mathias Baumann
a52b50d770 libyul: Change assertThrow() to yulAssert() 2019-03-05 18:39:27 +01:00
Mathias Baumann
921d52bfcd Move Literal to u256 conversions to extra functions
That way we can reuse them at different places
2019-03-05 18:39:27 +01:00
chriseth
fb4a58c475
Merge pull request #6191 from ethereum/ossfuzzreducetestinputsize
ossfuzz: Reduce test input size to less than equal to 600 bytes.
2019-03-05 18:32:53 +01:00
chriseth
acfbc62f32
Merge pull request #6194 from ethereum/release-checklist-0.5.5
Update release checklist
2019-03-05 18:14:28 +01:00
chriseth
8d401ba936 Update pragmas. 2019-03-05 18:10:09 +01:00
Erik Kundt
bc7be6485e Updates release checklist. 2019-03-05 17:45:05 +01:00
chriseth
77c3352744 Some missed entries and set version to 0.6.0. 2019-03-05 17:08:16 +01:00
Bhargava Shastry
a370551ea2 ossfuzz: Reduce test input size to less than equal to 600 bytes. 2019-03-05 16:55:55 +01:00
chriseth
47a71e8f1c
Merge pull request #6188 from ethereum/develop
Release 0.5.5
2019-03-05 16:22:00 +01:00
chriseth
a27ef3489c Allow encoding and decoding functions with empty type list. 2019-03-05 15:55:50 +01:00
chriseth
40171c216d
Merge pull request #6185 from ethereum/changelog-release-0.5.5
Updates Changelog and buglist for 0.5.5
2019-03-05 15:32:27 +01:00
chriseth
d7e36bb033
Merge pull request #6168 from ethereum/better-errors-is-implictily-convertable
Prepare code to output errors returned by isImplicitlyConvertibleTo()
2019-03-05 15:28:29 +01:00
Erik Kundt
d778471ef0 Updates Changelog for 0.5.5 release. 2019-03-05 15:11:37 +01:00
chriseth
d70da689ef Run external tests with and without optimizer. 2019-03-05 14:53:36 +01:00
chriseth
5ddf9e269f
Merge pull request #5942 from bshastry/sol-protofuzzer
LibProtobuf Mutator (LPM) based fuzzer for yul subset
2019-03-05 13:01:03 +01:00
Bhargava Shastry
d9bcbe6ad5 LibProtobuf Mutator (LPM) based fuzzer for yul subset 2019-03-05 12:32:55 +01:00
chriseth
c283f6d842
Merge pull request #6182 from ethereum/travis-stdin-password
Pass docker password in Travis via stdin
2019-03-05 11:38:13 +01:00
chriseth
d0ab5454f8
Merge pull request #6171 from ethereum/ignorePrefixWhileInlining
Do not prepend function name to all variables when inlining.
2019-03-05 11:36:53 +01:00
Erik Kundt
b907e550b2 Passes the docker password in Travis via stdin. 2019-03-05 11:29:46 +01:00
Mathias Baumann
de98e38b78 Prepare code to output errors returned by isImplicitlyConvertibleTo() 2019-03-05 10:44:36 +01:00
Mathias Baumann
ca9cced4b2 Add ErrorReporter::typeErrorConcatenateDescriptions 2019-03-05 10:44:36 +01:00