Commit Graph

19075 Commits

Author SHA1 Message Date
Leonardo
6b482d4b41
Merge pull request #10647 from ethereum/ppaStaticRelease
Build solidity-upgrade and yul-phaser statically on static PPA builds.
2020-12-18 14:20:44 +01:00
Alex Beregszaszi
d5014ea081
Merge pull request #10642 from ethereum/semver-parser
Report meaningful error if parsing a version pragma failed
2020-12-18 13:09:06 +00:00
Alex Beregszaszi
b14a6a10cc Report meaningful error if parsing a version pragma failed 2020-12-18 11:50:37 +00:00
chriseth
8c455a1a99
Merge pull request #10650 from haltman-at/update-payable-docs
Mark msg.sender and tx.origin as nonpayable in docs
2020-12-18 11:21:06 +01:00
Leonardo
16832985f5
Merge pull request #10614 from blishko/smt-overidden-modifiers
[SMTChecker] Fix analysis of overriding modifiers
2020-12-18 09:26:34 +01:00
Harry Altman
bfe80dec6b Mark msg.sender and tx.origin as nonpayable in docs 2020-12-17 22:04:04 -05:00
Harikrishnan Mulackal
8194cbb497
Merge pull request #10640 from ethereum/error-cleanup
Improve the Error class with a constructor for secondaryLocation
2020-12-17 17:58:28 +01:00
Martin Blicha
7078e8f8f8 [SMTChecker] Fix analysis of overriding modifiers 2020-12-17 17:05:54 +01:00
Daniel Kirchner
1afdfc2c84 Build solidity-upgrade and yul-phaser statically on static PPA builds. 2020-12-17 16:09:23 +01:00
Đorđe Mijović
9328503265
Merge pull request #10572 from ethereum/smt_abi
[SMTChecker] Support ABI functions as uninterpreted functions
2020-12-17 15:53:05 +01:00
Alex Beregszaszi
97173247c0 Improve the Error class with a constructor for secondaryLocation
Remove occurances of Error construction using the boost helpers.
2020-12-17 13:50:04 +00:00
Leonardo Alt
50be39fc21 Add and update tests 2020-12-17 14:42:49 +01:00
Leonardo Alt
7ba91cdc33 Changelog 2020-12-17 14:03:17 +01:00
Leonardo Alt
2cbf33ca1c SMTChecker support ABI functions as UFs 2020-12-17 14:03:17 +01:00
Alex Beregszaszi
2fa0e3c88a
Merge pull request #10641 from ethereum/yul-error
Simplify StackTooDeepError in Yul
2020-12-17 12:46:26 +00:00
Alex Beregszaszi
9230faf9a3 Simplify StackTooDeepError in Yul 2020-12-16 20:35:11 +00:00
Alex Beregszaszi
2be078b4d0
Merge pull request #10637 from ethereum/remove99
Remove version pragmas using `.99`.
2020-12-16 20:14:44 +00:00
chriseth
191070d322 Remove version pragmas using .99. 2020-12-16 19:39:02 +00:00
Alex Beregszaszi
a993ab4db7
Merge pull request #10638 from ethereum/setver081
Set version to 0.8.1.
2020-12-16 19:23:03 +00:00
chriseth
21ed65d956 Set version to 0.8.1. 2020-12-16 20:08:13 +01:00
chriseth
c7dfd78e57
Merge pull request #10636 from ethereum/smt_fix_constant
Fix constant evaluation build
2020-12-16 18:04:09 +01:00
Leonardo Alt
f5c96ea6da Fix constant evaluation build 2020-12-16 17:59:00 +01:00
chriseth
b252ab08a9
Merge pull request #10632 from ethereum/sortChangelog
Sort changelog for 0.8.0
2020-12-16 17:02:03 +01:00
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
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