Commit Graph

50 Commits

Author SHA1 Message Date
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
Kamil Śliwak
52dd39212d Normalize allowed paths before comparing them with imports 2021-09-27 13:14:10 +02:00
Kamil Śliwak
f0dceffe1d Refactor parsing of remappings to remove duplication and improve readability 2021-09-27 13:14:10 +02:00
Alex Beregszaszi
34b8477664 Improve --optimize-runs text 2021-09-23 10:07:10 +02:00
Kamil Śliwak
4a8a003b3d CommandLineParser: Initialize inputMode and perform generic validations earlier 2021-09-17 18:42:13 +02:00
Kamil Śliwak
30796b8957 Split CommandLineParser::parse() into smaller functions 2021-09-17 18:42:13 +02:00
Kamil Śliwak
1e4cef8405 Switch from full() to standard() optimizer settings in assembly mode on the CLI 2021-09-13 15:35:11 +02:00
Kamil Śliwak
6b46d4fdbe Extract duplicated code for initializing OptimiserSettings from CommandLineOptions into a common function 2021-09-13 15:35:11 +02:00
Kamil Śliwak
2f663c5f36 Common processing of optimization options in compiler and assembly modes 2021-09-13 15:35:11 +02:00
Kamil Śliwak
7a36a1d1db Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
Kamil Śliwak
b7c124911a CommandLineParser: Process linker mode before assembly mode 2021-09-13 15:25:59 +02:00
Midhun07
11065c6e79 Disallowed option --experimental-via-ir in Assembler, Linker and StandardJson input modes 2021-08-30 19:58:55 +05:30
soroosh-sdi
0417ee2a21 Replace boost::adaptors with range-v3
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
2021-08-24 13:07:26 +04:30
Leo Alt
8ce878621a Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
hrkrshnn
79733fca48 Set default EVM version to London. 2021-08-11 09:54:14 +02:00
Leo Alt
ee6285d6d7 Do not create VCs for underoverflow by default for Sol >=0.8 2021-08-09 14:12:31 +02:00
Leo Alt
08c065ee04 Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
Leo Alt
41087f3195 Add CLI and JSON option to show unproved targets 2021-08-04 13:54:50 +02:00
chriseth
01a1316b36 Only set "runs" if used. 2021-08-03 15:53:59 +02:00
jaa2
c627e6af10 CommandLineParser: Handle --optimize-runs option in assembly mode
Fixes #11708.
2021-07-29 18:15:57 +02:00
Leo Alt
6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
Kamil Śliwak
9a7c364c71 Process input files in Standard JSON mode just like in other modes
- This makes `-` for stdin work.
- `--ignore-missing` now works with `--standard-json`, though it's not very useful because there can be at most one input file.
- Separate errors for situations where there are no input files on the command line (this can be detected in the parser) and where they are not present on disk.
2021-07-27 15:54:32 +02:00
Kamil Śliwak
c938f35b99 CommandLineParser: Initialize inputMode earlier to make it usable in more functions 2021-07-27 15:54:32 +02:00
Kamil Śliwak
3b104a3f38 CommandLineParser: Refactor checkMutuallyExclusive() to handle multiple options and use it more 2021-07-27 15:54:32 +02:00
Ladislav Sladecek
9bbeea58c8 Make --pretty-json work with Standard JSON output 2021-07-26 16:00:46 +02:00
chriseth
46514ffad2
Merge pull request #11520 from ethereum/local-streams-in-command-line-parser
Local output streams in CommandLineParser
2021-07-07 15:07:23 +02:00
Kamil Śliwak
3bad7aff02 CommandLineParser: Remove g_arg aliases 2021-07-07 13:02:50 +02:00
Kamil Śliwak
6c33fbcb6a CommandLineParser: Replace global sout/serr streams with class members
- This removes the global variable and prevents stderr/stdout from being printed in tests
2021-07-07 12:53:15 +02:00
Kamil Śliwak
c17ee4fe65 CommandLineParser: Equality operators for settings 2021-07-06 17:17:18 +02:00
Kamil Śliwak
d781955b26 Extract CommandLineParser out of CommandLineInterface 2021-07-06 17:17:18 +02:00
Kamil Śliwak
b0c70883f7 Copy CommandLineInterface.cpp/.h to CommandLineParser.cpp/.h 2021-07-06 17:17:18 +02:00