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,403 Commits 348 Branches 121 Tags
e544a204601b7c69a2923ed09fa29e2df045dbeb
Commit Graph
18403 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Kamil Śliwak e544a20460 yulrun: Add a top-level exception handler 2020-11-14 03:01:35 +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
chriseth cc58fb2cad Merge pull request #10147 from ethereum/viair 
Add viaIR option to CompilerStack (and solc)
 2020-11-13 11:56:46 +01: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
chriseth c69c7f32ae Merge pull request #10273 from ethereum/wasm-abstract 
[ewasm] Allow compiling abstract/interface contracts
 2020-11-12 23:19:40 +01: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 e7e76131c8 Merge pull request #10265 from ethereum/fixMappingInit 
Fix initializing mapping return variables.
 2020-11-11 18:42:45 +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
Alex Beregszaszi 826ed58b2f Merge pull request #10262 from ethereum/smt-conversion 
[SMTChecker] Avoid implicit conversion
 2020-11-11 17:03:49 +00:00
chriseth 59da25056b Fix Yul codegen for try with create. 2020-11-11 17:52:50 +01:00
Alex Beregszaszi 2f899bbffa [SMTChecker] Avoid implicit conversion 2020-11-11 16:29:03 +00:00
chriseth be7b2c3725 Merge pull request #10248 from ethereum/cmdline-tests-fix-input-file-count 
cmdlineTests.sh: Fix buggy calculation of the number of input files
 2020-11-11 14:47:20 +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
chriseth 552f1d3cf5 Merge pull request #10242 from ethereum/wasm-object-test 
Add wasm support to libyul/ObjectCompilerTest
 2020-11-11 11:36:45 +01:00
chriseth a7ca4a9c0f Merge pull request #10253 from ethereum/editorconfig-yul-indentation 
Yul indentation rules in .editorconfig
 2020-11-11 11:31:21 +01:00
Alex Beregszaszi 6f6bcdd526 [ewasm] Display custom sections as hex string in the text output 2020-11-10 23:48:24 +01:00
Kamil Śliwak df2367848c .editorconfig: Indentation rules for .yul 2020-11-10 23:31:05 +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
Djordje Mijovic efba9e45e4 [Sol->Yul] Refactoring array conversions so that they end up in same function. 2020-11-10 15:13:45 +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
Alex Beregszaszi 41f5036507 Merge pull request #10219 from ethereum/wasm-objects 
[ewasm] Support compiling data subobjects
 2020-11-09 21:05:37 +00:00
Leonardo b9d2f9f10f Merge pull request #10241 from ethereum/solc-ewasm-exception 
[solc] Handle exceptions in AssemblyStack.translate() gracefully
 2020-11-09 19:41:05 +00:00
Alex Beregszaszi 3246d0f9a9 [solc] Handle exceptions in AssemblyStack.translate() gracefully 2020-11-09 18:19:20 +00:00
Alex Beregszaszi 6e11754c8b [ewasm] Support compiling data subobjects 2020-11-09 17:47:12 +00:00
Alex Beregszaszi e41700e5f7 [ewasm] Clarify custom section handling in BinaryTransform 2020-11-09 17:47:01 +00: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
chriseth bf40857018 Merge pull request #10217 from ethereum/ewasm-main 
[ewasm] Allow compiling Yul without "main"
 2020-11-09 18:12:10 +01:00