 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
|
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
|
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 |
|