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
21,741 Commits 348 Branches 121 Tags
newCodegen2
Commit Graph
6619 Commits
Author SHA1 Message Date
chriseth 642c69f935 Merge pull request #5641 from ethereum/supportUnassigned 
[Yul] Support unassigned variables in the SSA value tracker and the data flow analyzer.
 2018-12-13 11:33:45 +01:00
chriseth 6e205cc4e3 Merge pull request #5624 from ethereum/standard_json_unknown_keys 
Disallow unknown JSON keys in standard-json
 2018-12-13 09:58:34 +01:00
Daniel Kirchner 5ac7620045 Use C++ user-defined literals for creating YulString constants. 2018-12-12 18:45:43 +01:00
chriseth 17bf164afe Merge pull request #4951 from ethereum/alethUpdates 
Use current aleth release for testing.
 2018-12-12 18:41:35 +01:00
chriseth 9557dd7e74 Support unassigned variables in the SSA value tracker and the data flow analyzer. 2018-12-12 18:06:28 +01:00
Leonardo Alt 8cd2ac8462 Disallow unknown JSON keys in standard-json 2018-12-12 17:32:42 +01:00
Daniel Kirchner 123d33ad41 Add tolerance to gas meter tests. 2018-12-12 17:24:56 +01:00
chriseth 87237281bf Merge pull request #5630 from ethereum/warn_functions_empty_body 
Supress unused var and state mut warnings for functions with empty body
 2018-12-12 17:00:50 +01:00
Leonardo Alt 508aae8a67 Disable state mutability warning for functions with empty body 2018-12-12 14:43:44 +01:00
Leonardo Alt 53537864a2 Disable unused var warning for functions with empty body 2018-12-12 14:43:44 +01:00
Daniel Kirchner 788612d2ef Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses. 2018-12-12 04:20:53 +01:00
chriseth fb3a0ac1c7 Codegen for object access. 2018-12-11 19:24:44 +01:00
chriseth 9f86ede32d Merge pull request #5454 from ethereum/smt_math_functions 
[SMTChecker] Abstract math functions
 2018-12-11 18:35:10 +01:00
chriseth b5deca0383 Merge pull request #4779 from ethereum/optimise-string-literals 
Decide better in storing string literals as data
 2018-12-11 17:50:14 +01:00
Leonardo Alt 08737e43dc [SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions 2018-12-11 11:28:25 +01:00
Daniel Kirchner 6d82ad1338 Test updates for recent versions of aleth. 2018-12-11 04:47:05 +01:00
chriseth d80d324de7 Tests for gas costs. 2018-12-10 18:06:07 +01:00
Yi Huang 81f703427e Add tests for implcit conversions from literals to fixed-point numbers. 2018-12-10 17:31:20 +01:00
Mathias Baumann 55d7d327c4 Have only one source where testsuits are defined 2018-12-10 16:49:33 +01:00
chriseth b05d33d771 Tests for stack reusing code generator. 2018-12-10 14:28:56 +01:00
Erik Kundt e2395a3dcf Adds more detailed type errors and tests. 2018-12-07 12:35:35 +01:00
Erik Kundt b2afb8cdda Adds an additional message to failing type conversions. 2018-12-07 11:55:53 +01:00
chriseth 6a9e8a6fe3 Merge pull request #4936 from ethereum/binSelect 
Binary search for dispatch.
 2018-12-07 00:55:09 +01:00
Daniel Kirchner 1eb60cbb39 Add structural simplifier as optimization step for Yul. 2018-12-06 18:37:35 +01:00
chriseth b7cfa499b0 Add tests. 2018-12-06 14:43:14 +01:00
chriseth 0e8841005c Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor 
[2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)
 2018-12-06 14:01:39 +01:00
Christian Parpart 073b03d90c liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and making use of new SourceLocation's CharStream knowledge 2018-12-06 14:01:01 +01:00
chriseth 6124176374 Gas tests for the binary search dispatch routine. 2018-12-06 13:07:14 +01:00
chriseth d67b232343 Extend capabilities of the generic commandline test. 2018-12-06 12:38:24 +01:00
chriseth 5fde279d2a Merge pull request #5514 from corollari/develop 
Remove unary + from the type system
 2018-12-06 10:27:09 +01:00
Albert eee2f2b069 Update test 2018-12-06 01:54:04 +01:00
Albert df08d79623 Fix #5470 
Remove unary + from the type system
 2018-12-06 01:54:04 +01:00
chriseth bc6ddbdd09 Remove w parameter for toHex. 2018-12-05 22:51:49 +01:00
Kevin Kelley fb6fd1b3c2 add a 'readable' format for large hex values 2018-12-05 22:15:02 +01:00
Mathias Baumann f4e9c70ecc Tests for SSAValueTracker ignoring function call on rhs 2018-12-05 18:01:41 +01:00
chriseth 32c9da9419 Merge pull request #5593 from ethereum/issue-5384 
Fix expression simplifier asserting on default values
 2018-12-05 17:58:23 +01:00
chriseth dd6327594f Merge pull request #5592 from ethereum/fix-issue-5446 
Relax assertion about jumps in loose mode
 2018-12-05 11:43:31 +01:00
Mathias Baumann 5d31ad2daf Test for unhandled default values in expression simplifier 2018-12-05 11:43:02 +01:00
Mathias Baumann 6e5160efa0 Relax assertion about jumps in loose mode 2018-12-05 10:25:59 +01:00
chriseth 6efe2a5266 Merge pull request #5390 from ethereum/smt_one_loop 
[SMTChecker] Unroll loops once
 2018-12-05 09:23:19 +01:00
chriseth 852297fa2f Builtin functions for yul analysis. 2018-12-04 14:50:00 +01:00
chriseth c3fc2da763 Tests for parser for builtins. 2018-12-04 14:49:16 +01:00
chriseth 961026347d Use dialect option in yul parser tests. 2018-12-04 14:49:16 +01:00
chriseth 8654f8f6d4 Merge pull request #5573 from ethereum/builtins 
[Yul] Introduce the concept of builtin functions.
 2018-12-04 14:11:49 +01:00
Daniel Kirchner 1b8a013d4a Properly recurse in ForLoopInitRewriter 2018-12-04 13:36:25 +01:00
Leonardo Alt 8069bb61da [SMTChecker] Loops are unrolled once 2018-12-04 12:35:19 +01:00
chriseth 99db4e3ff4 Introduce the concept of builtin functions. 2018-12-04 12:06:33 +01:00
chriseth 7698b0b63f Do not stop if there is more than one error. 2018-12-04 11:37:03 +01:00
chriseth d829794737 Improve yul error messages around number of arguments and variables. 2018-12-04 11:37:03 +01:00
Anurag Dashputre 82f5763e7a Fix internal compiler error for unimplemented base contract function. 2018-12-03 12:25:31 +01:00