cerc-io/solidity
15
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,788 Commits 348 Branches 121 Tags 100 MiB
f598b1515f
Commit Graph

14788 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Arlt
62950a9234 Support for abstract contracts. 2019-11-01 14:54:47 -05: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
chriseth
19ccdfb0b3 No into body. 2019-11-01 14:01:56 +01:00
chriseth
5d6e983be3 Conditional simplifier. 2019-11-01 14:01:56 +01:00
chriseth
e1438b72ad Fix types of wasm builtins. 2019-11-01 13:54:01 +01:00
chriseth
7f1593baa0 [WASM] datasize and dataoffset only return a single value. 2019-11-01 13:52:49 +01:00
chriseth
106d8ec3b6
Merge pull request #7607 from ethereum/add-leave 
yul proto: Add leave statement
 2019-11-01 13:33:40 +01:00
Christian Parpart
112e63fe15 libyul: AST cleanup, eliminating dead Instruction AST type. 2019-11-01 12:32:25 +01:00
Bhargava Shastry
e4ba1c02e8 yul proto fuzzer: Catch exception early and propagate termination reason to harness 2019-11-01 12:26:35 +01:00
Bhargava Shastry
edc5059208 yul proto: Add leave statement 2019-11-01 11:18:05 +01:00
Alex Beregszaszi
1bd2b202e9
Merge pull request #7598 from ethereum/updatePolyfill 
[EWasm] Update polyfill and set name.
 2019-10-31 20:54:57 +00:00
chriseth
21227d748c Update polyfill and set name. 2019-10-31 18:51:19 +01:00
chriseth
3d1123cf61
Merge pull request #7599 from ethereum/fixLocalGlobalWast 
Fix local and globals wast functions.
 2019-10-31 18:14:42 +01:00
chriseth
42b8c98567 Merge remote-tracking branch 'origin/develop' into develop_060 2019-10-31 18:03:25 +01:00
chriseth
04c62e2dc3 Fix local and globals wast functions. 2019-10-31 17:41:31 +01:00
chriseth
59c4d62b21
Merge pull request #7595 from ethereum/colony-develop-060 
Switches to Colony fork temporarily
 2019-10-31 17:39:30 +01:00
chriseth
bce13d0249
Merge pull request #7596 from ethereum/solcjs_dao 
Remove solc-js DAO tests replacement
 2019-10-31 17:39:01 +01:00
chriseth
49e8093e06
Merge pull request #7563 from ethereum/override-rewrite-5424 
Implement override keyword
 2019-10-31 17:15:55 +01:00
Leonardo Alt
80a790b5c3 Remove solc-js DAO tests replacement 2019-10-31 16:16:13 +01:00
Erik Kundt
38f6a58bac Switches to Colony fork temporarly. 2019-10-31 14:26:33 +01:00
chriseth
d932f2d0c2
Merge pull request #7590 from hellraiserinchief/add-piet 
add piet to tools list
 2019-10-31 10:50:52 +01:00
hellraiserinchief
7e912b1366 add piet to tools list 2019-10-30 23:09:42 +05:30
Mathias Baumann
6c6a9054b2 Implement override checking 2019-10-30 17:31:33 +01:00
Mathias Baumann
5ff02c12e2 Add reference to contract in FunctionDefinition annotation 2019-10-30 17:31:33 +01:00
Mathias Baumann
20e227afb5 Ensure list of overrides consists of contracts 2019-10-30 17:31:33 +01:00
Mathias Baumann
b76106fc4a Parse override keyword for modifier definitions 2019-10-30 17:31:33 +01:00
Mathias Baumann
f4c40080c4 Move if-condition to function for re-use 2019-10-30 17:31:33 +01:00
chriseth
5434ba025e
Merge pull request #7588 from ethereum/ext-tests-version-pragma-060 
Updates fixed version pragma in ext. truffle tests.
 2019-10-30 15:05:42 +01:00
Erik Kundt
ba8356f093 Updates fixed version pragma in ext. truffle tests. 2019-10-30 14:33:19 +01:00
chriseth
432b158890
Merge pull request #7560 from ethereum/yulLeave 
[Yul] leave statement.
 2019-10-30 11:15:53 +01:00
chriseth
d605f89167
Merge pull request #7548 from ethereum/fixWasmLayout 
Wasm: Fix layout for text conversion.
 2019-10-29 17:52:34 +01:00
chriseth
499fe57d33 Tests 2019-10-29 14:32:16 +01:00
chriseth
91a92a01d5 Test updates. 2019-10-29 14:32:16 +01:00
chriseth
c30839888f Use `leave` in code generator. 2019-10-29 14:32:16 +01:00
chriseth
f98925d8b6 Remove `leave` at end of function. 2019-10-29 14:32:16 +01:00
chriseth
ceb8ee9124 [Yul] leave statement. 2019-10-29 14:32:16 +01:00
chriseth
5d906cd58d
Merge pull request #7568 from ethereum/fixtest 
Fix failing tests on ArchLinux and potentially MacOS
 2019-10-29 12:37:51 +01:00
Mathias Baumann
b3a5c9c9c0 Fix failing tests on ArchLinux and potentially MacOS 2019-10-29 12:02:50 +01:00
Leonardo Alt
8a42e3f87a [SMTChecker] Support assignments to m-d arrays and mappings 2019-10-28 17:27:39 +01:00
chriseth
edf1e83fda Merge remote-tracking branch 'origin/develop' into develop_060 2019-10-28 15:21:49 +01:00
chriseth
185bd83916
Merge pull request #7575 from ethereum/fixVersion 
Fix pragmas
 2019-10-28 14:05:39 +01:00
chriseth
607bf24afe
Merge pull request #7386 from ethereum/060-strict-inline-assembly 
Defaulting to strict inline assembly (instead of loose)
 2019-10-28 12:48:58 +01:00