Leonardo Alt
|
034d1ab90f
|
[SMTChecker] Replace constants by their value in-place
|
2020-12-18 14:22:28 +01:00 |
|
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
|
0425936c8a
|
Rename AsmScope* to Scope*
|
2020-12-18 11:55:17 +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 |
|
chriseth
|
242bf9b6dc
|
Document modifier changes.
|
2020-12-17 17:00:51 +01:00 |
|
chriseth
|
1fa371d426
|
Tests
|
2020-12-17 17:00:51 +01:00 |
|
chriseth
|
35908c602b
|
Modifiers for constructors.
|
2020-12-17 17:00:51 +01:00 |
|
chriseth
|
ccaa81fbe7
|
Implement function modifiers.
|
2020-12-17 17:00:51 +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
|
953d18c6cb
|
Output runtime object in IR
|
2020-12-16 19:23:10 +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 |
|