cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
20,579 Commits 348 Branches 121 Tags 100 MiB
e9cab0ffc6
Commit Graph

389 Commits

Author SHA1 Message Date
jaa2
c627e6af10 CommandLineParser: Handle --optimize-runs option in assembly mode 
Fixes #11708.
 2021-07-29 18:15:57 +02:00
chriseth
1794e1c837
Merge pull request #11713 from ethereum/better-error-for-non-existent-base-path 
Better error message when base path does not exist
 2021-07-28 08:44:53 +02:00
Kamil Śliwak
056d780b63 Better error message when base path does not exist 2021-07-28 01:03:29 +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
f75b55071e Remove CharStream from SourceLocation. 2021-07-14 15:12:07 +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
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
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
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
Kamil Śliwak
afb8fb4927 Create libraries for yul-phaser and solc to avoid compiling their sources again for soltest 2021-06-22 17:47:45 +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
Leonardo Alt
dbd067d6db Report out of bounds index access 2021-03-30 10:28:48 +02:00
Daniel Kirchner
a75424eec4 Drop support for evm15 and eip-615. 2021-03-09 15:56:03 +01:00
Kamil Śliwak
01f8005d04 Remove the last remains of --ast-json option 2021-02-23 12:39:19 +01:00
Hui Yu
c669ee251a [CLI] Allow "=" as separator between library name and address in --libraries commandline option. 2021-01-25 16:14:39 +08:00
Leonardo Alt
3b23cadbdc Add CLI and JSON option to select SMTChecker targets 2021-01-20 17:35:37 +01:00
chriseth
561280a5cc Merge remote-tracking branch 'origin/develop' into breaking 2020-12-14 11:33:40 +01:00
Alex Beregszaszi
bd641a5206 Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
chriseth
d0551b67d7 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 17:07:56 +01:00
Daniel Kirchner
7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
chriseth
c193ce6c07 Rename SourceReferenceFormatterHuman. 2020-12-01 16:09:46 +01:00
Alex Beregszaszi
1126838a31 Remove --old-reporter from solc 2020-12-01 16:09:46 +01:00
ssi91
b5dc62c47b do not serialize fields abi, devdoc, userdoc and storage-layout 
add changelogs

Apply suggestions from code review

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2020-11-28 17:51:06 +07:00
Alex Beregszaszi
3bce2a2294 Remove the legacy AST JSON output 2020-11-25 11:40:33 +00:00
Kamil Śliwak
2a8cff626b CommandLineInterface::link(): Print invalid link references to stderr 2020-11-23 20:29:45 +01:00
Kamil Śliwak
f099d48b34 CommandLineInterface::link(): Report an error if a placeholder does not have exactly four underscores 2020-11-23 20:29:45 +01:00
Kamil Śliwak
bd1989bd0b CommandLineInterface::link(): Rename confusingly named "name" to "foundPlaceholder" 2020-11-23 20:29:45 +01:00
chriseth
a97521bff1
Merge pull request #10293 from ethereum/fix-output-dir-creation-with-trailing-slash 
[CLI] Fix --output-dir failure for paths with a trailing slash
 2020-11-17 00:49:16 +01:00