Kamil Śliwak
|
9adbced98e
|
Remove parser error recovery mode
|
2023-08-22 12:00:11 +02:00 |
|
Pawel Gebal
|
d4be1d9c2f
|
Add --print-smt flag to output SMTChecker SMTLIB code
|
2023-06-16 14:04:07 +02:00 |
|
Kamil Śliwak
|
f8a1af8bd5
|
CommandLineParser: Fix some outputs not being properly disallowed with --stop-after parsing
|
2023-06-14 14:22:38 +02:00 |
|
Kamil Śliwak
|
2769bb52f6
|
Make --optimize-yul work again
|
2023-06-06 09:54:07 +02:00 |
|
Kamil Śliwak
|
42a068b449
|
CommandLineParser: Store the state of EVM assembly and Yul optimizer explicitly
- Does not change the meaning of CLI options, just the way we map them to internal variables.
|
2023-06-06 09:54:07 +02:00 |
|
Pawel Gebal
|
f15b826431
|
Add optional bounds to unroll loops in BMC model checker
|
2023-06-02 18:32:38 +02:00 |
|
David Bar-On
|
cf106c44fe
|
Fix issue 14259 - help text about standard input usage
|
2023-05-29 13:30:39 +02:00 |
|
GiokaMarkella
|
28a1abf89a
|
Yul AST output on the CLI and in Standard JSON
|
2023-05-26 12:35:31 +02:00 |
|
Kamil Śliwak
|
a11b1c83f0
|
Disallow using both --optimize-yul and --no-optimize-yul at the same time
|
2023-05-24 15:54:40 +02:00 |
|
Alexander Arlt
|
c5673278a7
|
Remove EWASM backend.
|
2023-05-11 10:56:55 -05:00 |
|
Alexander Arlt
|
2f78e9549a
|
Misc small refactors: Superfluous std::, trailing commas in lists, whitespace, missing breaks, import order
|
2023-04-20 19:53:48 +02:00 |
|
hrkrshnn
|
802f895062
|
feat: introduce EVM Version Shanghai
Note: Paris is still the default
|
2023-04-12 00:10:24 +02:00 |
|
Leo Alt
|
aacbe72079
|
group unsupported warnings
|
2023-03-15 17:06:06 +01:00 |
|
Leo Alt
|
21c0f78650
|
Report safe properties in BMC and CHC
|
2023-03-09 14:59:32 +01:00 |
|
Leo Alt
|
8d91ccf028
|
[SMTChecker] Add a new trusted mode which assumes that code that is
available at compile time is trusted.
|
2023-02-06 17:02:33 +01:00 |
|
Daniel
|
eb2f874eac
|
Merge pull request #13733 from ethereum/eofSetting
Add experimental EOF options for CLI and Standard JSON.
|
2022-11-23 20:37:24 +01:00 |
|
Daniel Kirchner
|
bf26d3be5a
|
Add experimental EOF options for CLI and Standard JSON.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2022-11-23 19:53:44 +01:00 |
|
Leo Alt
|
24df40de9a
|
Allow running Eldarica from the command line
|
2022-11-22 21:16:45 +01:00 |
|
Alex Beregszaszi
|
eb8af2caec
|
Add basic support for the EVM version Paris
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
|
2022-11-21 14:56:46 +01:00 |
|
hrkrshnn
|
f96e802e74
|
Add --no-append-metadata in CLI and metadata.append in JSON
Skips appending metadata to the binary
|
2022-09-26 20:40:34 +02:00 |
|
Nikola Matic
|
e37dc8e975
|
Address review comments
|
2022-09-13 17:23:31 +02:00 |
|
Nikola Matic
|
314a1cc92f
|
Command line tests and minor touch ups
|
2022-09-12 11:13:49 +02:00 |
|
Nikola Matic
|
f6f0d6a360
|
Make hardcoded parts of the optimizer sequence configurable
|
2022-09-12 10:57:36 +02:00 |
|
Nikola Matic
|
1f6a299062
|
Add a check for unqualified move
|
2022-09-05 16:05:14 +02:00 |
|
Marenz
|
5da46581bd
|
Document in `solc --help usage of --metadata ` better.
|
2022-08-15 12:57:40 +02:00 |
|
Midhun07
|
697821b96b
|
Disallowed --metadata-literal, --model-checker-show-unproved, --model-checker-div-mod-no-slacks ----metadata-hash=swarm outside of compiler mode
|
2022-06-16 17:09:33 +05:30 |
|
Joshua Quinones
|
e1a59397c6
|
Renamed AssemblyStack to YulStack
All files, references, variables, comments, etc. were renamed to YulStack.
|
2022-04-08 20:28:55 +02:00 |
|
Daniel Kirchner
|
e58c0b561d
|
Mark viaIR code generation as non-experimental.
|
2022-03-14 14:48:00 +01:00 |
|
Tyler
|
519e1c9402
|
Specify namespaces
Fix references into solidity::util
|
2022-03-08 00:09:17 -05:00 |
|
Christian Parpart
|
927b24df1f
|
Initial implementation of Language Server
|
2021-12-16 17:52:49 +01:00 |
|
Kamil Śliwak
|
16f62ed43e
|
Move the Yul experimental warning from CommandLineParser to CommandLineInterface and remove stderr from the parser
|
2021-11-09 18:16:30 +01:00 |
|
Kamil Śliwak
|
3f5471165f
|
CommandLineParser: Report errors by raising exceptions
|
2021-11-09 18:16:30 +01:00 |
|
Kamil Śliwak
|
1a19d9a5cf
|
New CLI output in assembly mode: --ewasm-ir
|
2021-11-04 18:23:11 +01:00 |
|
Kamil Śliwak
|
affeff18f5
|
Don't ignore output selection in assembly mode
|
2021-11-04 18:23:11 +01:00 |
|
Kamil Śliwak
|
93c1fe6878
|
Treat --help, --license and --version as separate input modes
|
2021-11-02 16:31:43 +01:00 |
|
Leo Alt
|
3118fb3666
|
Add invariants option to CLI and JSON
|
2021-10-26 11:30:30 +02:00 |
|
Midhun07
|
b28e5c881e
|
Disallowed --error-recovery in Standard json, Assembly and Linker input modes
|
2021-10-15 18:57:16 +02:00 |
|
Kamil Śliwak
|
a9e794c872
|
Expose --debug-info/settings.debug.debugInfo option
|
2021-10-11 20:34:48 +02:00 |
|
Kamil Śliwak
|
b9b2c69d24
|
CommandLineParser: Validate compiler output selection
|
2021-10-06 20:09:33 +02:00 |
|
Kamil Śliwak
|
9d6eaa7a46
|
Merge pull request #12070 from ethereum/refactor-cli-output-flags
Refactor CLI output selection flags
|
2021-10-04 16:03:20 +02:00 |
|
Kamil Śliwak
|
7f7107405f
|
Try out the new assertion macro variants with less arguments
|
2021-10-04 12:05:00 +02:00 |
|
Kamil Śliwak
|
8a7695784c
|
CommandLineParser: operator << for CompilerOutputs and CombinedJsonRequests
|
2021-10-01 14:41:55 +02:00 |
|
Kamil Śliwak
|
4b394f0b35
|
CommandLineParser: componentMap() for CombinedJsonRequests
|
2021-10-01 14:41:55 +02:00 |
|
Kamil Śliwak
|
809321e88d
|
CommandLineParser: componentMap() for CompilerOutputs
|
2021-10-01 14:41:55 +02:00 |
|
Kamil Śliwak
|
1247239fe8
|
CommandLineParser: Replace boost::join() with joinHumanReadable()
|
2021-10-01 14:41:55 +02:00 |
|
Kamil Śliwak
|
7915f32852
|
Remove leftovers of compact-format and interface from --combined-json
|
2021-10-01 13:05:30 +02:00 |
|
Kamil Śliwak
|
c8a7a1da7c
|
Add --include-path option
|
2021-09-27 13:14:23 +02:00 |
|
Kamil Śliwak
|
c0b8378782
|
Do not whitelist any paths if remapping target is empty
|
2021-09-27 13:14:10 +02:00 |
|
Kamil Śliwak
|
8a8471d9cc
|
Interpret remapping targets ending with /.. as directories
|
2021-09-27 13:14:10 +02:00 |
|
Kamil Śliwak
|
479ba7c523
|
Handle allowing empty paths correctly
|
2021-09-27 13:14:10 +02:00 |
|