Kamil Śliwak
f34171f806
fixup! getObject -> Object::objectAt
2023-08-25 16:56:40 +02:00
r0qs
9c0f36db3b
Apply suggestions
2023-08-21 16:05:02 +02:00
Daniel Lupu
9b330b9680
set proper execution num for creation objects
2023-08-21 16:05:01 +02:00
Daniel Lupu
b838b9a820
mostly style changes
2023-08-21 16:05:01 +02:00
Daniel Lupu
bf9c95f5c9
process some of the feedback
2023-08-21 16:05:01 +02:00
Daniel Lupu
9bd7f3553e
getObject -> Object::objectAt
2023-08-21 16:05:01 +02:00
Daniel Lupu
4581139afa
process some of the feedback
2023-08-21 16:05:01 +02:00
Daniel Lupu
5fd6b206a9
fix: apply suggestions + small fix
2023-08-21 16:05:01 +02:00
Daniel Lupu
c2d2eec85c
fix: apply coding style suggestions
2023-08-21 16:05:00 +02:00
Daniel Lupu
2549184205
remove unnecessary brackets
2023-08-21 16:05:00 +02:00
Daniel Lupu
d96ab027c9
slightly improve a var name
2023-08-21 16:05:00 +02:00
Daniel Lupu
90d4709e49
modify <object> flag description
2023-08-21 16:05:00 +02:00
Daniel Lupu
4a5c108dbd
make objectApply recursive
2023-08-21 16:05:00 +02:00
Daniel Lupu
da28f9f315
if input was code block, only print code
2023-08-21 16:05:00 +02:00
Daniel Lupu
153e32896b
do not use Object::pathToSubObject in getSubObject
2023-08-21 16:04:59 +02:00
Daniel Lupu
84133c8e5d
yulopti: Add support for Yul Objects
2023-08-21 16:04:59 +02:00
Martin Blicha
29041c8101
Remove ReasoningBasedSimplifier from libyul
...
Due to a design decision to move away from a bundled SMT solver,
ReasoningBasedSimplifier in its current form cannot be use any longer.
This is a necessary step to allow a unified way to call solvers using
only SMTLIB interface.
Since this optimization pass has always been marked as highly
experimental and never turned on by default, it should be OK to remove
it.
2023-06-28 14:38:36 +02:00
wechman
52dfccca98
Replace all locale-dependent operations with locale-agnostic counterparts
2022-03-07 17:23:08 +01:00
Daniel Kirchner
95c973d6c2
Refactoring of optimiser suite and yulopti.
2021-11-03 19:33:01 +01:00
Daniel Kirchner
0cbb297c7b
Non-interactive mode for yulopti.
2021-11-03 19:33:01 +01:00
Kamil Śliwak
7f7107405f
Try out the new assertion macro variants with less arguments
2021-10-04 12:05:00 +02:00
Christian Parpart
6294aa871a
Simplify AsmParser::parse(.) usage
2021-08-03 15:43:17 +02:00
chriseth
ffc5cfd9a5
Remove scanner from compiler stack.
2021-08-03 15:43:17 +02:00
chriseth
f75b55071e
Remove CharStream from SourceLocation.
2021-07-14 15:12:07 +02:00
Kamil Śliwak
65e23ff171
CommonIO: Make readFile() check if the file is not a directory and if not fail with a sensible exception rather than std::length_error
2021-06-25 16:04:58 +02:00
Daniel Kirchner
6104ac1cdf
Remove more imports of ranges namespace.
2021-05-07 15:42:17 +02:00
hrkrshnn
1f5b874eaf
Optimizer context has parameter expectedExecutionsPerDeployment
2021-04-22 17:27:57 +02:00
Kamil Śliwak
0f75582e12
[yulopti] Rewrite the check against overlapping abbreviations using ranges-v3
2021-01-16 01:10:55 +01:00
Kamil Śliwak
88a7dddfbd
[yulopti] Sort options by step name, with special options on top of the list
2021-01-16 01:10:55 +01:00
Kamil Śliwak
18c0e70ccf
[yulopti] Print options in column-wise rather than row-wise
2021-01-16 01:10:55 +01:00
chriseth
806453aca9
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-08 21:00:09 +01:00
Alex Beregszaszi
7e88ba8da0
Enable the -Wconversion warning
2020-12-08 16:45:24 +00:00
chriseth
9a5902f9d7
Merge remote-tracking branch 'origin/develop' into breaking
2020-12-02 12:28:02 +01:00
chriseth
c193ce6c07
Rename SourceReferenceFormatterHuman.
2020-12-01 16:09:46 +01:00
Alex Beregszaszi
1dedba8538
Only use SourceReferenceFormatterHuman
2020-12-01 16:09:46 +01:00
Alex Beregszaszi
a22077f736
Rename AsmData -> AST
...
Also attempt to only include ASTForward where appropriate.
2020-11-25 17:58:02 +00:00
Alex Beregszaszi
3c7f642227
Change readFile/readFileAsString to throw FileNotFound exception
2020-11-04 16:35:19 +00:00
chriseth
9bcc2f1713
Make ReasoningBasedSimplifier available as step.
2020-09-15 15:57:59 +02:00
chriseth
f73fb726af
Reasoning based optimizer.
2020-09-15 15:57:58 +02:00
Sachin Grover
b7adb2aa42
Add SPDX license identifier if not present already in source file
...
Fixes : #9220
2020-07-17 20:24:12 +05:30
Kamil Śliwak
156bfadad3
yulopti: Fix conflict between 'l' in yulopti and OptimiserSuite and make future conflicts less likely
...
- OptimizerSuite uses letters so switching to punctuation marks in yulopti should help.
2020-05-07 17:27:24 +02:00
Kamil Śliwak
d3d1520870
yulopti: Add an error message to assetion triggered when an optimizer step abbreviation conflicts with yulopti controls
2020-05-07 17:21:39 +02:00
Kamil Śliwak
3e9fa7e388
yulopti: Print errors to stderr rather than stdout
2020-05-07 17:16:50 +02:00
cameel
5fbc4d4afa
[yulopti] Automate printing of the usage banner
...
- This now displays internal step names rather than human-readable ones but the internal ones are readable enough and it's not something worth creating another map.
- Options in the banner are now aligned in columns and thus easier to read.
2020-02-03 12:22:47 +01:00
cameel
4129c27495
[yulopti] Replace hard-coded step list with OptimiserSuite's maps
2020-02-03 12:22:47 +01:00
chriseth
2afcfec77b
Merge pull request #8220 from ethereum/remove-var-name-cleaner-from-optimiser-suite-step-list
...
Remove var name cleaner from optimiser suite step list
2020-01-30 17:58:43 +01:00
cameel
ed5210490d
[yulopti] Run disambiguator after VarNameCleaner
...
- This is a trivial change and it makes it safe to use in combination with other step.
2020-01-30 17:35:27 +01:00
chriseth
fbe5bb0cce
Parse default dialect and omit when printing.
2020-01-29 17:25:25 +01:00
cameel
bf5e62931d
fixup! [yulopti] Fix typo: (f)flatten -> (f)latten
2020-01-17 12:38:45 +01:00
cameel
49ca1f8534
[yulopti] Add missing ConditionalUnsimplifier to the list of available optimizations
2020-01-17 08:01:39 +01:00
