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
19,291 Commits 348 Branches 121 Tags
codecov
Commit Graph
4451 Commits
Author SHA1 Message Date
Leonardo Alt 83ef34f41d [SMTChecker] Fix SMT name for function identifiers 2019-09-24 11:23:10 +02:00
chriseth ca21659749 Fix error message about accessing storage pointers. 2019-09-24 10:52:02 +02:00
chriseth b5d6d5fcf9 Create. 2019-09-23 17:22:56 +02:00
chriseth 70b796bd1a Code generator for try/catch. 2019-09-23 17:22:56 +02:00
chriseth 8e736a9f49 Type Checker for try/catch. 2019-09-23 17:22:56 +02:00
chriseth b5bc52f2a7 Control flow for try statements. 2019-09-23 17:22:56 +02:00
chriseth 6d6914f98f Parser for try/catch. 2019-09-23 17:22:42 +02:00
chriseth a66c354698 AST for try and catch. 2019-09-23 17:22:09 +02:00
Leonardo Alt ed9674be8d [SMTChecker] Add as const function to SMTLib2Interface 2019-09-18 22:57:14 +02:00
chriseth 9ecd51c54d Refactor. 2019-09-18 14:06:03 +02:00
Leonardo Alt 43d6e00b14 Add push() for dynamic storage arrays 2019-09-17 13:47:33 +02:00
chriseth 5b3efee93b Merge pull request #7442 from ethereum/develop 
Merge develop into develop_060
 2019-09-17 12:16:27 +02:00
Leonardo Alt eab9f65610 Fix ICE when pop dyn storage array of mapping 2019-09-16 16:33:17 +02:00
Leonardo Alt d685554980 Create option for metadata hash 2019-09-13 18:59:12 +02:00
Leonardo Alt e1c238e25f [SMTChecker] Add loop support 2019-09-13 12:40:53 +02:00
Daniel Kirchner 4782c800ec Initial introduction of array slices with partial implementation for dynamic calldata arrays. 2019-09-13 10:57:53 +02:00
Leonardo Alt 5cfe0b7670 Allow explicit conversion from address to address payable 2019-09-09 23:46:00 +02:00
Daniel Kirchner f4d990e5be Drop constant and payable fields from ABI. 2019-09-06 14:42:09 +02:00
Daniel Kirchner 5d69bdf81e Remove ASTPrinter. 2019-09-06 12:38:55 +02:00
chriseth ea0a952a69 Merge pull request #7362 from ethereum/develop 
Merge develop into develop_060
 2019-09-05 16:50:44 +02:00
Daniel Kirchner 7148792b8a Refactor ExpressionCompiler with acceptAndConvert. 2019-09-05 15:05:59 +02:00
chriseth fd687f50ff Merge pull request #7353 from ethereum/develop 
Update 0.6.0 from develop
 2019-09-04 20:21:37 +02:00
krk 33f7f960cf Allow exponentials with signed base and unsigned power. 2019-09-04 17:32:47 +02:00
chriseth 8485a1abec Change ABI sorting order. 2019-09-04 13:06:09 +02:00
Leonardo Alt a51577facf Fix Windows build 2019-09-02 22:37:30 +02:00
Leonardo Alt a774b2d905 [SMTChecker] Zero-initialize arrays 2019-09-02 22:37:30 +02:00
chriseth c499758cd8 Merge pull request #7326 from ethereum/develop 
Merge develop into 0.6.0 branch.
 2019-09-02 16:11:20 +02:00
Daniel Kirchner 2b938d703c Allow global enum definitions. 2019-09-02 11:52:51 +02:00
Daniel Kirchner 872d21f527 Allow global struct definitions. 2019-09-02 11:17:42 +02:00
Leonardo Alt 214e5c6369 [SMTChecker] Fix index access type type error 2019-08-27 16:39:19 +02:00
Mathias Baumann 24716404f8 Parse override keyword 2019-08-26 17:34:21 +02:00
Mathias L. Baumann 502bf01be2 Merge pull request #7278 from ethereum/develop 
Merge develop into develop_060
 2019-08-26 10:26:48 +02:00
Mathias Baumann 0e3ff25b4e Make sure json output array order is consistent 
The source of the "contractDependencies" value was an std::map, thus
order was more or less random.
 2019-08-19 17:42:03 +02:00
Daniel Kirchner 4354ef2ef4 Add update suggestion. 2019-08-19 14:58:05 +02:00
Daniel Kirchner 42f30981db Add unimplemented assertion to IR generation when accessing address member of external function types. 2019-08-19 14:56:04 +02:00
Daniel Kirchner 9f6fff2120 Replace casting of external functions to address by a member named "address". 2019-08-19 14:56:04 +02:00
chriseth c047803b80 Change BreadthFirstSearch to use value types instead of pointers. 2019-08-15 16:10:10 +02:00
Leonardo Alt 1a70a46f9b [CHC] Add function blocks and check asserts 2019-08-15 12:25:15 +02:00
Daniel Kirchner e545103ec8 Extract reasonOfFailure to lambda function. 2019-08-14 17:59:48 +02:00
Daniel Kirchner b0a5666b43 Better error messages when writing to expressions that cannot be written to. 2019-08-14 17:59:48 +02:00
chriseth 0c2f8ddfae Merge pull request #7231 from ethereum/extractMSize 
[Yul] Remove ContainsMSize from side-effect-collector.
 2019-08-13 18:03:51 +02:00
chriseth 57125de9ef Remove ContainsMSize from side-effect-collector. 2019-08-13 13:34:33 +02:00
Mathias Baumann 444395960f Fix link to Contract ABI in source code 2019-08-13 12:43:04 +02:00
Leonardo cbac3a4208 Merge pull request #7107 from ethereum/smt_chc_constructor_interface 
[SMTChecker] Add CHC constructor/interface/error blocks
 2019-08-12 15:06:08 +02:00
Leonardo Alt bef6228810 [SMTChecker] Create CHC constructor/interface/error blocks 2019-08-12 12:34:57 +02:00
Leonardo Alt 360f868836 [SMTChecker] Fix literal string type mismatch 2019-08-10 21:51:46 +02:00
Leonardo Alt 4214cd1354 [SMTChecker] Fix ICE when reporting cex concerning state vars from different source files 2019-08-10 20:56:52 +02:00
Leonardo 67c855e93e Merge pull request #7170 from ethereum/smt_fix_other_contract_state_var 
[SMTChecker] Fix ICE when inlining functions from different source
 2019-08-09 19:14:28 +02:00
Leonardo Alt 7b22496b1f [SMTChecker] Fix ICE when inlining functions that use state vars and are in a different source 2019-08-09 17:50:52 +02:00
Leonardo Alt 11d8cf588e [SMTChecker] Set unknown values for return variables of recursive functions 2019-08-09 17:01:08 +02:00