chriseth
|
d46da8e53c
|
Optimize iszero(sub(x, y)) to eq(x, y).
|
2020-12-22 15:11:48 +01:00 |
|
Djordje Mijovic
|
a204596c3e
|
[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-12-22 15:11:07 +01:00 |
|
Leonardo
|
6bcae84610
|
Merge pull request #10678 from blishko/refactor
[SMTChecker] Small refactoring to define a single way of gathering functions belonging to a given contract.
|
2020-12-22 13:50:26 +01:00 |
|
Martin Blicha
|
d90b9da4f0
|
[SMTChecker] Refactoring
|
2020-12-22 13:10:48 +01:00 |
|
chriseth
|
d987834e79
|
Merge pull request #10079 from ethereum/catchPanic
Catch panic.
|
2020-12-22 13:06:57 +01:00 |
|
chriseth
|
0437ee7ad9
|
Fix length check when decoding error data.
|
2020-12-22 11:08:44 +01:00 |
|
chriseth
|
b965446182
|
Catch panic.
|
2020-12-22 11:08:44 +01:00 |
|
Đorđe Mijović
|
b78443ac75
|
Merge pull request #10577 from ethereum/deleteMappingSol2Yul
[Sol->Yul] Skipping mapping types when deleting structs and arrays.
|
2020-12-21 20:08:51 +01:00 |
|
Leonardo
|
a48106ca1f
|
Merge pull request #10670 from blishko/smt-virtual-modifiers-fix
[SMTChecker] Fix virtual modifier called statically
|
2020-12-21 18:05:02 +01:00 |
|
Djordje Mijovic
|
adb9d0c41a
|
[Sol->Yul] Fixing array clearing when copying from storage to storage.
|
2020-12-21 17:33:06 +01:00 |
|
Djordje Mijovic
|
8b6397e8fb
|
Adding more syntax and semantic tests.
|
2020-12-21 15:30:49 +01:00 |
|
Đorđe Mijović
|
21dc6c8356
|
Merge pull request #10552 from ethereum/gettersSol2Yul
[Sol->Yul] Implementing getter for struct with bytes member
|
2020-12-21 15:29:29 +01:00 |
|
Djordje Mijovic
|
7b2614576f
|
Activating some tests viaYul after implementing getters for bytes.
|
2020-12-21 14:46:13 +01:00 |
|
Djordje Mijovic
|
2d5a2c65a8
|
[Sol->Yul] Implementing getters for bytes and structs containing bytes member.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-12-21 14:46:06 +01:00 |
|
Martin Blicha
|
87ef0e16f5
|
[SMTChecker] Fix virtual modifier called statically
|
2020-12-21 13:52:28 +01:00 |
|
Djordje Mijovic
|
9b8634f2a7
|
[Sol->Yul] Skipping mapping types when deleting structs and arrays.
|
2020-12-21 13:19:25 +01:00 |
|
Bhargava Shastry
|
beed9de7d5
|
Merge pull request #10668 from ethereum/fuzzer-always-add-smt-pragma
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
|
2020-12-21 12:38:44 +01:00 |
|
chriseth
|
a9a62e86df
|
Merge pull request #10669 from ethereum/testRecursionModifiers
Test for recursion with modifiers.
|
2020-12-21 12:06:26 +01:00 |
|
Bhargava Shastry
|
a6a2b58e57
|
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
Co-authored-by: Leonardo <leo@ethereum.org>
|
2020-12-21 11:55:58 +01:00 |
|
chriseth
|
43baceb1ed
|
Test for recursion with modifiers.
|
2020-12-21 11:39:59 +01:00 |
|
Alex Beregszaszi
|
67712d50ba
|
Merge pull request #10665 from smarteasy/develop
Update introduction-to-smart-contracts.rst
|
2020-12-20 13:39:41 +00:00 |
|
smareasy
|
e5695448db
|
Update introduction-to-smart-contracts.rst
|
2020-12-20 15:16:23 +09:00 |
|
Leonardo
|
158154bac3
|
Merge pull request #10345 from ethereum/ir-runtime
Output runtime object in IR
|
2020-12-18 17:19:40 +01:00 |
|
Bhargava Shastry
|
72efdd3e51
|
Merge pull request #10606 from ethereum/update-ossfuzz-docker-image
ossfuzz: Update ossfuzz docker image that now contains sanitized libgmp
|
2020-12-18 15:27:52 +01:00 |
|
Alex Beregszaszi
|
7e20a095a8
|
Merge pull request #10652 from ethereum/smt_constants_inplce
[SMTChecker] Replace constants by their value in-place
|
2020-12-18 14:22:32 +00:00 |
|
chriseth
|
85ac8513e1
|
Merge pull request #10651 from ethereum/rename-asmscope
Rename AsmScope* to Scope*
|
2020-12-18 14:32:23 +01:00 |
|
chriseth
|
c4ade1753e
|
Merge pull request #10445 from ethereum/modifiers
[Sol->Yul] Implement function modifiers.
|
2020-12-18 14:29:00 +01:00 |
|
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 |
|