Commit Graph

17698 Commits

Author SHA1 Message Date
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
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
Kamil Śliwak
9325c4ee99 docs: Update broken external links to point at new locations 2020-08-31 12:46:45 +02:00
Kamil Śliwak
192954e8fa docs: Fix broken internal links using wrong syntax
- These links were using external link syntax instead of `:ref:`. What's
  worse, Sphinx can't detect when they're broken.
- Added missing anchors in some cases.
2020-08-31 12:46:45 +02:00
chriseth
8402baa45b
Merge pull request #9678 from ethereum/fix-9674
Docker: Install antlr4 deps in ossfuzz docker
2020-08-31 12:36:09 +02:00
Leonardo
2b1f75dcf2
Merge pull request #9331 from ethereum/yul-token
Introduce Token::isYulToken() and use it in AsmParser
2020-08-31 12:33:24 +02:00
Leonardo Alt
8c05db88c0 [SMTChecker] Fix soundness of array pop 2020-08-31 12:11:33 +02:00
Alex Beregszaszi
7ef9591e64 Expose hex literal to the Yul parser
This allows nicer error messages.
2020-08-28 19:34:52 +01:00
Alex Beregszaszi
26a76c18d4 Add Yul syntax test for every Solidity keyword 2020-08-28 19:34:52 +01:00
Alex Beregszaszi
4366ede889 Introduce Leave as a keyword for Yul 2020-08-28 19:34:52 +01:00
Alex Beregszaszi
caa329066e Do not emit Solidity-only tokens in the Scanner for Yul
And simplfiy AsmParser greatly.
2020-08-28 19:34:52 +01:00