cerc-io/solidity
10
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,518 Commits 348 Branches 121 Tags 100 MiB
693b88e5f8
Commit Graph

314 Commits

Author SHA1 Message Date
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
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
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
Kamil Śliwak
1a4d38c0ac CommandLineInterface: Report an error if library appears multiple times in the --libraries option 2020-11-16 21:22:47 +01:00
Kamil Śliwak
9f67d26a1a CommandLineInterface: Fix output directory creation for paths ending with a slash and equivalent but not equal to dot or double dot 2020-11-14 04:29:05 +01:00
Alex Beregszaszi
e074582bf1 Add --experimental-via-ir option to solc 2020-11-12 22:34:31 +00:00
chriseth
eaba9a680a
Merge pull request #10199 from ethereum/readfile 
[CLI] Improve error handling of missing/unwriteable files
 2020-11-10 13:50:40 +01:00
chriseth
b981a2a74a
Merge pull request #10229 from ethereum/linking-in-assembly-mode 
Linking in assembly mode
 2020-11-10 13:21:57 +01:00
Alex Beregszaszi
3246d0f9a9 [solc] Handle exceptions in AssemblyStack.translate() gracefully 2020-11-09 18:19:20 +00:00
Kamil Śliwak
df8e182b46 Link binaries produced in assembly mode 2020-11-09 17:17:43 +01:00
Alex Beregszaszi
d115c30dde [CLI] Report error nicely if writing a file failed 2020-11-04 16:35:19 +00:00
Alex Beregszaszi
9ebd3da3ff [CLI] Report error on missing file for --standard-json 2020-11-04 16:35:19 +00:00
Alex Beregszaszi
3c7f642227 Change readFile/readFileAsString to throw FileNotFound exception 2020-11-04 16:35:19 +00:00
Leonardo Alt
d03ddeb0fa [SMTChecker] User timeout option 2020-11-03 10:46:11 +00:00
Leonardo Alt
4e49135318 Add CLI option to choose model checker engine 2020-10-16 15:01:47 +01:00
Christian Parpart
04079bff6f Eliminates dead code around GasEstimator 
- structuralEstimation()
- breakToStatementLevel()
 2020-10-07 13:31:40 +02:00
chriseth
fda8bde2d7 Stop after parsing. 2020-09-30 16:57:49 +02:00
chriseth
e7e9b03bd8 Store generated sources in standard-json output. 2020-09-15 11:22:16 +02:00