cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
18,193 Commits 348 Branches 121 Tags 100 MiB
3654dccb96
Commit Graph

18193 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Alex Beregszaszi
bd7283ad22 Add scanner test for specially handled keywords in Yul 2020-08-28 19:34:52 +01:00
Alex Beregszaszi
64c73baee9 Use only advance() and not with a mix of m_scanner->next() 2020-08-28 19:34:52 +01:00
Alex Beregszaszi
98cc1d9994
Merge pull request #9696 from ethereum/immutable-tests 
Update tests for immutable variables
 2020-08-28 19:34:45 +01:00
Alex Beregszaszi
a80e2c1462 Update tests for immutable variables 2020-08-28 19:06:34 +01:00
Alex Beregszaszi
56624af209
Merge pull request #9695 from ethereum/scanner-test 
Add more scanner tests for hex and unicode literals
 2020-08-28 18:19:22 +01:00