Alex Beregszaszi
|
20dd66f398
|
Fix missing quote in error message for invalid Yul types
|
2020-07-10 21:06:09 +01:00 |
|
Daniel Kirchner
|
70615a73a4
|
Disallow the same yul variable occurring multiple times on the LHS of an assignment.
|
2020-07-07 10:52:47 +02:00 |
|
Alex Beregszaszi
|
67ebb206ea
|
Turn Instruction::JUMP* into yulAssert
|
2020-07-06 14:46:36 +01:00 |
|
Alex Beregszaszi
|
2e6cbd8718
|
Rename warnOnInstructions to validateInstructions
|
2020-07-03 12:35:22 +01:00 |
|
Alex Beregszaszi
|
d211a45aa4
|
Use different error code for various EVM features in Yul
|
2020-07-03 12:35:22 +01:00 |
|
Kamil Śliwak
|
a331d4449d
|
Add linkersymbol() builtin to Yul EVM dialect
|
2020-06-24 15:06:52 +02:00 |
|
Kamil Śliwak
|
1b09b4f950
|
Allow Yul literals longer than 32-bytes when used as literal arguments for builtins
|
2020-06-24 15:05:38 +02:00 |
|
chriseth
|
5fdbb5c3e3
|
Simplify inline assembly resolver.
|
2020-06-15 18:10:18 +02:00 |
|
Djordje Mijovic
|
33e7b24df0
|
Adding fixes for signedness conversion warnings in libyul
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-06-12 10:39:30 +02:00 |
|
Harikrishnan Mulackal
|
d8263d331e
|
Ignore warnings for yulOptimizer tests
|
2020-06-09 13:03:57 +02:00 |
|
Harikrishnan Mulackal
|
73e634924e
|
Warn on YUL switch statement with only default statement
|
2020-06-09 12:32:53 +02:00 |
|
Christian Parpart
|
c708a1bec2
|
AsmAnalysis: Fixes a superfluous whitespace in an error string
|
2020-06-03 12:23:06 +02:00 |
|
a3d4
|
011f8a462d
|
Remove AsmAnalyzer class-specific error reporting functions
|
2020-05-28 02:02:53 +02:00 |
|
Christian Parpart
|
b7fa5d5040
|
Mark EVM instruction pc() as deprecated when used in inline assembly.
|
2020-05-27 12:07:23 +02:00 |
|
a3d4
|
9f8d5753ce
|
Introduce ErrorWatcher and remove a dedicated error flag from AsmAnalyzer
|
2020-05-18 16:06:23 +02:00 |
|
Daniel Kirchner
|
c1ed5bbb0f
|
Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them.
|
2020-05-11 17:35:01 +02:00 |
|
a3d4
|
8f68c04358
|
Add unique IDs to error reporting calls
|
2020-05-06 13:53:46 +02:00 |
|
Mathias Baumann
|
debcc8c056
|
Add setimmutable and loadimmutable to dialect.
|
2020-05-04 15:00:50 +02:00 |
|
Mathias Baumann
|
5203503583
|
Allow for per-parameter literalValues builtin functions
|
2020-04-08 16:41:38 +02:00 |
|
chriseth
|
1f51716227
|
Type checking for Yul.
|
2020-02-24 15:05:18 +01:00 |
|
chriseth
|
29e5cd89be
|
Remove stack counting from Asm Analysis.
|
2020-02-17 12:58:05 +01:00 |
|
chriseth
|
7496598b5a
|
Merge pull request #8155 from ethereum/removeStackHeightChecks
Remove stack height checks.
|
2020-02-03 12:28:37 +01:00 |
|
chriseth
|
fbe5bb0cce
|
Parse default dialect and omit when printing.
|
2020-01-29 17:25:25 +01:00 |
|
chriseth
|
f0afb0aeff
|
Remove stack height checks.
|
2020-01-28 15:26:17 +01:00 |
|
chriseth
|
81569f7208
|
Remove Scope::Label.
|
2020-01-16 19:13:25 +01:00 |
|
chriseth
|
fe35df4b78
|
Style.
|
2020-01-14 17:17:20 +01:00 |
|
chriseth
|
123ea0a250
|
Remove asm flavour.
|
2020-01-14 17:16:09 +01:00 |
|
Christian Parpart
|
6b23412fae
|
C++ namespace cleanup (except tests).
|
2020-01-07 15:51:50 +01:00 |
|
chriseth
|
7db88cfedd
|
Remove yul::Instruction .
|
2019-12-19 23:22:19 +01:00 |
|
chriseth
|
2f11ac3590
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-12-03 21:17:15 +01:00 |
|
Alex Beregszaszi
|
7e8f0a17bc
|
Replace all solAsserts with yulAsserts in libyul
|
2019-12-03 17:54:34 +01:00 |
|
chriseth
|
b0db64ff5b
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-11-26 16:19:35 +01:00 |
|
Leonardo Alt
|
2bfa3a7c97
|
Rewrite GenericVisitor
|
2019-11-26 15:55:06 +01:00 |
|
Leonardo Alt
|
389da5228e
|
Merge remote-tracking branch 'origin/develop' into merge_develop_060
|
2019-11-20 12:27:40 +01:00 |
|
Leonardo Alt
|
be849b3c47
|
Replace boost::variant by std::variant in libyul
|
2019-11-19 17:23:18 +01:00 |
|
Christian Parpart
|
f15d47f165
|
Yul: Remove obsoleted FunctionalInstruction.
|
2019-11-11 16:04:39 +01:00 |
|
Daniel Kirchner
|
0556f64722
|
Analyze inline assembly variable declarations for invalid or shadowing names.
|
2019-11-07 13:04:37 +01:00 |
|
chriseth
|
e275bb88f0
|
Fix windows build.
|
2019-11-06 02:06:19 +01:00 |
|
chriseth
|
ceb8ee9124
|
[Yul] leave statement.
|
2019-10-29 14:32:16 +01:00 |
|
chriseth
|
edf1e83fda
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-10-28 15:21:49 +01:00 |
|
Christian Parpart
|
2890e4888f
|
AsmAnalyzer: Eliminate dead code.
|
2019-10-25 15:39:16 +02:00 |
|
Christian Parpart
|
ee5826b261
|
AsmAnalyzer: Improve warnOnInstructions(...) implementation.
|
2019-10-25 15:01:27 +02:00 |
|
Christian Parpart
|
7fe0f58445
|
AsmAnalyzer: Only perform further analysis when still in success state (to avoid false positives)
|
2019-10-25 15:01:27 +02:00 |
|
Christian Parpart
|
a6e34bd441
|
Assembly: Revive warning on not-yet-available EVM instructions in (strict) inline assembly.
|
2019-10-25 15:01:26 +02:00 |
|
Christian Parpart
|
3c1d12b16c
|
Assembly: Remove errorTypeForLoose property from AsmAnalyzer.
|
2019-10-25 15:01:26 +02:00 |
|
Christian Parpart
|
6659720776
|
Assembly: Remove checkLooseFeature(...) from AsmAnalyzer.
|
2019-10-25 15:01:26 +02:00 |
|
Christian Parpart
|
3df5dbbca4
|
Assembly: Remove some explicit checks for Loose Assembly
|
2019-10-25 15:01:26 +02:00 |
|
Christian Parpart
|
e23998fc6e
|
Assembly: Remove Label instruction.
|
2019-10-25 15:01:25 +02:00 |
|
Christian Parpart
|
5e8d348f66
|
Assembly: Remove StackAssignment instruction.
|
2019-10-25 15:01:25 +02:00 |
|
Dimitry
|
fd3ae0b24a
|
add chainid and selfbalance to lllc
|
2019-09-09 23:35:36 +03:00 |
|