cerc-io/solidity
11
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,646 Commits 348 Branches 121 Tags
83496829bea25ea6555d7d242890b4c1f2ec73f5
Commit Graph
14646 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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 Chinchillaandchriseth 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
chriseth 63d4291948 Merge pull request #7636 from ethereum/ChrisChinchilla-patch-2 
[DOCS] Add project board links to read me
 2019-11-06 18:37:40 +01:00
Chris Chinchilla f11597e2f4 Update README.md 2019-11-06 18:37:07 +01:00
chriseth 56a3abcd03 Merge pull request #7465 from ethereum/docs-iterable-mapping 
[DOCS] Add updated iterable mapping example
 2019-11-06 18:36:14 +01:00
Leonardo Alt 10e70b8603 [SMTChecker] Support inheritance and resolve overrides 2019-11-06 11:00:06 +01:00
Alex Beregszaszi eb0d72e825 Merge pull request #7606 from ethereum/wasmBinaryAssemblyStack 
Wasm binary assembly stack
 2019-11-05 23:31:32 +00:00
chriseth 587c87b15b Commandline interface additions for webassembly binary. 2019-11-05 20:05:57 +01:00
chriseth e79a32e9d5 Wasm to binary assembly stack. 2019-11-05 20:02:42 +01:00
chriseth 4cd0c84f75 Merge pull request #7633 from ethereum/fix/tests-run 
Remove macOS flag for SMT tests
 2019-11-05 20:00:31 +01:00
chriseth 3b3d19010d Merge pull request #7601 from ethereum/binaryTransform 
EWasm Binary transform
 2019-11-05 19:59:22 +01:00
chriseth 081845d775 EWasm binary transform. 2019-11-05 19:58:55 +01:00
chriseth 63a8691cc7 Merge pull request #7630 from ethereum/uppercasefix 
Fix case-sensitivity depending on platform
 2019-11-05 17:32:12 +01:00
chriseth 90aae16eee Merge pull request #7634 from ethereum/ChrisChinchilla-patch-1 
Don't allow blank issues
 2019-11-05 17:31:39 +01:00
Mathias Baumann 37d6fd9e21 Fix case-sensitivity depending on platform 2019-11-05 17:25:08 +01:00
Chris Chinchilla ba6469b8e9 Don't allow blank issues 
Update Issue config to not allow blank issue descriptions
 2019-11-05 17:15:25 +01:00
Chris Chinchilla 1a88bc97df Add updated iterable mapping example 
Remove unused var
 2019-11-05 17:10:27 +01:00
Chris Chinchilla c9a56d5339 Remove macOS flag 2019-11-05 17:02:37 +01:00
Leonardo 9bec533453 Merge pull request #7440 from ethereum/smt_chc_loop_refactor 
[SMTChecker] Refactor CHC a bit more
 2019-11-05 11:15:59 +01:00
Leonardo Alt c5e081dc8c [SMTChecker] Refactor CHC loops and add if blocks 2019-11-05 09:28:59 +01:00
chriseth 19bd4af7f3 Merge pull request #7621 from ethereum/fixDevelop87 
Fix test that resulted from merge conflict.
 2019-11-04 18:51:12 +01:00
Bhargava Shastry 6a55949c04 yul proto fuzzer: Increase step limit upper bound for optimized code 2019-11-04 18:38:56 +01:00
chriseth 60b97bfb43 Fix test that resulted from merge conflict. 2019-11-04 18:06:43 +01:00
Leonardo 1eac3d1d83 Merge pull request #7582 from ethereum/smt_multid_array_assignment 
[SMTChecker] Support assignments to m-d arrays and mappings
 2019-11-04 17:37:33 +01:00
chriseth e7c4378ce7 Merge pull request #7516 from ethereum/abiv2-proto-struct 
Abiv2 proto struct
 2019-11-04 17:04:16 +01:00
chriseth 62aa20137c Merge pull request #7600 from ethereum/TypeConversionOnTheFly 
[WASM] Inject type conversions on the fly if needed.
 2019-11-04 16:20:57 +01:00
Bhargava Shastry 04becb9458 Minor refactoring 2019-11-04 15:47:04 +01:00
Bhargava Shastry 12ed08eddb Place upper bound number on number of array dimensions 2019-11-04 15:47:04 +01:00
Bhargava Shastry 3cfeca33c1 Abiv2 proto fuzzer: Refactor and add support for structs 2019-11-04 15:47:04 +01:00
chriseth 08cf616157 Merge pull request #7609 from ethereum/fix-7608 
yul proto fuzzer: Catch exception early and propagate termination reason
 2019-11-04 13:29:50 +01:00
chriseth a964a2026b Merge pull request #7602 from ethereum/fixWasmTypes 
Fix types of wasm builtins.
 2019-11-04 13:04:25 +01:00
chriseth 26c6a1fcf9 Merge pull request #7614 from ethereum/fix-7322 
circleci: Expose soltest flags explicitly
 2019-11-04 11:09:14 +01:00
Bhargava Shastry e8749decf5 circleci: Expose soltest flags explicitly 2019-11-04 09:48:35 +01:00
chriseth 8337de5189 [WASM] Inject type conversions on the fly if needed. 2019-11-01 15:44:39 +01:00
chriseth 8780f2d595 Merge pull request #7604 from ethereum/datasizeOffsetSingle 
[WASM] datasize and dataoffset only return a single value.
 2019-11-01 15:39:50 +01:00
chriseth 73954f16f4 Merge pull request #7519 from ethereum/conditionalUnsimplifier 
Conditional unsimplifier
 2019-11-01 14:44:24 +01:00
chriseth cca7f01199 Tests for conditional unsimplifier 2019-11-01 14:07:25 +01:00
chriseth ce87f11885 Test updates 2019-11-01 14:01:56 +01:00
chriseth 02d5b7c18a Run literal rematerializer before for loop condition out of body. 2019-11-01 14:01:56 +01:00
chriseth 1cc5a03e42 Fix bug in unsimplifier. 2019-11-01 14:01:56 +01:00
chriseth 61a2d44f38 Conditional unsimplifier 2019-11-01 14:01:56 +01:00
chriseth 21b9606ed3 Test updates. 2019-11-01 14:01:56 +01:00