Commit Graph
2477 Commits
Author SHA1 Message Date
Gaith Hallak 6c7e849431 Modify the expectation files in ASTJSON tests
The following changes to expecation files are required for the ASTJSON
tests to pass:

* remove trailing spaces in ASTJSON tests
* replace indention tabs with 2 spaces in ASTJSON tests
* remove the space between the key and the colon in ASTJSON tests
2019-10-02 19:14:41 +03:00
chriseth f884373142 Merge branch 'origin/develop' into develop_060 2019-10-02 16:29:36 +02:00
Daniel Kirchner 7202ebb5b2 Fix internal compiler error for arrays of recursive structs. 2019-10-01 16:51:14 +02:00
Christian Parpart 00d7dac15f Fixes source location in warning for shadowing import delcarations. 2019-09-30 11:45:46 +02:00
Leonardo Alt b40895c100 Fix try catch test 2019-09-26 18:27:09 +02:00
Leonardo ca714a2d3d Merge pull request #7485 from ethereum/develop
Merge develop into develop_060
2019-09-26 15:43:12 +02:00
Christian Parpart f85f6ba7e0 Fixes doxygen style multiline comment parsing for files with CRLF as line terminators. 2019-09-25 12:59:46 +02:00
chriseth cda23d63e9 Merge pull request #7458 from ethereum/fixErrorMessage
Fix error message about accessing storage pointers.
2019-09-24 15:11:03 +02:00
Leonardo 9c23f35bec Merge pull request #7462 from ethereum/version-060
Build version 0.6.0
2019-09-24 12:48:00 +02:00
Erik Kundt e3a29ffcd3 Updates tests to version 0.6.0. 2019-09-24 12:01:14 +02:00
chriseth 973e4ca90a Merge pull request #7453 from ethereum/smt_lib_const_array
[SMTChecker] Add "as const: function to SMTLib2Interface
2019-09-24 11:02:34 +02:00
chriseth ca21659749 Fix error message about accessing storage pointers. 2019-09-24 10:52:02 +02:00
chriseth f3c4f466f6 Merge remote-tracking branch 'origin/develop' into develop_060
Had to adjust gas costs during merge.
2019-09-24 10:28:22 +02:00
chriseth b5d6d5fcf9 Create. 2019-09-23 17:22:56 +02:00
chriseth b5bc52f2a7 Control flow for try statements. 2019-09-23 17:22:56 +02:00
chriseth 644a402166 Tests. 2019-09-23 17:22:56 +02:00
chriseth bfc8fd23ac Document chainid and selfbalance. 2019-09-19 15:35:37 +02:00
Leonardo Alt ed9674be8d [SMTChecker] Add as const function to SMTLib2Interface 2019-09-18 22:57:14 +02:00
Leonardo Alt 43d6e00b14 Add push() for dynamic storage arrays 2019-09-17 13:47:33 +02:00
chriseth 7a79742f3d Out of body again. 2019-09-17 12:30:15 +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 c72d1ffb65 Merge pull request #7421 from ethereum/develop
Merge develop into develop_060
2019-09-13 12:14:02 +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
Erik Kundt e92b921123 [isoltest] Adds support for fallback and ether functions. 2019-09-13 10:55:46 +02:00
chriseth 50ce3b0ac8 Merge pull request #7420 from ethereum/develop
Merge develop into develop_060
2019-09-12 22:06:55 +02:00
chriseth 4f80117eef Use builtin iszero for for loop condition rewriting. 2019-09-12 10:26:16 +02:00
Erik Kundt 4162c3d7af [isoltest] Adds fallback formatting. 2019-09-11 15:45:53 +02:00
chriseth acf10ef60f Merge pull request #7393 from ethereum/develop
Merge develop into 0.6.0
2019-09-10 12:27:02 +02:00
Leonardo Alt 5cfe0b7670 Allow explicit conversion from address to address payable 2019-09-09 23:46:00 +02:00
Erik Kundt 5e12e0cf27 [isoltest] Fixes auto-update for revert. 2019-09-09 22:46:43 +02:00
chriseth a272506a34 Merge pull request #7374 from ethereum/hexStringUnderscores
Allow  underscores in hex strings.
2019-09-09 11:48:46 +02:00
Daniel Kirchner 6f3341a204 Allow underscores in hex strings. 2019-09-06 17:58:35 +02:00
Daniel Kirchner f4d990e5be Drop constant and payable fields from ABI. 2019-09-06 14:42:09 +02:00
Daniel Kirchner 9bcaeef39f Fix test wrt changed json ABI sorting. 2019-09-05 13:39:23 +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 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 467d420f7e ABI and AST tests. 2019-09-02 12:23:21 +02:00
Daniel Kirchner 2b938d703c Allow global enum definitions. 2019-09-02 11:52:51 +02:00
Daniel Kirchner fae0e10d26 Import tests. 2019-09-02 11:17:57 +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 e1bb4b9f81 Merge pull request #7280 from ethereum/isoltest-empty-revert
[isoltest] Support empty revert message
2019-08-26 11:45:36 +02:00
Erik Kundt 755dae5d66 [isoltest] Supports empty revert message. 2019-08-26 11:06:30 +02:00