Harikrishnan Mulackal
|
7773bb3bd0
|
Fix typo: storage
|
2020-10-02 11:44:10 +02:00 |
|
Alex Beregszaszi
|
fedbea46cd
|
[SMTChecker] Support type conversions
|
2020-10-02 10:26:02 +02:00 |
|
chriseth
|
875dc0f10c
|
Merge pull request #9481 from ethereum/evmc-vms-evm-ewasm-ci
[circleci] Enable ewasm tests.
|
2020-10-01 20:37:21 +02:00 |
|
Alexander Arlt
|
d38eb75fb5
|
[circleci] Enable ewasm tests.
|
2020-10-01 13:21:39 -05:00 |
|
Leonardo
|
87e1934bee
|
Merge pull request #9885 from ethereum/smt_array_slices
[SMTChecker] Support array slices
|
2020-10-01 18:12:57 +02:00 |
|
chriseth
|
e5771efdf8
|
Merge pull request #9905 from ethereum/deleteArrayPackedSol2Yul
[Sol->Yul] Implementing deleting of storage array of types that are packed in storage
|
2020-10-01 16:50:57 +02:00 |
|
chriseth
|
b96fd20b06
|
Merge pull request #9941 from ethereum/genmappings
Explain generated sources in source mappings.
|
2020-10-01 13:29:17 +02:00 |
|
Leonardo Alt
|
c8cc73c80c
|
Support array slices
|
2020-10-01 11:52:02 +02:00 |
|
chriseth
|
5aee960934
|
Explain generated sources in source mappings.
|
2020-10-01 11:49:47 +02:00 |
|
Djordje Mijovic
|
03eeb49a66
|
Adding test for deleting packed storage array.
|
2020-10-01 10:25:04 +02:00 |
|
Djordje Mijovic
|
aa23ebc8e6
|
[Sol->Yul] Implementing array resizing for packed array types.
|
2020-10-01 10:25:00 +02:00 |
|
chriseth
|
3af21c92d2
|
Merge pull request #9702 from a3d4/fix-7410-arrays-of-mappings
Fix ICE caused by an array of mappings
|
2020-09-30 20:24:09 +02:00 |
|
chriseth
|
729ffc655e
|
Merge pull request #9364 from ethereum/stopafter
Stop after parsing.
|
2020-09-30 18:07:13 +02:00 |
|
chriseth
|
fda8bde2d7
|
Stop after parsing.
|
2020-09-30 16:57:49 +02:00 |
|
Mathias Baumann
|
4c02cd2310
|
Add name for split-test to prevent failure in other places
|
2020-09-30 16:56:53 +02:00 |
|
chriseth
|
5cf84c0f83
|
Merge pull request #9853 from ethereum/event-function-indexed
Implemented events with function type as one of its indexed parameters
|
2020-09-30 14:11:52 +02:00 |
|
Harikrishnan Mulackal
|
fd02ccc68c
|
Implemented events with indexed function as parameter in Yul
|
2020-09-30 12:11:39 +02:00 |
|
Harikrishnan Mulackal
|
3970412422
|
Implemented events with function type as one of its indexed parameters
|
2020-09-30 12:11:38 +02:00 |
|
chriseth
|
7a86a61b08
|
Merge pull request #9895 from ethereum/exp-negative-one
Optimize exp when base is -1
|
2020-09-30 11:54:22 +02:00 |
|
chriseth
|
9b0eba63bb
|
Merge pull request #9927 from a3d4/exclude-overnesting-from-antlr-grammar-tests
Exclude tests with overly deep nesting from antlr grammar checks
|
2020-09-30 11:43:01 +02:00 |
|
a3d4
|
a244daaacb
|
Exclude tests with overly deep nesting from antlr grammar checks
|
2020-09-29 20:20:20 +02:00 |
|
a3d4
|
3c876fcb60
|
Fix ICE caused by an array of mappings
|
2020-09-29 18:17:46 +02:00 |
|
Harikrishnan Mulackal
|
2b9f040c48
|
Optimize exp when base is -1
|
2020-09-29 17:44:09 +02:00 |
|
chriseth
|
343c13f94c
|
Merge pull request #9916 from a3d4/improve-error-coverage-parser
Complete error coverage of Parser and SyntaxChecker
|
2020-09-29 16:52:07 +02:00 |
|
a3d4
|
3698cd54a5
|
Complete error coverage of Parser and SyntaxChecker
|
2020-09-29 16:07:02 +02:00 |
|
chriseth
|
2037b7d6b8
|
Merge pull request #9820 from ethereum/new-annotation-field-virtual
Add annotation field ``requiresVirtualLookup``
|
2020-09-29 15:33:54 +02:00 |
|
chriseth
|
4b67829328
|
Merge pull request #9917 from ethereum/leb-encoding
Add LEB128 encoding functions & tests.
|
2020-09-29 14:55:25 +02:00 |
|
Leonardo
|
8d32017391
|
Merge pull request #9910 from ethereum/smt_addmulmod
[SMTChecker] Support addmod and mulmod
|
2020-09-29 14:25:47 +02:00 |
|
Leonardo Alt
|
352cce5fc8
|
[SMTChecker] Support addmod and mulmod.
|
2020-09-29 12:45:19 +02:00 |
|
Leonardo
|
7540ae4b3a
|
Merge pull request #9777 from ethereum/smt_refactor_predicate_instances
[SMTChecker] Refactor CHC predicate instances
|
2020-09-29 10:35:37 +02:00 |
|
Harikrishnan Mulackal
|
d23aff4cbb
|
Merge pull request #9918 from ethereum/isStateScopeCheck
Make isStateVariable regular scope check.
|
2020-09-29 09:33:03 +02:00 |
|
Alexander Arlt
|
b6e1415509
|
Add LEB128 encoding functions & tests.
|
2020-09-28 16:06:19 -05:00 |
|
chriseth
|
dd5b0a715c
|
Merge pull request #9920 from ethereum/release
Merge release back into develop.
|
2020-09-28 22:30:13 +02:00 |
|
chriseth
|
3a7d88c3b7
|
Merge pull request #9919 from ethereum/version073
Set version to 0.7.3.
|
2020-09-28 22:30:02 +02:00 |
|
chriseth
|
46360ba79f
|
Set version to 0.7.3.
|
2020-09-28 22:27:59 +02:00 |
|
chriseth
|
cb82d8239c
|
Make isStateVariable regular scope check.
|
2020-09-28 19:31:54 +02:00 |
|
chriseth
|
8687b9a3dc
|
Merge pull request #9903 from a3d4/refactor-warnonshadow
Simplify DeclarationRegistrationHelper
|
2020-09-28 19:28:34 +02:00 |
|
Mathias Baumann
|
8584c98b6a
|
Add annotation field `requiresVirtualLookup`
|
2020-09-28 17:36:23 +02:00 |
|
chriseth
|
51b20bc087
|
Merge pull request #9915 from ethereum/develop
Merge develop into release for 0.7.2
|
2020-09-28 17:14:05 +02:00 |
|
chriseth
|
da785290ef
|
Merge pull request #9912 from ethereum/prepare072
Prepare release of 0.7.2.
|
2020-09-28 16:14:25 +02:00 |
|
chriseth
|
e18c445c20
|
Merge pull request #9913 from ethereum/documentGeneratedSources
Document generated sources.
|
2020-09-28 16:14:06 +02:00 |
|
chriseth
|
add9867440
|
Document generated sources.
|
2020-09-28 15:38:28 +02:00 |
|
Leonardo Alt
|
fa7c9a0dc6
|
Simplify internal function calls
|
2020-09-28 15:31:15 +02:00 |
|
chriseth
|
054fc34179
|
Sort changelog.
|
2020-09-28 15:15:15 +02:00 |
|
chriseth
|
26d07d1925
|
Prepare release of 0.7.2.
|
2020-09-28 14:45:39 +02:00 |
|
Harikrishnan Mulackal
|
f1deb41033
|
Merge pull request #9911 from ethereum/docs-change-pragma
[DOCS] Change >=0.7.0 to ^0.7.0
|
2020-09-28 13:50:46 +02:00 |
|
a3d4
|
9b740b03ff
|
Simplify DeclarationRegistrationHelper
|
2020-09-28 13:21:57 +02:00 |
|
Harikrishnan Mulackal
|
8339765509
|
[DOCS] Change >=0.7.0 to ^0.7.0
|
2020-09-28 13:02:31 +02:00 |
|
Leonardo Alt
|
3519b38055
|
Move predicate functions from CHC to PredicateInstance
|
2020-09-28 12:43:19 +02:00 |
|
Leonardo Alt
|
ac93ee1d08
|
Move error flag from CHC to SymbolicState
|
2020-09-28 12:37:57 +02:00 |
|