Commit Graph
12118 Commits
Author SHA1 Message Date
chriseth 52ff3c9455 Merge pull request #5607 from enumatech/fix-makefiles
WIP: Fix makefiles to silence linker errors
2018-12-07 10:16:49 +01:00
Lionello Lunesu c51e2b7f46 Fix makefiles 2018-12-07 08:59:02 +08:00
chriseth 6a9e8a6fe3 Merge pull request #4936 from ethereum/binSelect
Binary search for dispatch.
2018-12-07 00:55:09 +01:00
chriseth ac9f39c805 Merge pull request #5584 from ethereum/structuralSimplifier
[Yul] Add structural simplifier.
2018-12-06 23:22:26 +01:00
Daniel Kirchner 1eb60cbb39 Add structural simplifier as optimization step for Yul. 2018-12-06 18:37:35 +01:00
chriseth 4b2a64306a Merge pull request #5587 from ethereum/yulCodeBuiltins
Builtin functions to access Yul objects.
2018-12-06 16:49:52 +01:00
chriseth e1e578d71e Merge pull request #5589 from ethereum/yulObjectCodegen
Yul object codegen
2018-12-06 16:47:18 +01:00
chriseth fb805ccca6 Changelog entry. 2018-12-06 14:51:25 +01:00
chriseth b7cfa499b0 Add tests. 2018-12-06 14:43:14 +01:00
chriseth 3fc118ba21 Analyze and compile sub-objects. 2018-12-06 14:32:04 +01:00
chriseth f6ed29b88b Extend abstract assembly to be able to handle sub-objects. 2018-12-06 14:32:04 +01:00
chriseth 4721cf332f Expose EthAssemblyAdapter. 2018-12-06 14:32:04 +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 7f39c3e522 Binary search for dispatch. 2018-12-06 13:07:14 +01:00
chriseth 1643d63e3a Merge pull request #5605 from ethereum/cmdlineTests
Extend capabilities of the generic commandline test.
2018-12-06 13:07:00 +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
chriseth 5a08ae5e71 Merge pull request #5600 from ethereum/simplifyToHex
Simplify toHex()
2018-12-06 10:04:58 +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 936c67415a Simplify hex prefix. 2018-12-05 22:51:49 +01:00
chriseth bc6ddbdd09 Remove w parameter for toHex. 2018-12-05 22:51:49 +01:00
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 c8e201e520 Provide Yul Object builtins. 2018-12-04 15:40:50 +01:00
chriseth 7ee1ddc172 Switch namespaces. 2018-12-04 15:36:03 +01:00