Commit Graph
19052 Commits
Author SHA1 Message Date
chriseth 9cfdba6e64 Update bug list. 2020-12-16 16:59:44 +01:00
chriseth e5a8a9e6ed Sort changelog and set release date. 2020-12-16 16:59:32 +01:00
chriseth 3a23df6717 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-16 16:56:45 +01:00
chriseth 7338295fee Merge pull request #10623 from ethereum/smt_const_expr
[SMTChecker] Apply const eval to arithmetic binary expressions
v0.7.6
2020-12-16 15:39:16 +01:00
chriseth 3d0e8aa69c Merge pull request #10630 from ethereum/setReleaseDate
Set release date for 0.7.6.
2020-12-16 15:25:20 +01:00
chriseth 33cc26f32e Merge pull request #10628 from ethereum/fix-line-endings-in-unicode-direction-override-test
Fix line endings in Unicode diretion override tests
2020-12-16 15:25:06 +01:00
Kamil Śliwak 34e21c929a Fix a test for unicode direction override failing because of Windows line endings 2020-12-16 15:24:41 +01:00
chriseth 7f677025ec Set release date for 0.7.6. 2020-12-16 15:01:45 +01:00
Leonardo Alt 80e85b772b [SMTChecker] Apply const eval to arithmetic binary expressions 2020-12-16 14:58:00 +01:00
chriseth eec1e2a66c Merge pull request #10626 from ethereum/howToUpdateYourCode
How to update your code.
2020-12-16 14:45:45 +01:00
chriseth f31cf6b9b5 How to update your code. 2020-12-16 13:48:16 +01:00
chriseth 8f833f4e8f Merge pull request #10618 from ethereum/develop
Merge develop into breaking.
2020-12-16 12:34:41 +01:00
chriseth e347545597 Merge pull request #10625 from ethereum/reportIllegalTokens
Report illegal tokens in the Yul parser.
2020-12-16 12:34:20 +01:00
chriseth cd7795f9e4 Merge pull request #10624 from ethereum/sortChangelog
Sort changelog.
2020-12-16 12:24:10 +01:00
chriseth 5c40fb060c Report illegal tokens in the Yul parser. 2020-12-16 12:20:07 +01:00
chriseth d8aff53771 Sort changelog. 2020-12-16 12:05:28 +01:00
Alex Beregszaszi b764e06c76 Merge pull request #10621 from ethereum/smt_fix_breaking_again
SMTChecker fix breaking again
2020-12-15 20:30:37 +00:00
Leonardo Alt 59428b8f76 Fix SMTChecker tests on breaking 2020-12-15 19:49:57 +01:00
chriseth 3881d223b0 Merge pull request #10617 from ethereum/codegen-fixed-assert
Unary minus is not implemented for fixed point type
2020-12-15 19:25:51 +01:00
Alex Beregszaszi cad4f74012 Unary minus is not implemented for fixed point type 2020-12-15 18:02:10 +00:00
chriseth 17293858c0 Merge pull request #10326 from ethereum/unicode-directional-marks
Scanner: Generate error on inbalanced RLO/LRO/PDF override markers.
2020-12-15 18:54:29 +01:00
Christian Parpart 381c63ec99 Scanner: Generate error on inbalanced RLO/LRO/PDF override markers. 2020-12-15 18:40:51 +01:00
chriseth 6c7e6a3c9f Merge pull request #10615 from ethereum/develop
Merge develop into breaking.
2020-12-15 18:34:01 +01:00
chriseth 53368eff9b Merge pull request #10604 from ethereum/strict-address-payable
[BREAKING] Strict address payable
2020-12-15 18:25:31 +01:00
chriseth 67b7267735 Merge pull request #10613 from ethereum/fix-10609
Asmanalysis: Add test case that demonstrates bug
2020-12-15 18:21:54 +01:00
Bhargava Shastry b45a5d7605 Asmanalysis: Add test case that demonstrates bug 2020-12-15 17:57:19 +01:00
chriseth 1521e9e4d5 Merge pull request #10611 from ethereum/fix-10609
AsmAnalysis: Fix out of bounds read due to incorrect bounds checking …
2020-12-15 16:42:27 +01:00
chriseth 43863bc982 Merge pull request #10610 from ethereum/recently080
Recently released 0.8.
2020-12-15 16:38:25 +01:00
Bhargava Shastry 9b38176c77 AsmAnalysis: Fix out of bounds read due to incorrect bounds checking on literal arguments 2020-12-15 15:38:59 +01:00
chriseth 3c270ca7f7 Merge pull request #10608 from ethereum/develop
Merge develop into breaking.
2020-12-15 15:24:53 +01:00
chriseth 29f46f0b8a Recently released 0.8. 2020-12-15 15:24:01 +01:00
hrkrshnn 571f9dafca Documentation for the PR about making address conversions nonpayable 2020-12-15 15:04:45 +01:00
hrkrshnn fdaede9b3e Tests after disallowing some explicit payable conversions 2020-12-15 15:01:40 +01:00
hrkrshnn 2fb191175b Disallow some explicit conversions to address payable
The following explicit conversions are disallowed:

1. uint160 -> address payable
2. bytes20 -> address payable
3. literals -> address payable (payable(0) is an exception)
2020-12-15 15:01:40 +01:00
chriseth 4e86390e40 Merge pull request #10590 from ethereum/deposit-test
Include the eth2 deposit contract as an external test
2020-12-15 14:57:38 +01:00
Bhargava Shastry 31107e0947 Merge pull request #10594 from ethereum/add-sanitized-gmp-to-ossfuzz-docker
ossfuzz docker: Add sanitized build of gmp library that replaces syst…
2020-12-15 14:53:01 +01:00
Bhargava Shastry e0e30fc600 Merge pull request #10592 from ethereum/abiv2-isabelle-test-values-fix-bugs
Abiv2 isabelle fuzzing
2020-12-15 14:29:20 +01:00
chriseth ffaf40950a Merge pull request #10605 from ethereum/develop
Merge develop into breaking.
2020-12-15 14:01:01 +01:00
chriseth 5f59a949d7 Merge pull request #10598 from ethereum/disable-byte
[BREAKING] Disable the type `byte`
2020-12-15 14:00:17 +01:00
chriseth 2a54079d41 Merge pull request #10575 from ethereum/calldataArraySlices
Conversion of calldata array slices to memory
2020-12-15 12:21:33 +01:00
Leonardo 2552a9b7b0 Merge pull request #10601 from blishko/smt-fix-constructor-recursive-struct
[SMTChecker] Fix internal error on constructor of a recursive struct
2020-12-15 12:15:16 +01:00
Bhargava Shastry 3439e927e5 ossfuzz docker: Add sanitized build of gmp library that replaces system installed lib 2020-12-15 12:11:42 +01:00
Bhargava ShastryandLeonardo b273e52628 Abiv2 fuzzer: Enable differential fuzzing and remove support for string coding
co-authored-by: Leonardo <leo@ethereum.org>
2020-12-15 11:13:10 +01:00
Bhargava Shastry 39f1893956 Fix integer overflow due to large unsigned cpp_int 2020-12-15 11:12:51 +01:00
Martin Blicha e2c27b8ea4 [SMTChecker] Fix internal error on constructor of a recursive struct 2020-12-15 09:53:52 +01:00
Djordje Mijovic 64f0120622 Change assertions to align to TypeChecker. 2020-12-15 09:21:50 +01:00
Djordje Mijovic d479c98920 Adding tests for conversion of calldata slices to memory and storage and fixing syntax tests. 2020-12-15 09:21:47 +01:00
Leonardo d83ce0bcdd Merge pull request #10599 from blishko/smt-inc-dec-push-fix
[SMTChecker] Fix internal error when increment/decrement is applied on a result of push().
2020-12-14 23:52:54 +01:00
Martin Blicha 71f835b71b [SMTChecker] Fixed internal error when increment/decrement is applied on a result of push(). 2020-12-14 22:52:44 +01:00
Djordje MijovicandKamil Śliwak 8aa4568b10 [Sol->Yul] Implementing conversion from calldata slices to memory arrays.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2020-12-14 22:21:37 +01:00