Mathias Baumann
|
346c512cd7
|
[Sol->Yul] Implement _slot/_offset suffix for storage variables
|
2019-06-20 14:50:52 +02:00 |
|
Mathias Baumann
|
b03cb2bce6
|
YulUtilFuncs: Add missing/adjust existing documentation
|
2019-06-19 18:09:23 +02:00 |
|
Mathias Baumann
|
910cb8d329
|
[Sol->Yul] Implement .length for storage arrays
|
2019-06-19 18:09:23 +02:00 |
|
Mathias Baumann
|
c5b50039d2
|
[Sol->Yul] Report error after Ir code
this way less scrolling is required
|
2019-06-19 18:09:23 +02:00 |
|
mingchuan
|
ae273ff3bd
|
Move code that access calldata array element to separate function
|
2019-06-19 17:26:35 +08:00 |
|
mingchuan
|
492f945973
|
Coding style fix
|
2019-06-19 17:26:34 +08:00 |
|
chriseth
|
53f26d9719
|
Merge pull request #6963 from ethereum/runOptimizerOnAllDialects
[Yul] Run optimizer on all dialects.
|
2019-06-19 10:51:24 +02:00 |
|
chriseth
|
cc5045a56e
|
[Yul] Run optimizer on all dialects.
|
2019-06-19 10:01:16 +02:00 |
|
chriseth
|
56db792ad9
|
Merge pull request #6876 from rocky/recoveringParser1-StandardCompiler
Add parser errorRecovery (including StandardCompiler)
|
2019-06-18 22:40:35 +02:00 |
|
rocky
|
1a7e09ab7a
|
Add errorRecovery boolean to StandardCompiler
|
2019-06-18 15:54:05 -04:00 |
|
chriseth
|
05a67c486e
|
Use "what" in exception reports.
|
2019-06-18 17:34:10 +02:00 |
|
chriseth
|
6cb6fe35ef
|
Make Yul optimizer not fail for wasm.
|
2019-06-17 18:42:47 +02:00 |
|
chriseth
|
d7211c17e9
|
Merge pull request #6953 from ethereum/fix-comments-in-pr
[Sol->Yul] Style fixes
|
2019-06-17 17:29:05 +02:00 |
|
Mathias Baumann
|
8ca27c2bb0
|
[Sol->Yul] Style fixes
addresses the points @chriseth mentioned in #6909
|
2019-06-17 15:26:40 +02:00 |
|
rocky
|
ca3afea1d7
|
Add Steve Johnson-style parser recovery rules:
SourceUnit = Error $
Block = '{' Error '}'
ContractDefinition = '{' Error '}'
Statement = Error ';'
Co-Authored-By: chriseth <chris@ethereum.org>
|
2019-06-17 14:47:07 +02:00 |
|
Daniel Kirchner
|
4d38df6920
|
Set state mutability of function type members `gas and value ` to pure.
|
2019-06-13 18:27:53 +02:00 |
|
Leonardo
|
7a42ae2b7b
|
Merge pull request #6894 from ethereum/smt_catch_expr
[SMTChecker] Catch malformed expressions
|
2019-06-12 21:17:10 +02:00 |
|
Leonardo
|
d2019f49ea
|
Merge pull request #6906 from ethereum/delegatecall_value_msg
Improve error message for delegatecall.value
|
2019-06-12 21:14:54 +02:00 |
|
Daniel Kirchner
|
2849169bff
|
Merge pull request #6909 from ethereum/yul-delete-operation
[Sol->Yul] Make IRStorageItem work with dynamic offsets
|
2019-06-12 16:46:00 +02:00 |
|
Mathias Baumann
|
6a0976ed5e
|
[Sol->Yul] Refactor shift functions to be consistent
|
2019-06-11 17:44:36 +02:00 |
|
Mathias Baumann
|
89c435a167
|
[Sol->Yul] Make IRStorageItem work with dynamic offsets
|
2019-06-11 17:44:36 +02:00 |
|
Daniel Kirchner
|
226f8bb64d
|
Use imported cmake targets for boost.
|
2019-06-06 18:49:34 +02:00 |
|
Daniel Kirchner
|
2dbdddc7e5
|
Fix argument count for require with message and string literals.
|
2019-06-06 13:17:08 +02:00 |
|
Leonardo Alt
|
b7634faa3d
|
Improve error message for delegatecall.value
|
2019-06-06 12:55:12 +02:00 |
|
Leonardo Alt
|
1221eeebf1
|
[SMTChecker] Report malformed expressions more precisely
|
2019-06-06 11:54:29 +02:00 |
|
Leonardo Alt
|
f281c94b42
|
[SMTChecker] Test that non-Boolean literals are actually integers
|
2019-06-05 10:51:05 +02:00 |
|
Daniel Kirchner
|
d99c37e1ee
|
Merge pull request #6891 from ethereum/z3cmake
Build System: Try to find Z3 using CONFIG_MODE and stock cmake files before manual search.
|
2019-06-05 10:46:50 +02:00 |
|
Leonardo
|
3a3316393e
|
Merge pull request #6897 from ethereum/smt_check_pragma_earlier
[SMTChecker] Exit early if no pragma
|
2019-06-05 10:26:25 +02:00 |
|
Leonardo
|
c39ea56f93
|
Merge pull request #6896 from ethereum/smt_use_portfolio
[SMTChecker] Use SMTPortfolio directly
|
2019-06-05 10:26:05 +02:00 |
|
Leonardo
|
155af48b9d
|
Merge pull request #6895 from ethereum/smt_keep_assertions
[SMTChecker] Keep a copy of assertions that are added to the solvers
|
2019-06-05 10:25:45 +02:00 |
|
Leonardo Alt
|
4de1e20954
|
[SMTChecker] Exit early if no pragma
|
2019-06-04 17:12:15 +02:00 |
|
Leonardo Alt
|
91653526bb
|
[SMTChecker] Use SMTPortfolio directly instead of pointer to SolverInterface
|
2019-06-04 17:10:52 +02:00 |
|
Leonardo Alt
|
31ef421fff
|
[SMTChecker] Keep a copy of assertions that are added to the solvers
|
2019-06-04 17:09:04 +02:00 |
|
Daniel Kirchner
|
9f5340fa53
|
Try to find Z3 using CONFIG_MODE before manual search.
|
2019-06-04 15:58:03 +02:00 |
|
Leonardo Alt
|
d9ce9cab99
|
[SMTChecker] Use smtlib's implies instead of \!a or b
|
2019-06-04 14:23:44 +02:00 |
|
chriseth
|
4ee703e6e5
|
Revert "Add Steve Johnson-style parser recovery rules:"
This reverts commit 97f8ee0d1b .
|
2019-05-28 18:09:24 +02:00 |
|
chriseth
|
f9dca1f282
|
Merge pull request #6681 from rocky/recoveringParser1
Add Steve Johnson-style parser recovery rules:
|
2019-05-28 15:36:45 +02:00 |
|
rocky
|
97f8ee0d1b
|
Add Steve Johnson-style parser recovery rules:
SourceUnit = Error $
Block = '{' Error '}'
ContractDefinition = '{' Error '}'
Statement = Error ';'
Co-Authored-By: chriseth <chris@ethereum.org>
|
2019-05-28 15:06:34 +02:00 |
|
chriseth
|
a3f721bbcc
|
Merge pull request #6583 from ethereum/reset_yulstringrepo
Reset YulStringRepository regularly
|
2019-05-28 14:20:53 +02:00 |
|
chriseth
|
2276b567b1
|
Merge pull request #6840 from ethereum/discoverMSize
Only remove msize-modifying instructions if msize is not used.
|
2019-05-28 13:16:55 +02:00 |
|
Bhargava Shastry
|
dbae0fa939
|
Reset Yul string repository before each compilation.
|
2019-05-28 13:12:39 +02:00 |
|
chriseth
|
df96648b1c
|
Do not allow msize in inline assembly if the Yul optimizer is active.
|
2019-05-28 12:54:33 +02:00 |
|
chriseth
|
c3cdae908d
|
Merge pull request #6767 from ethereum/constantOptimiserForYul
[Yul] Constant optimiser
|
2019-05-28 11:53:04 +02:00 |
|
chriseth
|
b95eebee1c
|
Merge pull request #6822 from ethereum/uninitializedLoadFromStorage
Explicitly turn uninitialized internal function pointers into invalid function when loaded from storage.
|
2019-05-28 11:48:56 +02:00 |
|
chriseth
|
1c16124a09
|
Constant optimiser for Yul.
|
2019-05-28 11:35:07 +02:00 |
|
chriseth
|
fbf189151d
|
[SolYul] Division.
|
2019-05-27 17:53:46 +02:00 |
|
chriseth
|
5b1a984882
|
Explicitly turn uninitialized internal function pointers into invalid function when loaded from storage.
|
2019-05-27 17:26:37 +02:00 |
|
chriseth
|
a600126703
|
Merge pull request #6833 from sifmelcara/fix-struct-array-mapping
Fix assignment of struct containing array of mappings
|
2019-05-27 11:14:28 +02:00 |
|
mingchuan
|
bf8af89bba
|
Fix assignment of struct containing array of mappings
|
2019-05-25 01:33:49 +08:00 |
|
chriseth
|
fb40063253
|
Compound assignment.
|
2019-05-23 21:32:30 +02:00 |
|