Commit Graph
45 Commits
Author SHA1 Message Date
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 c8380c25bb CommandLineInterface: Update control flow to accommodate the new way of reporting errors 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
Leo Alt 2cbd496576 Adjust ModelCheckerSettings in tools tests 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
TerranCivilian 020ecc2131 Preserve original newlines in solidity::util::readUntilEnd() 2021-10-05 20:24:24 +02:00
chriseth 321e362789 Merge pull request #12024 from ethereum/require-boost-1.77-on-windows
Require Boost 1.77 on Windows
2021-09-27 15:41:21 +02:00
Kamil Śliwak 77aa1707e1 Revert "Disable tests that fail on Windows due to a bug in Boost <= 1.76"
This reverts commit a801c12a8b89a7353a4339510aedc94739e9c46f.
2021-09-27 13:15:57 +02:00
Kamil Śliwak f909555022 Treat ambiguous imports as errors 2021-09-27 13:14:23 +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 d4d778de77 Disable tests that fail on Windows due to a bug in Boost <= 1.76 2021-09-27 13:14:10 +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 3ac3612767 Whitelist base path 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 b9b35a0def Tests for allowed paths (current state) 2021-09-27 13:14:10 +02:00
Kamil Śliwak 226f040e25 Ensure that native path separators are always used in symlink targets on Windows 2021-09-27 13:14:10 +02:00
Kamil Śliwak 7a36a1d1db Reject optimizer options as invalid in linker and Standard JSON modes 2021-09-13 15:35:11 +02:00
Midhun07 11065c6e79 Disallowed option --experimental-via-ir in Assembler, Linker and StandardJson input modes 2021-08-30 19:58:55 +05:30
Kamil Śliwak 92446cbcab TemporaryDirectory: Add an alternative constructor that can create subdirectories 2021-08-27 15:11:20 +02:00
Kamil Śliwak 9dc7360903 TemporaryDirectory: Add automatic conversions to boost::filesystem::path 2021-08-27 15:11:20 +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 2d3ec69a05 CLI tests for FileReader 2021-08-27 15:10:46 +02:00
Leo Alt 8ce878621a Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
Leo Alt 08c065ee04 Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
Leo Alt 3c1f555f71 Tests 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
Ladislav Sladecek 9bbeea58c8 Make --pretty-json work with Standard JSON output 2021-07-26 16:00:46 +02:00
Kamil Śliwak baced5d10e Test for the --help option 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 ef7abd224d Tests for all input modes in CommandLineParser 2021-07-06 17:17:18 +02:00