Commit Graph
12093 Commits
Author SHA1 Message Date
chriseth e8455c2a6d Move toHex implementation to cpp file. 2018-12-05 22:37:05 +01:00
chriseth 3a378eae1a Restrict toHex to bytes. 2018-12-05 22:37:05 +01:00
chriseth 15e28fa444 Merge pull request #5476 from KevinKelley/readable-hex
add a 'readable' format for large hex values
2018-12-05 22:35:02 +01:00
Kevin Kelley fb6fd1b3c2 add a 'readable' format for large hex values 2018-12-05 22:15:02 +01:00
chriseth d3c8ba00ac Merge pull request #5595 from ethereum/ssavaluetracker-fix
SSAValueTracker should only use nullptr for default values
2018-12-05 22:08:46 +01:00
Mathias Baumann d0204eef2f SSAValueTracker should only use nullptr for default values 2018-12-05 18:01:41 +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 63d67c7153 Merge pull request #5591 from ethereum/smt_simplify_sort
[SMTChecker] Simplify symbolic variables
2018-12-05 17:28:45 +01:00
chriseth 57eb68a8df Merge pull request #4098 from ethereum/typedResults
Introduce Result<T> for type checker functions
2018-12-05 14:10:30 +01:00
chriseth 1e6c368bba Merge pull request #5594 from ethereum/fullInlinerNoHoister
[Yul] Relax dependency of FullInliner on FunctionHoister.
2018-12-05 12:25:03 +01:00
chriseth a2105b1c5c Merge pull request #5576 from ethereum/fixDockerScript
Fix manual deploy script for alpine.
2018-12-05 12:04:00 +01:00
chriseth 8d9fa0f4fa Fix manual deploy script for alpine. 2018-12-05 12:03:28 +01:00
Daniel Kirchner 538d707439 Relax dependency of FullInliner on FunctionHoister. 2018-12-05 11:53:31 +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 54846ed0a7 Fix expression simplifier asserting on default values 2018-12-05 11:43:02 +01:00
Mathias Baumann 5d31ad2daf Test for unhandled default values in expression simplifier 2018-12-05 11:43:02 +01:00
Erik Kundt c38fb53439 Cleans up Result<T> and adds additional documentation. 2018-12-05 10:33:34 +01:00
Erik Kundt e3accc6aa6 Simplifies Result<T> and prevents undefined behaviour. 2018-12-05 10:33:34 +01:00
Erik Kundt 05e74d096e Introduces Result<T> for operator and implicit conversion type checks. 2018-12-05 10:33:34 +01:00
Mathias Baumann 6e5160efa0 Relax assertion about jumps in loose mode 2018-12-05 10:25:59 +01:00
Leonardo Alt b9f424e373 [SMTChecker] Simplify symbolic variables 2018-12-05 09:56:52 +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 8b38cf3ed4 Merge pull request #5586 from ethereum/refactorEVMAssembly
Refactor evm assembly
2018-12-04 15:55:53 +01:00
chriseth 7ee1ddc172 Switch namespaces. 2018-12-04 15:36:03 +01:00
chriseth 0b1125281a Remove some includes. 2018-12-04 15:31:00 +01:00
chriseth 126ed2e990 Merge pull request #5583 from ethereum/builtins3
Analysis phase for builtin funtions.
2018-12-04 15:29:20 +01:00
chriseth 3ebb78a886 Adjust include paths. 2018-12-04 15:20:29 +01:00
chriseth 0ec7a0e72c Move AsmCodeGen. 2018-12-04 15:20:23 +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 1746366bb6 Use builtin functions in the yul parser. 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
chriseth 4e5dabf832 Merge pull request #5585 from ethereum/forInitRewriteNested
[Yul] Proper recursion in ForLoopInitRewriter.
2018-12-04 14:10:22 +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 e49f37be7f Merge pull request #5582 from ethereum/yulErrorMessages
Improve error messages around invalid function argument count.
2018-12-04 12:00:36 +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
chriseth 336287821a Merge pull request #5578 from ethereum/yulStringRefactor
Use YulString also in expectAsmIdentifier.
2018-12-03 21:05:48 +01:00
chriseth e5582ffea0 Use YulString also in expectAsmIdentifier. 2018-12-03 17:54:25 +01:00
chriseth e2741a120f Merge pull request #5575 from ethereum/release
Merge release back into develop.
2018-12-03 17:53:39 +01:00
chriseth e6a01d2669 Merge pull request #5574 from ethereum/version0.5.2
Set version to 0.5.2.
2018-12-03 16:58:47 +01:00
chriseth e7a0edbd97 Set version to 0.5.2. 2018-12-03 16:38:26 +01:00
chriseth c8a2cb6283 Merge pull request #5571 from ethereum/develop
Version 0.5.1
v0.5.1
2018-12-03 15:48:03 +01:00
chriseth 590be1d84c Merge pull request #5570 from ethereum/updateChangelog051
Massage changelog for 0.5.1
2018-12-03 14:47:12 +01:00
chriseth 8d623dcca1 Massage changelog for 0.5.1 2018-12-03 14:16:34 +01:00
chriseth eed353a367 Merge pull request #5558 from anurag-git/issue_5130
Fix internal compiler error for unimplemented base contract function.
2018-12-03 12:41:25 +01:00