cerc-io/solidity
11
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
18,405 Commits 348 Branches 121 Tags
consteval-arith
Commit Graph
5112 Commits
Author SHA1 Message Date
Christian Parpart 74912d65cb ConstantEvaluator: respect integer type hints in arithmetic operations. 2020-11-13 15:33:20 +01:00
Christian Parpart d99ef14db8 [analysis] ConstantEvaluator: Little cleanup & avoid requiring the use of shared_ptr<>. 2020-11-13 14:26:14 +01:00
Leonardo f1846b57a2 Merge pull request #10244 from blishko/this-external-calls 
[SMTChecker] Analyzing external calls to `this`
 2020-11-13 11:28:34 +00:00
Martin Blicha 5ca7a24896 [SMTChecker] Added support for precise modeling of external calls to this. 
Modeling external calls to this, since we can trust these calls.

fixed problem with transaction data not being restored after trusted external call

update to the tests

additional tests

changelog entry

added tests for external getters of this
 2020-11-13 11:49:09 +01:00
Alex Beregszaszi a3381d7260 Add settings.viaIR to standard json 2020-11-12 22:38:44 +00:00
Alex Beregszaszi e074582bf1 Add --experimental-via-ir option to solc 2020-11-12 22:34:31 +00:00
Alex Beregszaszi 301d7ea39e Add viaIR option to CompilerStack 
It also sets the experimental flag in the metadata to true.
 2020-11-12 22:34:31 +00:00
Alex Beregszaszi fcedaba7f7 [ewasm] Allow compiling abstract/interface contracts 2020-11-12 15:26:11 +00:00
Alex Beregszaszi a63d850f50 Improve ewasm commandline tests 2020-11-12 15:25:54 +00:00
chriseth 44eb63fad0 Merge pull request #10263 from ethereum/fixTryCreateYul 
Fix Yul codegen for try with create.
 2020-11-11 20:10:54 +01:00
chriseth 571e1e5269 Merge pull request #10266 from ethereum/fixCalldataIndexAccess 
Fix calldata index access.
 2020-11-11 19:03:19 +01:00
chriseth 8f570a3184 Fix calldata index access. 2020-11-11 18:42:26 +01:00
chriseth 01d7d50750 Fix initializing mapping return variables. 2020-11-11 18:08:42 +01:00
chriseth 59da25056b Fix Yul codegen for try with create. 2020-11-11 17:52:50 +01:00
Kamil Śliwak ed55d48727 cmdlineTests.sh: Fix buggy calculation of the number of input files 2020-11-11 13:47:36 +01:00
chriseth 0f6d3bc4ed Merge pull request #10192 from ethereum/refactorMoveTests2 
Moving tests to semanticTests part2
 2020-11-11 13:45:02 +01:00
Alex Beregszaszi 6f6bcdd526 [ewasm] Display custom sections as hex string in the text output 2020-11-10 23:48:24 +01:00
Alex Beregszaszi e5396e42c3 Add wasm support to libyul/ObjectCompilerTest 2020-11-10 23:24:49 +01:00
chriseth d3a016b597 Merge pull request #10251 from ethereum/cmdline-tests-input-sol-by-default 
Assume input.sol by default in command-line tests (restores old behavior) (reopened)
 2020-11-10 17:29:58 +01:00
Kamil Śliwak 25badc4095 cmdlineTests.sh: When there's no input file assume input.sol instead of reporting an error 2020-11-10 16:55:11 +01:00
Djordje Mijovic 6915d9d2a8 Moving some struct tests to semanticTests 2020-11-10 16:37:29 +01:00
Djordje Mijovic 490064590a Moving more abi decoder tests to semanticTests. 2020-11-10 16:37:26 +01:00
Djordje Mijovic a838adc481 Moving some more array tests to semanticTests 2020-11-10 16:37:26 +01:00
Leonardo 55ac5de472 Merge pull request #10240 from ethereum/immutablesPureValue 
Immutables with literal values are pure.
 2020-11-10 15:23:33 +00:00
chriseth 6cc264ff0a Merge pull request #10221 from ethereum/refactorArrayConversions 
[Sol->Yul] Refactor array conversions
 2020-11-10 16:18:11 +01:00
Djordje Mijovic 362a36ed59 Enabling test for old codegen. 2020-11-10 15:13:48 +01: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 fc50169d00 Merge pull request #10233 from ethereum/cmdline-tests-arbitrary-input-extension 
Arbitrary input file extensions in command-line tests
 2020-11-10 13:45:56 +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
chriseth 3db94fbc48 Merge pull request #10212 from ethereum/testfileparser 
Refactor and simplify TestFileParser
 2020-11-10 13:15:35 +01:00
chriseth 74339ac0d7 Merge pull request #10227 from ethereum/cmdline-tests-for-linking 
Command-line tests for linking
 2020-11-10 13:12:33 +01:00
Alex Beregszaszi 81c448fb4c Rework TestFileParser 2020-11-10 13:09:07 +01:00
Alex Beregszaszi c002fcc39f Untangle headers and namespaces in TestFileParser 2020-11-10 13:09:07 +01:00
chriseth 765ed13814 Immutables with literal values are pure. 2020-11-10 13:08:42 +01:00
chriseth 9230ddf110 Merge pull request #10225 from ethereum/cmdline-tests-bytecode-output-with-linker-references 
Strip bytecode from command-line test output but preserve link references
 2020-11-09 18:14:33 +01:00
Leonardo 25b2a38d8b Merge pull request #10202 from ethereum/smt_fix_modifiers_branches 
[SMTChecker] Fix CHC false positives when using branches inside modifiers
 2020-11-09 16:42:30 +00:00
Kamil Śliwak df8e182b46 Link binaries produced in assembly mode 2020-11-09 17:17:43 +01:00
Kamil Śliwak 6ef1e4cfd4 Command-line tests for linking in assembly mode 2020-11-09 17:17:27 +01:00
Kamil Śliwak a0d22422b0 Command-line tests for linking in Solidity mode 2020-11-09 17:17:27 +01:00
Kamil Śliwak 06ea7c66f7 Use consistent style for stuff removed from the output of command-line tests 2020-11-09 17:17:15 +01:00
Kamil Śliwak 0e4edc8424 Strip bytecode from command-line test output but leave linker references intact 2020-11-09 17:17:15 +01:00
Kamil Śliwak a6ef907f55 cmdlineTests.sh: Allow arbitrary extensions for input files 2020-11-09 17:10:15 +01:00
Kamil Śliwak dfb5516446 cmdlineTests.sh: Remove double slashes from input file paths 
- `${tdir}` already ends with a slash so something like `${tdir}/input.json` evaluates to `test_dir//input.json`.
 2020-11-09 17:07:47 +01:00
Kamil Śliwak 7f1389a6cd cmdlineTests.sh: Print task name before the error about ambiguous input 
- Otherwise it looks as if the error applies to a test that actually succeeded.
 2020-11-09 17:00:30 +01:00
Leonardo Alt 00858c0ccf Isoltets SMTChecker option and BMC specific tests 2020-11-06 15:03:38 +00:00
Leonardo Alt 1b6abfa37f Make timeout tests harder 2020-11-06 13:35:07 +00:00
Kamil Śliwak 3c4273a06c cmdlineTests: Use .yul extension for Yul files 
- Currently many files have .sol extension because originally the test script required it but this has changed some time ago.
 2020-11-05 18:05:23 +01:00
chriseth 8814e32b31 Merge pull request #10193 from ethereum/revert-test 
Add tests for empty string literals in the ABI and fix TestFileParser
 2020-11-05 15:31:11 +01:00
Alex Beregszaszi 1536e49b3d Add more syntax tests for uncovered cases 2020-11-05 10:30:09 +00:00
Leonardo Alt 1dbd8f8d67 Fix CHC false positives when using branches inside modifiers 2020-11-04 21:47:07 +00:00