Leonardo Alt
|
07bb1952a7
|
Test updates
|
2020-05-14 23:32:30 +02:00 |
|
Leonardo Alt
|
a0c605aa85
|
[SMTChecker] Support array length
|
2020-05-14 23:32:29 +02:00 |
|
chriseth
|
2d1e7d9504
|
Merge pull request #8931 from random-internet-cat/lazy-init
Add LazyInit
|
2020-05-14 18:54:19 +02:00 |
|
chriseth
|
7ef114db9a
|
Merge pull request #8841 from ethereum/sol_yul_ripemd160_ecrecover
[Sol - Yul] Add support for ripemd160 & ecrecover.
|
2020-05-14 18:43:55 +02:00 |
|
Alexander Arlt
|
91e9d54c71
|
[Sol - Yul] Add support for ripemd160 & ecrecover.
|
2020-05-14 10:44:39 -05:00 |
|
Jason Cobb
|
a093962115
|
Add tests
|
2020-05-14 11:27:56 -04:00 |
|
Jason Cobb
|
26406e40d0
|
Add empty LazyInit test suite
|
2020-05-14 10:49:31 -04:00 |
|
Jason Cobb
|
24dfa89ee7
|
Use LazyInit for cached contract compilations
|
2020-05-14 10:36:58 -04:00 |
|
chriseth
|
b71a3f1f1d
|
Merge pull request #8939 from ethereum/updateZ3
Update z3 to version 4.8.8.
|
2020-05-14 16:36:49 +02:00 |
|
chriseth
|
1b86f27002
|
Merge pull request #8935 from ethereum/moveScopesIntoResolver
Move scopes into resolver.
|
2020-05-14 14:20:58 +02:00 |
|
Daniel Kirchner
|
0303902173
|
Update smt test expectations.
|
2020-05-14 14:12:01 +02:00 |
|
chriseth
|
e751a1c23d
|
Move scopes into resolver.
|
2020-05-14 13:16:47 +02:00 |
|
Djordje Mijovic
|
472fb21ee0
|
[Sol->Yul] Enabling new bytes(n)
|
2020-05-14 12:55:14 +02:00 |
|
chriseth
|
6308ca4a22
|
Binary transform for br and br_if.
|
2020-05-14 11:30:19 +02:00 |
|
chriseth
|
504b8d29c9
|
Merge pull request #8907 from ethereum/licenseIdentifier
Check for SPDX license identifiers.
|
2020-05-14 01:21:24 +02:00 |
|
Alex Beregszaszi
|
c9745ea101
|
EVMHost: enable support for Berlin
|
2020-05-13 22:56:11 +01:00 |
|
Alex Beregszaszi
|
7353804252
|
EVMHost: simplify code using new evmc features
|
2020-05-13 22:56:11 +01:00 |
|
Alex Beregszaszi
|
098cfd333f
|
Update EVMC to 7.2.0
|
2020-05-13 22:29:35 +01:00 |
|
chriseth
|
1700bdc4ad
|
Merge pull request #8925 from ethereum/abiEncodeCalldataSlice
Allow abi encoding array slices without casting.
|
2020-05-13 18:55:16 +02:00 |
|
Daniel Kirchner
|
97296d8622
|
Allow ABI encoding for array slices without explicit casts.
|
2020-05-13 18:20:07 +02:00 |
|
Alexander Arlt
|
af44c05f1a
|
Add new test.
|
2020-05-13 18:16:59 +02:00 |
|
Alexander Arlt
|
52b9a92ff8
|
Update existing tests.
|
2020-05-13 18:16:59 +02:00 |
|
chriseth
|
3872a1f000
|
Add support for SPDX license identifiers.
|
2020-05-13 18:16:59 +02:00 |
|
Mathias Baumann
|
820fdd9bf7
|
Escape backslashes when formatting
|
2020-05-13 17:08:37 +02:00 |
|
chriseth
|
e9446475bb
|
Merge pull request #8924 from ethereum/arraySliceBug
Fix array slice bug.
|
2020-05-13 16:06:28 +02:00 |
|
Daniel Kirchner
|
6f04664cfa
|
Disallow array slicing for arrays with dyanmically encoded base types.
|
2020-05-13 15:52:22 +02:00 |
|
chriseth
|
aca700497c
|
Merge pull request #8903 from ethereum/exponentiation-bug
Fix exponentiation bug
|
2020-05-13 15:49:23 +02:00 |
|
Harikrishnan Mulackal
|
47e9a13e8a
|
Fix exponentiation bug
|
2020-05-13 13:53:06 +05:30 |
|
chriseth
|
b2122d479f
|
Merge pull request #8915 from a3d4/partfix-5819-remove-erroroccurred-flag
Remove a dedicated error flag from DeclarationTypeChecker and other classes
|
2020-05-12 20:18:33 +02:00 |
|
a3d4
|
02d1f8c41a
|
Remove a dedicated error flag from DeclarationTypeChecker
|
2020-05-12 18:13:17 +02:00 |
|
chriseth
|
7da453014d
|
Fix source location of yul variable declarations without value.
|
2020-05-12 17:45:19 +02:00 |
|
chriseth
|
efd2f63c2c
|
Merge pull request #8706 from ethereum/solProtoSkeleton
ossfuzz: Add sol proto fuzzer skeleton
|
2020-05-12 17:15:23 +02:00 |
|
chriseth
|
901b421bb8
|
Merge pull request #8910 from ethereum/natspec-return-bug
Bug that ignored return tag when no other devdoc tags were present
|
2020-05-12 16:47:07 +02:00 |
|
Harikrishnan Mulackal
|
095e17f7f9
|
Bug that ignored return tag when no other devdoc tags were present
|
2020-05-12 20:05:22 +05:30 |
|
Harikrishnan Mulackal
|
c29d76f8f2
|
Test for function with value setting
|
2020-05-12 15:21:13 +05:30 |
|
Bhargava Shastry
|
596ac018f5
|
Fuzzer: Add test harness for solidity inheritance protobuf fuzzer
Co-Authored-By: Leonardo <leo@ethereum.org>
|
2020-05-11 23:56:27 +02:00 |
|
Bhargava Shastry
|
00946f3ea0
|
ossfuzz: Add sol proto fuzzer skeleton
Co-Authored-By: Leonardo <leo@ethereum.org>
|
2020-05-11 23:56:27 +02:00 |
|
Daniel Kirchner
|
c2f5a66a79
|
Implement .creationCode for Sol->Yul.
|
2020-05-11 18:51:51 +02:00 |
|
Daniel Kirchner
|
3fbde6e782
|
Merge pull request #8856 from ethereum/implicitConstructorCallvalueCheck
Implicit constructor callvalue check
|
2020-05-11 18:50:36 +02:00 |
|
Daniel Kirchner
|
79b217dfb3
|
Callvalue checks for implicit constructors.
|
2020-05-11 16:14:34 +02:00 |
|
chriseth
|
f1e0aa7a56
|
Merge pull request #8763 from ethereum/bareCall
IR code generation for call.
|
2020-05-11 16:06:54 +02:00 |
|
chriseth
|
3312150d7f
|
Merge pull request #8878 from ethereum/selecting-yul-optimisation-steps-in-strict-assembly-mode
Selecting Yul optimisation steps in strict assembly mode
|
2020-05-11 16:05:57 +02:00 |
|
chriseth
|
c0bf529236
|
Support bare calls.
|
2020-05-11 15:11:46 +02:00 |
|
chriseth
|
4c13ce24f0
|
Merge pull request #8887 from ethereum/boost-fs
Remove boost::filesystem where it is not needed
|
2020-05-11 15:09:54 +02:00 |
|
chriseth
|
0248303c15
|
Merge pull request #8872 from ethereum/int-min-max
implemented type(X).min and type(X).max for all integer types
|
2020-05-11 15:08:19 +02:00 |
|
Alex Beregszaszi
|
c31a93b3f2
|
Remove boost::filesystem where it is not needed
A two uses in CommonIO remain for the compiler (plus testing/tools use it extensively)
|
2020-05-11 11:19:11 +01:00 |
|
Harikrishnan Mulackal
|
e4e200f29f
|
Changelog and tests
|
2020-05-11 15:29:05 +05:30 |
|
Harikrishnan Mulackal
|
e54c4eecfc
|
implemented type(X).min and type(X).max for all integer types
|
2020-05-11 14:51:13 +05:30 |
|
Djordje Mijovic
|
591a5fff07
|
isoltest: WhiskersError and YulException treated differently when enforcing viaYul
|
2020-05-11 09:37:04 +02:00 |
|
Kamil Śliwak
|
6a58227830
|
CommandLineInterface: Make --yul-optimizations work in strict assembly mode
|
2020-05-08 22:29:57 +02:00 |
|