Commit Graph
13479 Commits
Author SHA1 Message Date
chriseth e8ba10bfaa Merge pull request #6612 from ethereum/abi-functions-assertion
Unifies behaviour for member access of ABI functions
2019-04-29 15:02:40 +02:00
chriseth 3a19d83671 Merge pull request #6578 from ethereum/fix_base_overload
Fix call to base class overloaded functions
2019-04-29 14:33:52 +02:00
chriseth a33c1e737e Merge pull request #6609 from ethereum/linkToSourceVerify
Link to source verify
2019-04-29 14:31:53 +02:00
Erik Kundt 381ed5a302 Unifies behavior for member access of ABI functions. 2019-04-29 14:27:10 +02:00
chriseth 1eeca84cad Merge pull request #6603 from ethereum/abi-function-assertion-fix
Removes assert on magic ABI functions in code generation
2019-04-29 10:15:47 +02:00
chriseth 2c0fe6b5c9 Merge pull request #6602 from ethereum/ossfuzz-ci-fix-log-parsing
Fix log parsing error
2019-04-29 10:12:32 +02:00
chriseth d763e09f07 Merge pull request #6547 from ethereum/wasmPrototype
[Yul] Wasm dialect.
2019-04-29 10:11:14 +02:00
chriseth 578d618065 Merge pull request #6594 from ethereum/adjustCodeMetric
Increase code cost for branching statements.
2019-04-29 09:48:59 +02:00
chriseth e6926504ef Add link to "source-verify". 2019-04-29 09:15:05 +02:00
Erik Kundt c02257207b Removes assert on magic ABI functions during codegen. 2019-04-26 15:01:35 +02:00
Bhargava Shastry 91d9e52d7d Fix log parsing error 2019-04-26 11:47:46 +02:00
Leonardo Alt 371b37b660 Fix direct call to base class overloaded functions 2019-04-26 09:34:15 +02:00
chriseth 00d81929b1 Merge pull request #6576 from ethereum/isoltest-evmversion-comparator
Allow additional EVMVersion comparators in isoltest
2019-04-25 17:37:46 +02:00
chriseth 169b555a22 Merge pull request #6507 from ethereum/smt_address_members
[SMTChecker] Address members
2019-04-25 17:29:42 +02:00
chriseth ec0b78595d [Yul] Wasm dialect. 2019-04-25 17:27:17 +02:00
Erik Kundt 15d753a3e0 Allows additional EVMVersion comparators in isoltest. 2019-04-25 17:13:17 +02:00
chriseth cdf60c3be8 Merge pull request #6593 from ethereum/catchFatalErrorsInAnalysis
[Yul] Catch fatal errors in analysis.
2019-04-25 17:08:46 +02:00
chriseth bf104f718f Increase code cost for branching statements. 2019-04-25 17:08:11 +02:00
chriseth fbe225a9b2 Merge pull request #6579 from ethereum/supportDotInIdentifier
Support period as part of identifiers for Yul and Inline Assembly.
2019-04-25 16:57:58 +02:00
chriseth f9ec1231b6 Support period as part of identifiers for Yul and Inline Assembly. 2019-04-25 16:48:16 +02:00
chriseth 309d3e65cf Merge pull request #6585 from ethereum/fixInvalidFunctionTags
Fix invalid function tags
2019-04-25 16:30:37 +02:00
Leonardo Alt fc482de695 [SMTChecker] Support address members 2019-04-25 16:24:36 +02:00
chriseth 5b991c1e59 Fix use of uninitialized functions stored in storage. 2019-04-25 15:40:48 +02:00
chriseth 96688717a2 Merge pull request #6521 from ethereum/type_conv_yul-6479
Yul Generation: conversions
2019-04-25 14:29:37 +02:00
chriseth d5c54e9107 [Yul] Catch fatal errors in analysis. 2019-04-25 11:34:56 +02:00
chriseth b6bb3ae482 Merge pull request #6555 from sifmelcara/break-for-loop
[Yul] Disallow function definitions inside for loop init blocks
2019-04-25 11:20:44 +02:00
chriseth f26cdea6ca Disallow Yul function definitions inside for loop init blocks. 2019-04-25 10:32:00 +02:00
chriseth eea425a3f6 Merge pull request #6588 from ethereum/ossfuzz-nightly-ci-enhancement
Updated script to treat libFuzzer errors as failures
2019-04-25 09:25:01 +02:00
Mathias Baumann 1ef213cc15 Sol -> Yul: Implement explicit cast 2019-04-24 22:52:17 +02:00
Mathias Baumann 441369d5f1 Sol -> Yul Generator: Mark "return" as unimplemented 2019-04-24 22:52:17 +02:00
Mathias Baumann 944ac6fb6d Sol -> Yul Generation: Implicit conversions 2019-04-24 22:52:17 +02:00
chriseth 6292adbde6 Merge pull request #6580 from ethereum/doNotGenerateInstructionsAsNmes
Prevent instructions to be generated as names.
2019-04-24 22:07:05 +02:00
Bhargava Shastry 98815fb98a Updated script to treat libFuzzer errors as failures 2019-04-24 19:52:47 +02:00
chriseth 0af8d758a5 Prevent instructions to be generated as names. 2019-04-24 14:35:21 +02:00
chriseth f124bacebc Merge pull request #6568 from ethereum/fixDeepFor
Disable redundent assign eliminator for deeply nested loops.
2019-04-24 13:49:18 +02:00
chriseth eac0048176 Merge pull request #6569 from ethereum/fix_ossfuzz_regression_workflow
Add ossfuzz builder to nightly workflow
2019-04-23 13:21:22 +02:00
Bhargava Shastry 60df49bd81 Add ossfuzz builder to nightly workflow 2019-04-23 10:47:16 +02:00
chriseth 4bb1d640da Merge pull request #6565 from ethereum/docs-turkish
[DOCS] Add Turkish translation
2019-04-23 10:26:36 +02:00
mingchuan 5d93c492fe [Yul] More accurate error messages for break/continue 2019-04-23 10:15:19 +02:00
chriseth aad4373da4 Disable redundent assign eliminator for deeply nested loops. 2019-04-23 09:50:25 +02:00
Chris Ward 2322b4f504 Add Turkish translation 2019-04-23 13:15:39 +10:00
Chris Chinchilla 13518820c7 Merge pull request #6454 from ethereum/docs-high-s-clar
[DOCS] Explain high s value
2019-04-23 13:04:55 +10:00
chriseth 2a716ad577 Merge pull request #6122 from fulldecent/patch-10
[DOCS] Add NatSpec documentation
2019-04-19 00:59:18 +02:00
William Entriken 916e151f46 Add NatSpec documentation. 2019-04-19 00:54:08 +02:00
chriseth 4312f6ec23 Merge pull request #6475 from ethereum/ossfuzz-regression-ci
ossfuzz regression ci
2019-04-19 00:44:05 +02:00
chriseth 424c6f5639 Merge pull request #6550 from ethereum/smt_this
[SMTChecker] Support this as address
2019-04-19 00:42:33 +02:00
chriseth 1d5559c350 Merge pull request #6554 from ethereum/add-ternary-ops
ossfuzz: Generate addmod and mulmod builtin functions
2019-04-19 00:41:57 +02:00
Leonardo f8b1326712 Merge pull request #6539 from ethereum/fix-dup-case-literals
ossfuzz: Fixes buggy generation of duplicate case literals
2019-04-19 00:40:26 +02:00
Leonardo Alt dd1afeba52 [SMTChecker] Support this as address 2019-04-18 17:56:52 +02:00
chriseth f077b15357 Merge pull request #6537 from ethereum/activateASAN
Run ASAN on all PRs and also run commandline tests.
2019-04-18 17:15:48 +02:00