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
14,736 Commits 348 Branches 121 Tags 100 MiB
17f6a5a060
Commit Graph

14736 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Leonardo Alt
e3652627fd [SMTChecker] Fix ICE in CHC when function used as argument 2019-11-13 15:11:30 +01:00
Chris Chinchilla
c0dc82ced7 Update stale.yml 
Update config

Update .github/workflows/stale.yml

Co-Authored-By: Daniel Kirchner <daniel@ekpyron.org>
 2019-11-13 14:29:22 +01:00
chriseth
c0cf96cbc1
Merge pull request #7699 from ethereum/test-require-str 
Test `require` with string literals
 2019-11-13 12:20:23 +01:00
Mathias Baumann
c74b1daef2 Test require with string literals 
fixes #6651
 2019-11-13 12:01:25 +01:00
chriseth
6f500f0632
Merge pull request #7701 from ethereum/libraryAddresses 
Allow obtaining the address of a library by conversion to ``address``.
 2019-11-13 12:00:57 +01:00
Christian Parpart
6bef3071e0
Merge pull request #7677 from ethereum/ciSoltestAll 
Remove overwritten tag in CI config.
 2019-11-13 11:19:11 +01:00
Daniel Kirchner
ce7268272d Allow obtaining the address of a library by conversion to `address`. 2019-11-12 17:09:13 +01:00
chriseth
a7e133b95c
Merge pull request #7696 from ethereum/semanticsTestsLibraryDeployment 
Add support for external libraries to extracted semantics tests.
 2019-11-12 15:50:36 +01:00
Daniel Kirchner
c7e3318dba Add support for external libraries to extracted semantics tests. 2019-11-12 15:19:04 +01:00
Leonardo
50a015acf0
Merge pull request #7694 from ethereum/smt_remove_flaky_tests 
[SMTChecker] Remove flaky tests until we fix the SMTChecker tests
 2019-11-12 14:41:59 +01:00
Leonardo Alt
dc2dff839c [SMTChecker] Remove flaky tests until we fix the SMTChecker tests 2019-11-12 12:58:42 +01:00
chriseth
0059f9dd01
Merge pull request #7692 from ethereum/fix-7690 
Remove obsolete installation scripts that were used by the fuzzer build CI
 2019-11-12 12:57:33 +01:00
Bhargava Shastry
066626a3e8 Remove obsolete installation scripts that were used by the fuzzer build CI 2019-11-12 11:26:59 +01:00
Daniel Kirchner
52a9de83f3
Merge pull request #7682 from ethereum/smt_z3486_tests 
[SMTChecker] Update test expectations for z3 4.8.6
 2019-11-12 10:30:10 +01:00
Leonardo Alt
999d8c6bb8 Extend CircleCI MaxOS cache keys 2019-11-11 18:48:20 +01:00
Leonardo Alt
b323134ef0 [SMTChecker] Update test expectations for z3 4.8.6 2019-11-11 18:43:59 +01:00
chriseth
5423dd6a48
Merge pull request #7684 from ethereum/add_while_style_rule 
Add ``switch (..)` to style checker
 2019-11-11 17:56:46 +01:00
Mathias Baumann
e35a23bbcc Add `switch (..) to style checker 2019-11-11 17:44:21 +01:00
chriseth
24f41bc979
Merge pull request #7683 from ethereum/add_while_style_rule 
Add ``while (..)` to style checker
 2019-11-11 17:41:25 +01:00
Mathias Baumann
e643c4ca28 Add `while (..) to style checker 2019-11-11 17:28:41 +01:00
chriseth
375be4a04d
Merge pull request #7678 from ethereum/updatePPAScripts 
Update PPA build scripts.
 2019-11-11 17:07:46 +01:00
Daniel Kirchner
3b75466b76 Update to Z3 4.8.6 in ubuntu clang Dockerfile. 2019-11-11 15:54:04 +01:00
Daniel Kirchner
2f9779d06b
Merge pull request #7464 from aarlt/t_osx_soltest 
[circleci] Add t_osx_soltest.
 2019-11-11 15:29:33 +01:00
Daniel Kirchner
b3174db322 Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script. 2019-11-11 14:55:00 +01:00
Daniel Kirchner
a1647d9955 Remove overwritten tag in CI config. 2019-11-11 14:22:13 +01:00
chriseth
7c7cca5f2d
Merge pull request #7675 from ethereum/memberInitializeInCodingStyle 
Member initialize PODs in CODING_STYLE.md.
 2019-11-11 13:42:58 +01:00
Daniel Kirchner
7bb9a21103 Member initialize PODs in CODING_STYLE.md. 2019-11-11 13:33:38 +01:00
chriseth
a5f0422dcc
Merge pull request #7662 from ethereum/cmakeNoGlobInTests 
Do not rely on cmake's GLOB for test/
 2019-11-10 15:28:11 +01:00
Alexander Arlt
160983141f [circleci] Add t_osx_soltest. 2019-11-08 14:44:54 -05:00
Leonardo
78be93856b
Merge pull request #7664 from ethereum/smt_fixed_bytes_index_access 
Fix ICE in FixedBytes IndexAccess
 2019-11-08 19:27:05 +01:00
Leonardo Alt
5dacaf57bc Fix ICE in FixedBytes IndexAccess 2019-11-08 17:29:40 +01:00
Daniel Kirchner
25a933a906 Do not rely on cmake's GLOB for test/ 2019-11-08 16:12:42 +01:00
chriseth
ed7be7b9c7
Merge pull request #7480 from ethereum/smt_chcsmtlib2interface 
[SMTChecker] Add CHCSmtLib2Interface
 2019-11-07 15:10:23 +01:00
chriseth
a081b720b9
Merge pull request #7587 from ethereum/abiv2-returndata-fuzz 
Abiv2 returndata fuzz
 2019-11-07 15:03:14 +01:00
chriseth
8472e8591d
Merge pull request #7652 from ethereum/generalizeRuleList 
Generalize rule list
 2019-11-07 15:02:40 +01:00
chriseth
4b6647f6e1 Generalize word. 2019-11-07 14:33:34 +01:00
chriseth
fa02667075 Generalize instructions. 2019-11-07 14:33:34 +01:00
chriseth
033b61f920
Merge pull request #7657 from ethereum/reallowBlankIssues 
Github: remove blank issue template config
 2019-11-07 14:08:02 +01:00
Daniel Kirchner
83496829be Github: remove blank issue template config 2019-11-07 13:44:27 +01:00
chriseth
e581194a62
Merge pull request #7654 from ethereum/update-evmc 
Update EVMC to 6.3.1
 2019-11-07 13:06:47 +01:00
Alex Beregszaszi
18542ebf31 Use evmc_load_and_configure to support passing EVMC options 2019-11-07 10:42:41 +00:00
Alex Beregszaszi
882cd3e285 Update EVMC to 6.3.1 2019-11-07 10:41:14 +00:00
Leonardo Alt
6b10efff8c Add CHCSmtLib2Interface 2019-11-07 11:12:11 +01:00
chriseth
37c6ab4c38
Merge pull request #7653 from ethereum/test-evmone 
Ensure that EVMC capability is checked after loading evmone
 2019-11-07 10:01:59 +01:00
Alex Beregszaszi
f77d7c2dc7 Ensure that EVMC capability is checked after loading evmone 2019-11-07 00:27:46 +00:00
Bhargava Shastry
9772cc44a0 abiv2 proto fuzzer: Fuzz return data coding 2019-11-06 23:42:10 +01:00
chriseth
efeee15d32
Merge pull request #7100 from ethereum/docs-review-mappings 
[DOCS] Add clarifications to mapping type
 2019-11-06 21:36:00 +01:00
Chris Chinchilla
0c51dcc967 Explain mappings example, and add link to further details 
Updates from review

Changes from review

Nested example

Update docs/types/mapping-types.rst

Co-Authored-By: chriseth <chris@ethereum.org>
Changes from review

Bring example inline with ERC20

Clarify what maps where

Use OZ contract example

Update docs/types/mapping-types.rst

Co-Authored-By: chriseth <chris@ethereum.org>

update code example
 2019-11-06 21:32:24 +01:00
chriseth
aa8de4404e
Merge pull request #7610 from ethereum/fix-7472 
yul proto fuzzer: Increase step limit for optimized code
 2019-11-06 21:11:51 +01:00
chriseth
1c8077c659
Merge pull request #7491 from ethereum/smt_override 
[SMTChecker] Support inheritance and function overriding
 2019-11-06 21:08:46 +01:00