Commit Graph
13521 Commits
Author SHA1 Message Date
chriseth e79f978171 Merge pull request #6625 from ethereum/ossfuzz-nightly-print-dots
Run all tests and summarize failures, add new fuzzers to artifact
2019-05-02 11:49:52 +02:00
chriseth 6b2dbbffe4 Merge pull request #6620 from ethereum/external-tests-abiv2
Fix typo in external test commons
2019-05-02 11:38:08 +02:00
Erik Kundt 672f874b54 Fixes typo in external test commons. 2019-05-02 11:33:11 +02:00
chriseth 73484ccaf2 Merge pull request #6640 from ethereum/smt_inherited_state_vars
[SMTChecker] Fix ICE in inherited state var
2019-05-02 10:49:34 +02:00
chriseth 2538bf897d Merge pull request #6645 from ethereum/add-blockchain-ops
Support generation of calldata, code, extcode and returndata opcodes
2019-05-02 10:47:54 +02:00
Bhargava Shastry ac7bfec2c0 Support generation of calldata, code, extcode and returndata opcodes 2019-05-02 10:14:25 +02:00
Leonardo Alt dd4e938265 [SMTChecker] Fix ICE in inherited state var 2019-05-02 10:03:12 +02:00
chriseth 90f2fe6fd0 Merge pull request #6636 from ethereum/smt_fix_constructor
[SMTChecker] Fix bad cast in base constructor modifier.
2019-05-02 09:50:24 +02:00
chriseth 0fcb3e85ef Merge pull request #6638 from ethereum/release
Merge release back into develop.
2019-04-30 18:54:22 +02:00
Leonardo Alt a6db37ac9c [SMTChecker] Fix bad cast in base constructor modifier. 2019-04-30 18:48:13 +02:00
chriseth b6bcd8a153 Merge pull request #6637 from ethereum/inc_version
Increase version number to 0.5.9
2019-04-30 18:42:33 +02:00
chriseth ea70b174db Merge pull request #6634 from asymmetric/patch-1
Conversion: remove confusing int8 type
2019-04-30 18:41:25 +02:00
Leonardo Alt 9fb340fce4 Increase version number to 0.5.9 2019-04-30 18:38:19 +02:00
asymmetric 95c4f8f2bd Conversion: remove confusing int8 type
The topic of converting a smaller type into a larger one is orthogonal to the one discussed in the example (namely, conversion between signed and unsigned integers).

Therefore, we change the `int8` to an `int` to make the example clearer.
2019-04-30 17:14:00 +02:00
chriseth dc13469593 Merge pull request #6589 from ethereum/addReturn
[Yul] Add code generation for "return" and for loops.
2019-04-30 17:07:45 +02:00
chriseth 3b3d9db7af Merge pull request #6524 from ethereum/cmdlineUpdateInteractive
Only ask for cmdline test updates in interactive runs.
2019-04-30 17:05:53 +02:00
Bhargava Shastry 9b56bd1db4 Run all tests and summarize failures, add new fuzzers to artifact 2019-04-30 17:00:33 +02:00
chriseth d940f6f7ef Merge pull request #6611 from ethereum/smt_refactor_assignment
[SMTChecker] Refactor assignment handling
2019-04-30 15:26:51 +02:00
chriseth 23d335f28e Merge pull request #6630 from ethereum/develop
Merge develop into release for 0.5.8
v0.5.8
2019-04-30 15:10:18 +02:00
chriseth 18104a08b8 Merge pull request #6627 from ethereum/add-memory-log
Proto fuzzer: Add missing memory and log opcodes and fix visitation bug
2019-04-30 15:09:34 +02:00
chriseth 2bb68e2452 Merge pull request #6629 from ethereum/setDateFor058
Set release date, sort changelog entries and update bug list.
2019-04-30 14:25:09 +02:00
chriseth 8b4bccc5f1 Merge pull request #6628 from rocky/osx-ld-visibility
Remove clang+osx ld warning
2019-04-30 14:24:45 +02:00
Bhargava Shastry d894ffad16 Proto fuzzer: Add missing memory and log opcodes and fix visitation bug
for ternary ops
2019-04-30 14:18:00 +02:00
chriseth 23a071dfd4 Set release date, sort changelog entries and update bug list. 2019-04-30 14:14:44 +02:00
rocky b3ef7e2301 Remove clang+osx ld warning
Boost libraries on osx use visibility=hidden to reduce unnecessary DWARF entries.

Unless we match visibility, ld will give a warning message like:

   ld: warning: direct access in function 'boost::filesystem... from file ...
   means the weak symbol cannot be overridden at runtime. This was likely caused by different translation units being compiled with different visibility settings.
2019-04-30 07:38:28 -04:00
chriseth 0dc461b926 Merge pull request #6618 from ethereum/forwardPortChangelogAndBuglist
Forward-port 0.4.26 release notes and update bug list.
2019-04-30 13:18:30 +02:00
chriseth bab2391a7c Test case for loops. 2019-04-30 13:10:37 +02:00
chriseth e66ab6c036 Helper function to define the value of expressions. 2019-04-30 13:10:37 +02:00
chriseth 0eef51ffa4 Conversion during binary operation. 2019-04-30 13:10:37 +02:00
chriseth 597d37b731 Implement for loops. 2019-04-30 13:10:37 +02:00
chriseth c1ca16cd33 Implement return. 2019-04-30 13:10:36 +02:00
chriseth ecb8dfb26c Forward-port 0.4.26 release notes and update bug list. 2019-04-30 11:31:12 +02:00
Leonardo Alt 0cdb9e48b0 Update SMTChecker JSON tests expectation 2019-04-30 11:08:36 +02:00
Leonardo Alt e4989369d0 Refactor cast from identifier ref decl to var decl 2019-04-30 11:08:36 +02:00
Leonardo Alt 762f79f84d Refactor assignment handling 2019-04-30 11:08:36 +02:00
chriseth cc5c899291 Merge pull request #6614 from ethereum/ossfuzz-nightly-print-dots
Print dots in background to prevent circle CI  from timing out
2019-04-29 16:26:41 +02:00
chriseth 39d153b7a1 Merge pull request #6570 from ethereum/fixMetaSettings
Move metadata settings into its own object.
2019-04-29 15:09:27 +02:00
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 eef3f95724 Move metadata settings into its own object. 2019-04-29 14:19:27 +02:00
Bhargava Shastry a48c762513 Print dots in background to prevent circle CI from reporting a timeout because nothing was flushed to stdout in over 10 minutes 2019-04-29 11:14:16 +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