cerc-io/solidity
15
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
12,124 Commits 348 Branches 121 Tags 100 MiB
a3829516f0
Commit Graph

12124 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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