chriseth
055c5fe173
Merge pull request #5610 from ethereum/shell-script-cleanups
...
build.sh bash script cleanup
2018-12-10 16:02:30 +01:00
Christian Parpart
a3829516f0
build.sh bash script cleanup
...
* use `set -e` to abort script execution when error codes fail (and haven't been checked)
* use [[ ]] instead of [ ] or test.
* use ROOTDIR/BUILDDIR variables for better readability
* use mktemp in order to avoid accidental name clashes.
* use `make install` instead of `install ...` as cleaner installation process
* this however doesn't install soltest anymore, which I believe is
right, as normal users should not need it installed in their system.
Those who want to run the test suite, can do so manually
* allow optional passing of more additional custom args to cmake
2018-12-10 14:59:55 +01:00
chriseth
b05d33d771
Tests for stack reusing code generator.
2018-12-10 14:28:56 +01:00
liangdzou
362648a450
Reuse stack slots in Yul to EVM code generation.
2018-12-10 14:28:56 +01:00
Leonardo
0300e09d3e
Merge pull request #5614 from ethereum/smt_symb_function
...
[SMTChecker] Introduce SymbolicFunctionVariable
2018-12-10 12:57:07 +01:00
Leonardo Alt
de46bb2c42
[SMTChecker] Introduce SymbolicFunctionVariable
2018-12-10 11:34:29 +01:00
chriseth
6240d9e72a
Merge pull request #5391 from ethereum/improve-type-errors
...
Provide additional error messages during type checks
2018-12-10 10:55:14 +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
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