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
15,716 Commits 348 Branches 121 Tags
assignTypesInOptimizer
Commit Graph
3285 Commits
Author SHA1 Message Date
chriseth a667384517 Merge pull request #7712 from ethereum/fixIstanbulAsmParsing 
Fix assembly parsing by passing evm version.
 2019-11-14 13:20:15 +01:00
chriseth b099374d8c Fix assembly parsing by passing evm version. 2019-11-14 13:06:36 +01:00
chriseth 8d46f39643 Merge pull request #7707 from ethereum/smt_ice_implicit_conversion 
[SMTChecker] Fix ICE in string literal to fixed bytes conversion
 2019-11-14 11:52:58 +01:00
Mathias Baumann 5b8ff78176 Implement virtual keyword 2019-11-14 11:49:39 +01:00
chriseth f6191a7183 Merge pull request #7709 from ethereum/overloadMsgForMagic 
Reconstruct function definition for magic variables in overload error message.
 2019-11-14 11:24:54 +01:00
Leonardo Alt 5f43b8dbeb Output the storage layout of a contract via storageLayout artifact 2019-11-14 10:19:17 +01:00
chriseth 06588cde76 Reconstruct function definition for magic variables in overload error message. 2019-11-14 10:13:22 +01:00
Leonardo Alt 8efacfb545 [SMTChecker] Fix ICE in string literal to fixed bytes implicit conversion 2019-11-13 22:25:18 +01:00
chriseth c4441bac5b Merge pull request #7705 from ethereum/list-overloads-7146 
List candidates when overload failed
 2019-11-13 17:35:37 +01:00
Mathias Baumann 15df2b30d7 List candidates when overload failed 
fixes #7146
 2019-11-13 15:54:36 +01:00
Leonardo Alt e3652627fd [SMTChecker] Fix ICE in CHC when function used as argument 2019-11-13 15:11:30 +01:00
Mathias Baumann 7d4e4b6088 Parse "virtual" keyword 2019-11-13 13:28:01 +01:00
djudjuu e437443645 Inline assembly to AST json export 2019-11-13 12:13:22 +01:00
Daniel Kirchner ce7268272d Allow obtaining the address of a library by conversion to `address`. 2019-11-12 17:09:13 +01:00
Daniel Kirchner 8148619d5b Merge branch 'develop' into develop_060 2019-11-12 10:32:41 +01:00
Mathias Baumann e35a23bbcc Add `switch (..) to style checker 2019-11-11 17:44:21 +01:00
Mathias Baumann e643c4ca28 Add `while (..) to style checker 2019-11-11 17:28:41 +01:00
chriseth 2e5a42836c Merge pull request #7681 from ethereum/develop 
Merge develop into develop_060
 2019-11-11 16:42:03 +01:00
Christian Parpart f15d47f165 Yul: Remove obsoleted FunctionalInstruction. 2019-11-11 16:04:39 +01:00
Alexander Arlt ce0cef7cbc Output which functions are not implemented 2019-11-08 14:06:57 -05:00
Leonardo Alt 5dacaf57bc Fix ICE in FixedBytes IndexAccess 2019-11-08 17:29:40 +01:00
chriseth 138ee647f1 Provide different options for reason strings. 2019-11-07 14:13:53 +01:00
Daniel Kirchner 108992c335 Merge pull request #7640 from ethereum/smt_fix_060 
[SMTChecker] Fix override tests
 2019-11-07 14:10:10 +01:00
chriseth c0b27d0bc1 Merge pull request #7648 from ethereum/inlineAssemblyShadowing 
Error on shadowing and invalid names in inline assembly
 2019-11-07 13:31:09 +01:00
Daniel Kirchner 0556f64722 Analyze inline assembly variable declarations for invalid or shadowing names. 2019-11-07 13:04:37 +01:00
Leonardo Alt fc945880d1 [SMTChecker] Fix override tests 2019-11-07 11:49:32 +01:00
Leonardo Alt 6b10efff8c Add CHCSmtLib2Interface 2019-11-07 11:12:11 +01:00
chriseth 21e65076b3 Merge pull request #7650 from ethereum/develop 
Merge develop into develop_060
 2019-11-06 21:56:55 +01:00
cd10012 a94d22e5fe Add documentation for extractReturnParameterDocs 2019-11-06 21:45:01 +01:00
cd10012 16fe59b7b4 Implement @erak review notes by creating function and adding constructor test 
Update 060 doc with natspec change

Add two more tests with mixed usage

Fix solc-js

fix changelog
 2019-11-06 21:44:59 +01:00
cd10012 f598b1515f Give unamed parameters unique keys and update tests to new spec 
Fix whitespace
 2019-11-06 21:44:34 +01:00
cd10012 18fe693fdd Add unamed return param test and check size in conditional 2019-11-06 21:44:09 +01:00
cd10012 b3ae601e88 Refactor to have multiple return params 2019-11-06 21:44:09 +01:00
chriseth 30ea41c36d Merge pull request #7526 from ethereum/modifierDepth 
Add modifier depth to source mappings.
 2019-11-06 13:03:40 +01:00
Leonardo Alt 10e70b8603 [SMTChecker] Support inheritance and resolve overrides 2019-11-06 11:00:06 +01:00
chriseth 587c87b15b Commandline interface additions for webassembly binary. 2019-11-05 20:05:57 +01:00
chriseth e79a32e9d5 Wasm to binary assembly stack. 2019-11-05 20:02:42 +01:00
chriseth 4d99bf68f4 Merge pull request #7638 from ethereum/develop 
Merge develop into develop_060
 2019-11-05 17:33:54 +01:00
chriseth cb2096c82a Add modifier depth to source mappings. 2019-11-05 16:50:38 +01:00
chriseth 5388c919f0 Some changes to "abstract". 2019-11-05 13:55:31 +01:00
Leonardo Alt c5e081dc8c [SMTChecker] Refactor CHC loops and add if blocks 2019-11-05 09:28:59 +01:00
chriseth 46ac16d25c Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-04 19:09:11 +01:00
Leonardo 1eac3d1d83 Merge pull request #7582 from ethereum/smt_multid_array_assignment 
[SMTChecker] Support assignments to m-d arrays and mappings
 2019-11-04 17:37:33 +01:00
Daniel Kirchner 3321fc56ea Split fallback function and introduce "fallback()" and "receive()" syntax. 2019-11-04 17:17:58 +01:00
chriseth 5392532d70 Fix override error message. 2019-11-04 13:37:23 +01:00
Alexander Arlt f3f652e290 Update TypeChecker.cpp 2019-11-01 14:54:47 -05:00
Alexander Arlt c908c16acd Remove InternalCompilerError on abstract contract instantiation. 2019-11-01 14:54:47 -05:00
Alexander Arlt 62950a9234 Support for abstract contracts. 2019-11-01 14:54:47 -05:00
Mathias Baumann 6c6a9054b2 Implement override checking 2019-10-30 17:31:33 +01:00
Mathias Baumann 5ff02c12e2 Add reference to contract in FunctionDefinition annotation 2019-10-30 17:31:33 +01:00