Nikola Matic
|
4a52be8fe7
|
Boost tests for non-delimited optimizer sequence
|
2022-09-13 19:39:15 +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 |
|
Marenz
|
f7cc29bec1
|
Add std:: qualifier to move() calls
|
2022-08-30 11:12:15 +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 |
|
a3d4
|
50ae21d1bf
|
Fix running tests from any drive
|
2022-02-22 18:11:42 +01:00 |
|
joshuatarkwski
|
6225dad332
|
Output searched locations on import failure.
|
2022-02-08 16:20:27 +01:00 |
|
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 |
|