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,700 Commits 348 Branches 121 Tags 100 MiB
766309b6e4
Commit Graph

14700 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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