Christian Parpart
927b24df1f
Initial implementation of Language Server
2021-12-16 17:52:49 +01:00
chriseth
0e6388a907
Clarify FileReader interface.
2021-12-13 14:54:58 +01:00
Kamil Śliwak
f50aec9334
CommandLineInterface: Report an error immediately when writing to disk fails
2021-11-09 18:16:30 +01:00
Kamil Śliwak
c8380c25bb
CommandLineInterface: Update control flow to accommodate the new way of reporting errors
2021-11-09 18:16:30 +01:00
neel iyer
e829bcd933
CommandLineInterface: Replace code that prints to serr() and returns false with CommandLineValidationError exception
2021-11-09 18:16:30 +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
0417db0f6a
Don't return an error from --help
2021-11-02 16:31:45 +01:00
Kamil Śliwak
a1c9c1e2b5
CommandLineInterface: Merge processInput() and actOnInput()
...
- The distinction between them is not as clear-cut as it should be. For example processInput() prints output in assembly mode.
2021-11-02 16:31:45 +01:00
Kamil Śliwak
93c1fe6878
Treat --help, --license and --version as separate input modes
2021-11-02 16:31:43 +01:00
Kamil Śliwak
01327d6ef1
CommandLineInterface: Don't return zero exit code when writing linked files to disk fails
2021-10-12 18:23:16 +02:00
Kamil Śliwak
a5ed732fd3
CommandLineInterface: Rename m_error to m_outputFailed
2021-10-12 18:23:16 +02:00
Kamil Śliwak
a9e794c872
Expose --debug-info/settings.debug.debugInfo option
2021-10-11 20:34:48 +02:00
Kamil Śliwak
bcfefc79d9
Pass DebugInfoSelection down to the code handling assembly printing
2021-10-11 20:34:48 +02:00
Saurabh Sharma
e13dc5084d
Move exception handlers from CommandLineInterface to main()
2021-10-07 17:20:19 +02:00
Kamil Śliwak
9975b5e26b
Detect source unit name collisions between paths specified on the command line
2021-09-27 13:14:23 +02:00
Kamil Śliwak
c8a7a1da7c
Add --include-path option
2021-09-27 13:14:23 +02:00
Kamil Śliwak
13571f4a67
CommandLineInterface: Add asserts documenting which function is expected to work in which input modes
2021-09-17 18:42:13 +02:00
chriseth
535e1ecdb2
Merge pull request #11895 from ethereum/doNotRunEvmCodegenIfNotAsked
...
Do not run evm codegen if not asked.
2021-09-14 17:12:06 +02:00
Leo Alt
e72fa7fc10
Add new info severity
2021-09-13 22:48:22 +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
Daniel Kirchner
b934ef6c6e
Only run evm bytecode generation if required.
2021-09-10 12:32:48 +02:00
Kamil Śliwak
13f46ebb1e
FileReader: Normalize base path and strip it from normalized source paths
2021-08-27 15:10:46 +02:00
Kamil Śliwak
cb1a0f08ca
readFileAsString(): Accept path as boost::filesystem::path instead of string
2021-08-17 12:58:33 +02:00
jaa2
c627e6af10
CommandLineParser: Handle --optimize-runs option in assembly mode
...
Fixes #11708 .
2021-07-29 18:15:57 +02:00
Kamil Śliwak
056d780b63
Better error message when base path does not exist
2021-07-28 01:03:29 +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
Ladislav Sladecek
9bbeea58c8
Make --pretty-json work with Standard JSON output
2021-07-26 16:00:46 +02:00
chriseth
f75b55071e
Remove CharStream from SourceLocation.
2021-07-14 15:12:07 +02:00
Kamil Śliwak
4c479b5689
CommandLineInterface: Accept the standard input stream as a parameter
2021-07-07 12:53:15 +02:00
Kamil Śliwak
bb64d366ea
CommandLineInterface: Accept output streams as parameters
2021-07-07 12:53:15 +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
d781955b26
Extract CommandLineParser out of CommandLineInterface
2021-07-06 17:17:18 +02:00
chriseth
09578e7e22
Merge pull request #11550 from ethereum/runs-constant
...
Constant for default --runs
2021-07-06 10:44:07 +02:00
Kamil Śliwak
a72857df03
CommonIO: Replace readStandardInput() with readUntilEnd() with a configurable stream
2021-07-02 14:58:30 +02:00
Kamil Śliwak
6ad6fa2382
Do not hard-code the default 'runs' value as 200 in code that fills out optimizer settings
2021-06-28 14:12:28 +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
hrkrshnn
d5564a0304
Set default EVM version to Berlin
2021-05-26 12:23:06 +02:00
chriseth
f9c94d7c42
Note function entry points.
2021-05-04 17:15:13 +02:00
Leonardo Alt
dd1865873e
Choose contracts to be analyzed by the SMTChecker
2021-04-21 10:34:14 +02:00
chriseth
6a0a51110d
Merge pull request #11256 from ethereum/smt_target_array
...
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 18:47:06 +02:00
Leonardo Alt
e3abde43f5
Change settings.modelChecker.targets to take an array instead of string
2021-04-19 17:53:03 +02:00
Kamil Śliwak
0d4871ad10
Prevent adding '-' CLI flag to allowed paths as if it was an actual file
...
- This resulted in a bug where using stdin was effectively disabling allowed path checks.
2021-04-19 16:58:48 +02:00
Leonardo Alt
b753cb6120
Deprecate pragma experimental SMTChecker
2021-04-08 21:03:38 +02:00
chriseth
6d6112a81b
Merge pull request #11210 from anurag-git/issue_10738-2
...
Use range-v3 loops(transform)
2021-04-08 14:56:15 +02:00
anurag4u80
b2ca7916aa
Replaced boost::adaptors::transformed
2021-04-08 17:38:14 +05:30
Christian Parpart
257672e56f
Extract file reading logic from CommandLineInterface into FileReader class.
2021-04-06 17:10:43 +02:00
Christian Parpart
3490577140
Extract import-file remapping logic out of CompilerStack into ImportRemapper.
2021-04-06 14:28:53 +02:00