chriseth
|
0b216f5771
|
Merge pull request #9050 from ethereum/smt_fix_nonvalue_asgn
[SMTChecker] Fix ICE on index access assignment inside single branches
|
2020-05-28 16:25:46 +02:00 |
|
chriseth
|
65d8b6cf75
|
Merge pull request #9033 from a3d4/partfix-5819-add-errorid-to-error-class
Add unique ID to Error class
|
2020-05-28 16:24:47 +02:00 |
|
Leonardo
|
1051cea91c
|
Merge pull request #9052 from ethereum/smt_add_test_delete_m_d_array
[SMTChecker] Add test that deletes arrays
|
2020-05-28 16:14:55 +02:00 |
|
Leonardo Alt
|
9b0146be42
|
Add test
|
2020-05-28 15:56:47 +02:00 |
|
Leonardo Alt
|
ec766958ea
|
Add test
|
2020-05-28 13:14:21 +02:00 |
|
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 |
|
a3d4
|
be83c54d79
|
Throw TestParserError instead of Error in tests
|
2020-05-28 02:26:17 +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
|
eb923af09c
|
Do not set source locations for small internal assembly routines.
|
2020-05-27 18:26:46 +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
|
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
|
f066050ec0
|
Merge pull request #9024 from ethereum/namableTypes
Disallow non-namable types for inline arrays.
|
2020-05-27 09:21:07 +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
|
d0b6de580f
|
Disallow non-namable types for inline arrays.
|
2020-05-26 18:17:35 +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 |
|
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
|
c5dbcc9853
|
Merge pull request #9018 from ethereum/fixLeave
Fix implementation of leave.
|
2020-05-26 11:35:47 +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
|
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 |
|
chriseth
|
8e31c345a8
|
Merge pull request #8978 from ethereum/disturbance_stack
Add proper unipmlemented errors for array copying
|
2020-05-25 15:34:45 +02:00 |
|
Mathias Baumann
|
7f3d437ffe
|
Fix caret position for errors with utf source
|
2020-05-25 14:27:03 +02:00 |
|
Mathias Baumann
|
d45bb2aa07
|
Add proper unipmlemented errors for array copying
|
2020-05-25 10:48:42 +02:00 |
|
Leonardo Alt
|
0fda5fe077
|
[SMTChecker] Add test that has an unused mapping
|
2020-05-25 10:24:48 +02:00 |
|
a3d4
|
a499ef16fa
|
Fix spelling errors
|
2020-05-25 02:54:37 +02:00 |
|
Kamil Śliwak
|
4a2ce57bed
|
Add support for bound function calls in IR generator
|
2020-05-20 21:10:20 +02:00 |
|
chriseth
|
32bec6b374
|
Merge pull request #8800 from ethereum/natspec-bugfix
[BREAKING] NatSpec bugfix
|
2020-05-20 17:21:15 +02:00 |
|
chriseth
|
ed0f2d463f
|
Merge pull request #8453 from imapp-pl/configurable-code-size-metric
Configurable CodeSize metric
|
2020-05-20 17:15:41 +02:00 |
|
hrkrshnn
|
37257548d0
|
Fixed bug when two empty NatSpec comments led to scanning past EOL
|
2020-05-20 20:26:02 +05:30 |
|
Kamil Śliwak
|
1fa689e951
|
[yul-phaser] ProgramCache::calculateTotalCachedCodeSize(): Replace default weights with ones that better correlate with memory usage
|
2020-05-20 16:47:23 +02:00 |
|
Kamil Śliwak
|
b776021870
|
[yul-phaser] Command-line options for altering weights used by CodeSize metric
|
2020-05-20 16:47:23 +02:00 |
|
Kamil Śliwak
|
40dfac7683
|
[yul-phaser] Require specifying weights for Program::codeSize()
|
2020-05-20 16:47:23 +02:00 |
|
Kamil Śliwak
|
d199fc537b
|
Add configurable weights to CodeSize metric
|
2020-05-20 16:47:23 +02:00 |
|
Leonardo
|
56b5f1bb12
|
Merge pull request #8976 from ethereum/libsmtutil
libsmtutil
|
2020-05-20 16:14:37 +02:00 |
|
chriseth
|
84092edc5d
|
Merge pull request #8914 from random-internet-cat/down-with-unique-ptr
Down with unique_ptr!
|
2020-05-20 13:22:06 +02:00 |
|
Leonardo Alt
|
45eba27424
|
Rename namespace
|
2020-05-20 12:55:18 +02:00 |
|
Leonardo Alt
|
802d66244d
|
Do not link unnecessarily
|
2020-05-20 12:55:18 +02:00 |
|