Leonardo Alt
|
13f32268da
|
[SMTChecker] Add test that shows that deleting arrays takes the index into account
|
2020-05-28 13:08:16 +02:00 |
|
chriseth
|
f608e50bad
|
Merge pull request #9029 from ethereum/fewerInternalSourceRefs
Do not set source locations for small internal assembly routines.
|
2020-05-28 11:14:20 +02:00 |
|
chriseth
|
ee8307ceed
|
Merge pull request #9044 from ethereum/issue-9028
Fix failure to find overload resolution when overrides are involved
|
2020-05-28 10:33:01 +02:00 |
|
chriseth
|
5f8299b379
|
Merge pull request #8926 from ethereum/smt_bitwise_and
[SMTChecker] Support to BitVector and bitwise `and`
|
2020-05-27 23:28:42 +02:00 |
|
Leonardo Alt
|
9e9f0c52e1
|
[SMTChecker] Support to bitwise
|
2020-05-27 20:59:00 +02:00 |
|
Mathias Baumann
|
a846c18e67
|
Fix failure to find overload resolution when overrides are involved
|
2020-05-27 18:31:56 +02:00 |
|
chriseth
|
9f407fe0e7
|
Merge pull request #9031 from ethereum/extend-check-srcipt
Add check for 0000_error to script
|
2020-05-27 18:29:26 +02:00 |
|
chriseth
|
eb923af09c
|
Do not set source locations for small internal assembly routines.
|
2020-05-27 18:26:46 +02:00 |
|
Mathias Baumann
|
7548441b4f
|
Check for wrong error codes in the CI
|
2020-05-27 18:02:58 +02:00 |
|
chriseth
|
a06ac0f39f
|
Merge pull request #8958 from ethereum/evm-version-dependent-rules
[yul] Add support for EVM version-dependent rules.
|
2020-05-27 12:52:51 +02:00 |
|
chriseth
|
afa873fe9f
|
Merge pull request #8913 from ethereum/yul-remove-pc-instr
Mark EVM instruction `pc()` as deprecated when used in inline assembly.
|
2020-05-27 12:10:32 +02:00 |
|
Christian Parpart
|
b7fa5d5040
|
Mark EVM instruction pc() as deprecated when used in inline assembly.
|
2020-05-27 12:07:23 +02:00 |
|
Alexander Arlt
|
a7b89065ca
|
[yul] Add support for EVM version-dependent rules.
|
2020-05-27 11:57:08 +02:00 |
|
chriseth
|
57ac862878
|
Merge pull request #9035 from ethereum/noSMTForBytecodecompare
Disable smt checker for bytecodecompare.
|
2020-05-27 11:46:44 +02:00 |
|
chriseth
|
1bf706085d
|
Merge pull request #9030 from ethereum/issue-8923
Fix ICE when trying to decode too large static arrays
|
2020-05-27 11:45:39 +02:00 |
|
chriseth
|
0aa3fb5026
|
Merge pull request #9014 from ethereum/sol-yul-abidecode
[Sol - Yul] Add support for ABIDecode.
|
2020-05-27 11:44:13 +02:00 |
|
chriseth
|
421f9f3876
|
Disable smt checker for bytecodecompare.
|
2020-05-27 11:12:40 +02:00 |
|
chriseth
|
b488627c79
|
Merge pull request #9034 from ethereum/addDebuggingToBytecodestore
Adding some debug messages to bytecode store.
|
2020-05-27 09:41:27 +02:00 |
|
chriseth
|
75df2342d6
|
Adding some debug messages to bytecode store.
|
2020-05-27 09:39:45 +02:00 |
|
chriseth
|
f066050ec0
|
Merge pull request #9024 from ethereum/namableTypes
Disallow non-namable types for inline arrays.
|
2020-05-27 09:21:07 +02:00 |
|
chriseth
|
41725b2065
|
Merge pull request #9032 from ethereum/sol-yul-fix-wrong-function-type-declaration-assumption
[Sol->Yul] Remove wrong assumption about function declarations associated an expressions
|
2020-05-27 09:10:46 +02:00 |
|
Kamil Śliwak
|
f574d8ec3a
|
Don't assume that an expression cannot be associated with a function declaration
|
2020-05-27 00:05:18 +02:00 |
|
Alexander Arlt
|
118cb13476
|
[Sol - Yul] Add support for ABIDecode.
|
2020-05-26 13:30:37 -05:00 |
|
Mathias Baumann
|
884e7cbffc
|
Fix ICE when trying to decode too large static arrays
|
2020-05-26 19:36:18 +02:00 |
|
chriseth
|
309f0fbc8a
|
Unimplemented assert for conversion from calldata slices to memory.
|
2020-05-26 18:17:36 +02:00 |
|
chriseth
|
d0b6de580f
|
Disallow non-namable types for inline arrays.
|
2020-05-26 18:17:35 +02:00 |
|
chriseth
|
e4b31e7230
|
Introduce named concept for types.
|
2020-05-26 18:17:25 +02:00 |
|
chriseth
|
50b200a5d5
|
Merge pull request #8797 from ethereum/sol-yul-populating-internal-dispatch-on-demand
[Sol->Yul] Populating internal dispatch on demand
|
2020-05-26 18:17:05 +02:00 |
|
chriseth
|
d989dfd43f
|
Merge pull request #9027 from ethereum/issue-8265
Fix ICE by avoiding copyForLocation() on ArraySliceType
|
2020-05-26 17:49:11 +02:00 |
|
Mathias Baumann
|
b3cafe4583
|
Fix ICE by avoiding copyForLocation() on ArraySliceType
|
2020-05-26 17:27:46 +02:00 |
|
Kamil Śliwak
|
1a2e441bc5
|
Generate internal dispatch only for functions that might actually get called via pointers
- This also adds support for internal library calls as a side-effect since they'll now be pulled into the internal dispatch automatically.
|
2020-05-26 17:01:50 +02:00 |
|
chriseth
|
b7aa6cb1f7
|
Merge pull request #9026 from ethereum/sol-yul-refactor-new-conditional-whiskers-syntax-in-internal-dispatch
[Sol->Yul] New whiskers conditionals in internal dispatch template (refactor)
|
2020-05-26 17:00:43 +02:00 |
|
Kamil Śliwak
|
2716b5ff83
|
Replace conditionally empty whiskers variables for punctuation with <?+> syntax in IRGenerator::generateInternalDispatchFunctions()
|
2020-05-26 16:33:40 +02:00 |
|
chriseth
|
37aeeb05da
|
Merge pull request #9023 from ethereum/errorid-random-seed-fix
Fixed seed for randomness, fixed conflicts in errorids
|
2020-05-26 15:17:49 +02:00 |
|
Harikrishnan Mulackal
|
21e34d7ca9
|
Fixed seed for randomness, fixed conflicts in errorids
|
2020-05-26 18:21:47 +05:30 |
|
chriseth
|
5fedb4eab0
|
Merge pull request #9001 from a3d4/partfix-5819-refactor-typechecker
Refactor TypeChecker to assign different IDs to different errors
|
2020-05-26 11:59:54 +02:00 |
|
chriseth
|
8782fd057c
|
Merge pull request #9022 from ethereum/renameAsCallable
Rename asCallableFunction.
|
2020-05-26 11:51:34 +02:00 |
|
chriseth
|
c5dbcc9853
|
Merge pull request #9018 from ethereum/fixLeave
Fix implementation of leave.
|
2020-05-26 11:35:47 +02:00 |
|
chriseth
|
9604174151
|
Rename asCallableFunction.
|
2020-05-26 11:35:12 +02:00 |
|
chriseth
|
e6b399c86e
|
Merge pull request #8942 from ethereum/calldataVariables
Calldata variables.
|
2020-05-26 11:34:40 +02:00 |
|
chriseth
|
f94ad21ef5
|
Merge pull request #9020 from ethereum/fixMemoryAssumption
Fix assumption for member not in memory.
|
2020-05-26 10:55:52 +02:00 |
|
chriseth
|
add55fd793
|
Documentation.
|
2020-05-26 10:51:13 +02:00 |
|
chriseth
|
33450619b1
|
Checks for uninitialized access to calldata variables.
|
2020-05-26 10:51:13 +02:00 |
|
chriseth
|
fb40a8abb8
|
Test updates.
|
2020-05-26 10:51:13 +02:00 |
|
chriseth
|
99194b1450
|
New tests.
|
2020-05-26 10:51:13 +02:00 |
|
chriseth
|
499cb0526f
|
Calldata variables.
|
2020-05-26 10:51:13 +02:00 |
|
chriseth
|
76d27bcfaa
|
Fix assumption for member not in memory.
|
2020-05-26 10:35:04 +02:00 |
|
chriseth
|
bd64e537cb
|
Fix implementation of leave.
|
2020-05-26 10:24:01 +02:00 |
|
chriseth
|
370350da07
|
Merge pull request #9008 from ethereum/smt_add_test
[SMTChecker] Add test that has an unused mapping
|
2020-05-25 17:04:54 +02:00 |
|
chriseth
|
6d64095ccf
|
Merge pull request #8987 from ethereum/sol-yul-bound-functions
[Sol->Yul] Bound functions
|
2020-05-25 16:53:33 +02:00 |
|