Leonardo Alt
05a85461fe
Symbolic state
2020-04-06 12:27:53 +02:00
Leonardo
0a72a3b8af
Merge pull request #8611 from ethereum/smt_array_variable_sort
...
[SMTChecker] Allow constructing symbolic arrays from smt sort
2020-04-06 12:26:30 +02:00
Daniel Kirchner
4a23ce087c
Document immutable references output.
2020-04-06 11:22:07 +02:00
Daniel Kirchner
84d7bac4f6
Format immutable references similarly to link references.
2020-04-06 11:21:53 +02:00
chriseth
06562e3431
Prepare changelog for 0.6.5.
2020-04-06 11:11:20 +02:00
Daniel Kirchner
81652686be
Debug information for immutable references.
2020-04-06 10:56:42 +02:00
Daniel Kirchner
8451639f17
Merge pull request #8586 from ethereum/immutableExternalFunctionPointers
...
Disallow external function pointers as immutables.
2020-04-06 10:53:54 +02:00
Leonardo Alt
2cfa44bba3
Allow constructing symbolic arrays from smt sort
2020-04-06 10:50:00 +02:00
chriseth
7148f4c5c5
Merge pull request #8609 from ethereum/trivial-doc-fixes-in-reference-types-rst
...
Trivial documentation fixes in reference-types.rst
2020-04-06 10:42:13 +02:00
Kamil Śliwak
303345b12c
reference-types.rst: Fix incorrectly wrapped line in the array slice section
2020-04-06 10:15:42 +02:00
Kamil Śliwak
1847536d6d
reference-types.rst: Minor text correction, itself -> themselves
2020-04-06 10:15:13 +02:00
Alexander Arlt
d8671d9c14
Add script to determine percentage of tests compilable via Yul.
2020-04-04 18:04:54 -05:00
Jason Cobb
205063f86b
Delete copy and move operations for ASTVisitor and ASTConstVisitor
2020-04-03 23:47:10 -04:00
Daniel Kirchner
1b4bbdc5ff
Merge pull request #8573 from ethereum/add-move-specific-warnings
...
[build-system] Add -Wpessimizing-move & -Wredundant-move warnings.
2020-04-03 16:58:26 +02:00
Leonardo
07ffc041db
Merge pull request #8582 from ethereum/chriseth-patch-1
...
Changelog entry for immutable variables.
2020-04-03 12:24:44 +02:00
Daniel Kirchner
d68c526eaa
Disallow external function pointers as immutables.
2020-04-03 11:56:51 +02:00
Daniel Kirchner
00acaadd10
Merge pull request #8584 from random-internet-cat/annotation-constructors
...
Delete copy/move on annotation polymorphic bases to improve safety
2020-04-03 10:56:38 +02:00
Jason Cobb
7f5857a146
Delete copy/move on annotation polymorphic bases
2020-04-02 22:33:21 -04:00
Alexander Arlt
cae6e7769f
Apply modernize-use-override.
2020-04-02 18:00:44 -05:00
Alexander Arlt
90bb1d8a7c
Apply modernize-use-emplace.
2020-04-02 17:35:48 -05:00
chriseth
4816484964
Merge pull request #8580 from ethereum/publicImmutables
...
Accessors for immutable variables.
2020-04-02 19:50:56 +02:00
chriseth
d7a39c86ce
Accessors for immutable variables.
2020-04-02 19:09:54 +02:00
chriseth
bdcfd71f34
Skip verification for external access.
2020-04-02 18:40:43 +02:00
chriseth
216fca5b70
Merge pull request #8578 from ethereum/interface-function-modifier-error
...
Added error for interface functions that have modifiers; test case
2020-04-02 18:05:32 +02:00
chriseth
0d3303e4af
Changelog entry for immutable variables.
2020-04-02 17:46:29 +02:00
hrkrshnn
ef2bef9ddc
Added error for interface function with modifiers; test case
2020-04-02 20:30:43 +05:30
chriseth
ed1000dde7
Merge pull request #8462 from ethereum/allocate_memory_zero_function
...
[Yul codegen] Zero initialize memory arrays
2020-04-02 16:18:59 +02:00
Leonardo Alt
39ff0deb05
Zero initialize memory arrays
2020-04-02 15:55:18 +02:00
Alexander Arlt
a7e1ef6a50
[build-system] Add -Wpessimizing-move & -Wredundant-move warnings.
...
-Wpessimizing-move warns when a call to std::move would prevent copy elision
if the argument was not wrapped in a call. This happens when moving a local
variable in a return statement when the variable is the same type as the
return type or using a move to create a new object from a temporary object.
-Wredundant-move warns when an implicit move would already be made, so the
std::move call is not needed, such as when moving a local variable in a return
that is different from the return type.
2020-04-02 08:36:47 -05:00
chriseth
8d28089abc
Merge pull request #8475 from ethereum/immutable-functioncallgraph
...
implement ImmutableValidator class
2020-04-02 14:14:53 +02:00
chriseth
4f635cab91
Merge pull request #8576 from ethereum/add-changelog-storage-pointer
...
Added changelog
2020-04-02 14:14:11 +02:00
hrkrshnn
cb66274827
Added changelog
2020-04-02 17:41:44 +05:30
Mathias Baumann
ac7b31e559
Validate immutable variables
2020-04-02 13:52:27 +02:00
Mathias Baumann
9a8ca6ca33
Always return this for EventDefinition::resolveVirtual
...
Instead of asserting.
2020-04-02 13:52:27 +02:00
chriseth
a2b427dc0b
Merge pull request #8567 from ethereum/storage-pointer-checker
...
Removed redundant storage declaration check; test coverages
2020-04-02 13:46:51 +02:00
hrkrshnn
8e6567e399
New folder localStorageVariable for new testcases; added two new tests
2020-04-02 16:34:45 +05:30
hrkrshnn
aec0ae8ec1
Extended test-coverage for storage declaration
2020-04-02 15:45:04 +05:30
chriseth
3224785381
Merge pull request #8569 from aarlt/clang-tidy-apply-modernize-use-nullptr
...
clang-tidy: Apply modernize-use-nullptr.
2020-04-02 10:38:54 +02:00
chriseth
c8f0629e94
Merge pull request #8574 from ethereum/immutableAssignAtDecl
...
Properly handle assignments of immutables at declaration.
2020-04-02 10:38:16 +02:00
hrkrshnn
79387b2ada
Removed redundant declaration check; changed relevant test cases
2020-04-02 12:27:38 +05:30
Daniel Kirchner
77ea896b68
Properly handle assignments of immutables at declaration.
2020-04-02 08:35:22 +02:00
Alexander Arlt
616fd8df1e
Apply modernize-use-nullptr.
2020-04-01 12:46:19 -05:00
chriseth
82f57f0465
Merge pull request #8565 from ethereum/memoryCreationOverflowBug
...
Memory creation overflow bug.
2020-04-01 19:04:14 +02:00
chriseth
fbda975fe4
Merge pull request #8566 from mijovic/testDocsPragma
...
[docs] Renaming CI job for documentation pragma version check
2020-04-01 19:01:33 +02:00
Daniel Kirchner
06d184712c
Add buglist entry.
2020-04-01 19:01:32 +02:00
Djordje Mijovic
d343143be7
[docs] Renaming CI job for documentation pragma version check
2020-04-01 18:34:20 +02:00
Daniel Kirchner
fe9f8d520c
Restrict size for dynamic memory array creation.
2020-04-01 17:25:09 +02:00
chriseth
fb7f51ffca
Merge pull request #8563 from ethereum/fixInternalDispatch
...
Fix call to internalDispatch.
2020-04-01 12:35:43 +02:00
chriseth
2853cba3e5
Fix call to internalDispatch.
2020-04-01 12:13:32 +02:00
chriseth
7ce867ac60
Merge pull request #8510 from ethereum/immutableDocs
...
Documentation and grammar for immutables.
2020-04-01 11:49:07 +02:00
