Djordje Mijovic
|
1fab5b79fb
|
Refactoring signature for updateStorageValueFunction
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
15163b2270
|
Refactoring readFromStorage util frunctions
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
23f6369a46
|
Implementing struct copying from calldata to storage
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
762e3f3cee
|
[Sol->Yul] Implementing struct copying from calldata to storage
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
381784dd89
|
[Sol->Yul] Implementing struct copying from storage to memory
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
b89c863e11
|
[Sol->Yul] Implementing struct copying from memory to storage
|
2020-09-02 12:28:53 +02:00 |
|
chriseth
|
5e66583b0b
|
Merge pull request #9726 from ethereum/arrayCopySol2YulTests
Adding simple array copying tests
|
2020-09-02 11:05:01 +02:00 |
|
chriseth
|
8f34ac472f
|
Implement `super`.
|
2020-09-02 11:00:42 +02:00 |
|
Djordje Mijovic
|
e7a05324af
|
Adding simple array copying tests
|
2020-09-02 09:39:28 +02:00 |
|
Leonardo
|
0d83977d5a
|
Merge pull request #9648 from ethereum/smt_refactor_predicates
[SMTChecker] Refactor CHC predicates
|
2020-09-01 20:38:47 +02:00 |
|
chriseth
|
b52f334fff
|
Prepare release of 0.7.1.
|
2020-09-01 17:47:56 +02:00 |
|
chriseth
|
3599258d86
|
Merge pull request #9723 from ethereum/smt_fix_rational
[SMTChecker] Fix rational number short circuit
|
2020-09-01 17:34:56 +02:00 |
|
Leonardo Alt
|
49d3804de4
|
[SMTChecker] Fix rational number short circuit
|
2020-09-01 17:21:13 +02:00 |
|
Leonardo Alt
|
e23d96464b
|
Adjust test
|
2020-09-01 16:10:12 +02:00 |
|
Leonardo Alt
|
a3b6019131
|
Move post input and post output filtering from CHC to Predicate
|
2020-09-01 16:10:12 +02:00 |
|
Leonardo Alt
|
2e2e96cc93
|
Move state model filtering from CHC to Predicate
|
2020-09-01 16:10:12 +02:00 |
|
Leonardo Alt
|
e3a8c94ace
|
Move formatFunctionCallCounterexample from CHC to Predicate
|
2020-09-01 16:10:11 +02:00 |
|
Leonardo Alt
|
5bbb20d3cb
|
Move stateVariablesIncludingInheritedAndPrivate from CHC to SMTEncoder
|
2020-09-01 16:09:57 +02:00 |
|
Leonardo Alt
|
016b9b83a8
|
Refactor predicates
|
2020-09-01 16:09:56 +02:00 |
|
chriseth
|
e582731aab
|
Merge pull request #9721 from ethereum/allowCxxStandardOverride
Do not generally override CXX standard.
|
2020-09-01 14:35:23 +02:00 |
|
Daniel Kirchner
|
c6dff971cb
|
Do not generally override CXX standard.
|
2020-09-01 14:29:44 +02:00 |
|
chriseth
|
ea38ff0348
|
Merge pull request #9715 from ethereum/macosx-readlink
OSX: Fix readlink & ASTImportTest.sh issues.
|
2020-09-01 12:26:01 +02:00 |
|
Leonardo
|
6b38c64c84
|
Merge pull request #9709 from ethereum/smt_fix_tuple_3
[SMTChecker] Fix ICE on tuples of one element of tuple type
|
2020-09-01 10:47:36 +02:00 |
|
Leonardo
|
20b359e5c5
|
Merge pull request #9716 from ethereum/smt_fix_tuple_2
[SMTChecker] Fix ICE on tuple assignment
|
2020-09-01 10:44:34 +02:00 |
|
Leonardo
|
c9ca1d1814
|
Merge pull request #9706 from ethereum/smt_fix_tuple_lvalue
[SMTChecker] Fix unary operator on lvalue tuple
|
2020-09-01 10:37:24 +02:00 |
|
chriseth
|
f628fd3f03
|
Merge pull request #9655 from a3d4/fix-msvc-adl
Fix MSVC ADL
|
2020-09-01 10:35:11 +02:00 |
|
Leonardo Alt
|
238b8a929e
|
[SMTChecker] Fix ICE on tuples of one element that actually have tuple type
|
2020-09-01 08:31:57 +02:00 |
|
Leonardo Alt
|
5cafbeebec
|
[SMTChecker] Fix ICE on tuple assignment
|
2020-09-01 08:29:01 +02:00 |
|
Leonardo Alt
|
7ca335adde
|
Decrease rlimit
|
2020-09-01 08:25:07 +02:00 |
|
Leonardo Alt
|
50e0ada77d
|
[SMTChecker] Fix unary operator on lvalue tuple
|
2020-09-01 08:25:06 +02:00 |
|
Alexander Arlt
|
5f7b4a2e05
|
OSX: Fix readlink issues and that ASTImportTest.sh silently ignores errors.
|
2020-08-31 21:04:25 -05:00 |
|
a3d4
|
8faa5243b5
|
Fix MSVC ADL
|
2020-09-01 00:42:42 +02:00 |
|
chriseth
|
34543e5eab
|
Merge pull request #9692 from ethereum/smt_fix_pop
[SMTChecker] Fix soundness of array pop
|
2020-08-31 20:07:58 +02:00 |
|
chriseth
|
b3b1df6556
|
Merge pull request #9681 from ethereum/small-astjsontest-refactor
Refactor ASTJSONTest to reduce redundancy
|
2020-08-31 19:50:06 +02:00 |
|
chriseth
|
cb2c9823c7
|
Merge pull request #9329 from ethereum/optimiser-token
Disallow language keywords to be used as identifiers by NameDispenser and VarNameCleaner
|
2020-08-31 19:33:07 +02:00 |
|
chriseth
|
ce90204562
|
Merge pull request #9713 from ethereum/release-checklist-dead-link-check
Release checklist: dead link check
|
2020-08-31 19:03:57 +02:00 |
|
Kamil Śliwak
|
24b3e22ffb
|
Release checklist: add dead link check
|
2020-08-31 18:44:06 +02:00 |
|
chriseth
|
0203eea20e
|
Merge pull request #9649 from a3d4/improve-error-coverage-erorrecovery
Complete test coverage for errors related to parser error recovery
|
2020-08-31 18:33:19 +02:00 |
|
chriseth
|
4934c3b74a
|
Merge pull request #9707 from ethereum/docs-fix-broken-abi-link
Fix broken link to "Contract ABI" in natspec-format.rst
|
2020-08-31 16:29:48 +02:00 |
|
Kamil Śliwak
|
af482558cf
|
natspec-format.rst: Update broken link to "Contract ABI"
|
2020-08-31 14:10:18 +02:00 |
|
Alex Beregszaszi
|
2426616859
|
Disallow language keywords to be used as identifiers by NameDispenser and VarNameCleaner
Also introduce isRestrictedIdentifier helper in OptimizerUtilities
|
2020-08-31 12:52:17 +01:00 |
|
chriseth
|
8c8eca3ec2
|
Merge pull request #9701 from a3d4/fix-8885-update-test-expectations
Fix test expectation update
|
2020-08-31 13:39:11 +02:00 |
|
chriseth
|
286cac47c8
|
Merge pull request #9587 from ethereum/docs-link-cleanup
[docs] Fix broken and outdated links
|
2020-08-31 13:11:36 +02:00 |
|
chriseth
|
7346165b6c
|
Merge pull request #9688 from ethereum/fix-9675
ossfuzz: Generate antlr4 runtime deps
|
2020-08-31 13:07:03 +02:00 |
|
Alex Beregszaszi
|
2ebc4bb9a7
|
Introduce TokenTraits::isYulKeyword helper
|
2020-08-31 11:55:27 +01:00 |
|
a3d4
|
6336aa5aba
|
Fix test expectation update
|
2020-08-31 12:50:18 +02:00 |
|
Kamil Śliwak
|
961e3f3bcc
|
docs: Remove/update obsolete links to Solidity-related resources
|
2020-08-31 12:46:45 +02:00 |
|
Kamil Śliwak
|
26ccb98222
|
docs: Update old external links to use HTTPS where possible
|
2020-08-31 12:46:45 +02:00 |
|
Kamil Śliwak
|
46524cf164
|
docs: Update external links to github repos that were moved
|
2020-08-31 12:46:45 +02:00 |
|
Kamil Śliwak
|
57a22a27a4
|
docs: Don't use link shortening
|
2020-08-31 12:46:45 +02:00 |
|