Harikrishnan Mulackal
|
d8263d331e
|
Ignore warnings for yulOptimizer tests
|
2020-06-09 13:03:57 +02:00 |
|
Leonardo Alt
|
acbe7a947b
|
Changelog entry
|
2020-06-08 10:23:57 +02:00 |
|
Leonardo Alt
|
87ceb72b82
|
[SMTChecker] Fix internal error in tuples of tuples.
|
2020-06-05 12:20:47 +02:00 |
|
chriseth
|
4cf92bcd89
|
Set version to 0.6.10
|
2020-06-04 18:44:22 +02:00 |
|
Daniel Kirchner
|
59ee743f6a
|
Switch to upstream docker image for emscripten build.
|
2020-06-04 16:17:29 +02:00 |
|
chriseth
|
fc4b3e33b7
|
Prepare 0.6.9.
|
2020-06-04 14:25:04 +02:00 |
|
Kamil Śliwak
|
9b4077aa98
|
Changelog entry for #9074
|
2020-06-04 11:48:13 +02:00 |
|
Mathias Baumann
|
6f8b5fe53b
|
Disallow override with non-public state variables
|
2020-06-03 14:03:26 +02:00 |
|
Leonardo
|
96ce4abe0e
|
Merge pull request #9069 from ethereum/smt_try
[SMTChecker] Fix internal error on try/catch
|
2020-06-02 21:09:49 +02:00 |
|
chriseth
|
c07254f5ac
|
Merge pull request #9055 from ethereum/issue-8881
Output error when forward referencing constants in inline assembly
|
2020-06-02 17:10:56 +02:00 |
|
Leonardo Alt
|
10162016ae
|
[SMTChecker] Fix internal error on try/catch
|
2020-06-02 16:51:53 +02:00 |
|
Mathias Baumann
|
bdc2c63327
|
Output error when forward referencing constants in inline assembly
|
2020-06-02 14:37:54 +02:00 |
|
Leonardo Alt
|
b90fb1cab6
|
[SMTChecker] Fix ICE on index access assignment inside single branches
|
2020-05-28 15:56:46 +02:00 |
|
chriseth
|
79f4a2b476
|
Merge pull request #9051 from ethereum/smt_fix_callstack
[SMTChecker] Fix ICE in inlining function calls while short circuiting
|
2020-05-28 15:48:50 +02:00 |
|
chriseth
|
bf4ef7483c
|
Merge pull request #8927 from ethereum/solc-base-path
Adds ``--base-path` to solc when compiling in `--standard-json` mode for resolving relative paths.
|
2020-05-28 14:10:01 +02:00 |
|
Leonardo Alt
|
a73ec6a82f
|
[SMTChecker] Fix ICE in inlining function calls while short circuiting
|
2020-05-28 13:14:19 +02:00 |
|
Leonardo
|
097954bc80
|
Merge pull request #9049 from ethereum/smt_fix_fp
[SMTChecker] Fix fixed point inc/dec
|
2020-05-28 13:13:23 +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 |
|
Leonardo Alt
|
cb1cbbc1f1
|
[SMTChecker] Fix fixed point inc/dec
|
2020-05-28 10:56:06 +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 |
|
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 |
|
Christian Parpart
|
09485058d8
|
Adds `--base-path to solc when compiling in --standard-json mode for resolving relative paths.
|
2020-05-27 16:23:03 +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 |
|
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 |
|
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 |
|
Mathias Baumann
|
b3cafe4583
|
Fix ICE by avoiding copyForLocation() on ArraySliceType
|
2020-05-26 17:27:46 +02:00 |
|
chriseth
|
add55fd793
|
Documentation.
|
2020-05-26 10:51:13 +02:00 |
|
Mathias Baumann
|
d45bb2aa07
|
Add proper unipmlemented errors for array copying
|
2020-05-25 10:48:42 +02:00 |
|
hrkrshnn
|
37257548d0
|
Fixed bug when two empty NatSpec comments led to scanning past EOL
|
2020-05-20 20:26:02 +05:30 |
|
Alexander Arlt
|
af8bb5fb60
|
Allow natspec comments on state variables.
|
2020-05-19 11:01:52 -05:00 |
|
chriseth
|
f70ff0dfaa
|
Merge pull request #8977 from ethereum/mapping-type-error
Error when Mapping type in (non-local) storage is assigned to
|
2020-05-19 16:52:54 +02:00 |
|
Harikrishnan Mulackal
|
774edd4670
|
Error when Mapping type in (non-local) storage is assigned to
|
2020-05-19 19:12:38 +05:30 |
|
Leonardo Alt
|
82db35e563
|
[SMTChecker] Support array push/pop
|
2020-05-18 16:33:34 +02:00 |
|
Harikrishnan Mulackal
|
4a291f8551
|
Changelog and test
|
2020-05-18 12:36:01 +05:30 |
|
Leonardo Alt
|
a0c605aa85
|
[SMTChecker] Support array length
|
2020-05-14 23:32:29 +02:00 |
|
Daniel Kirchner
|
e5da635c0c
|
Add missing Changelog entry about soljson.js build changes.
|
2020-05-14 21:38:43 +02:00 |
|
chriseth
|
79e62f6600
|
Set version to 0.6.9.
|
2020-05-14 13:58:00 +02:00 |
|
chriseth
|
a16a8c6123
|
Sort and copyedit changelog.
|
2020-05-14 12:36:04 +02:00 |
|
chriseth
|
6308ca4a22
|
Binary transform for br and br_if.
|
2020-05-14 11:30:19 +02:00 |
|
chriseth
|
1700bdc4ad
|
Merge pull request #8925 from ethereum/abiEncodeCalldataSlice
Allow abi encoding array slices without casting.
|
2020-05-13 18:55:16 +02:00 |
|
Daniel Kirchner
|
97296d8622
|
Allow ABI encoding for array slices without explicit casts.
|
2020-05-13 18:20:07 +02:00 |
|
Mathias Baumann
|
820fdd9bf7
|
Escape backslashes when formatting
|
2020-05-13 17:08:37 +02:00 |
|
chriseth
|
e9446475bb
|
Merge pull request #8924 from ethereum/arraySliceBug
Fix array slice bug.
|
2020-05-13 16:06:28 +02:00 |
|
Daniel Kirchner
|
6f04664cfa
|
Disallow array slicing for arrays with dyanmically encoded base types.
|
2020-05-13 15:52:22 +02:00 |
|
Harikrishnan Mulackal
|
47e9a13e8a
|
Fix exponentiation bug
|
2020-05-13 13:53:06 +05:30 |
|
chriseth
|
7da453014d
|
Fix source location of yul variable declarations without value.
|
2020-05-12 17:45:19 +02:00 |
|