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
8,883 Commits 348 Branches 121 Tags 100 MiB
90b0a6efb9
Commit Graph

8883 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
90b0a6efb9 Merge pull request #3119 from ethereum/rpc-account 
Fix RPC account creation with gaps
 2017-10-20 17:04:52 +02:00
chriseth
7d0e46bf59 Merge pull request #3030 from ethereum/smt-variable-types 
SMT enforce variable types
 2017-10-20 16:55:09 +02:00
Alex Beregszaszi
faa0a662c7 Always create the correct account even if gaps are needed 2017-10-20 14:23:37 +01:00
Alex Beregszaszi
81e9c679c4 Add helper RPCSession::createAccount 2017-10-20 14:23:37 +01:00
Alex Beregszaszi
bdd2858bfd Merge pull request #3107 from ethereum/constexpr-detailed 
More detailed errors for invalid array lengths (such as division by zero)
 2017-10-20 13:23:16 +01:00
Alex Beregszaszi
3a8324266f More detailed errors for invalid array lengths (such as division by zero). 2017-10-20 11:59:18 +01:00
chriseth
4e7d1440ab Merge pull request #3101 from ethereum/compilerstack-header 
Remove the reliance on empty contract name equals "last contract" in CompilerStack
 2017-10-19 13:43:17 +02:00
chriseth
b96602122c Merge pull request #3098 from ethereum/cli-cleanup 
Cleanup some file/io reader in devcore
 2017-10-19 13:39:28 +02:00
chriseth
892c3ef8ef Merge pull request #3111 from ethereum/test-close-failure 
Close IPC socket on connect failure
 2017-10-19 13:33:40 +02:00
Alex Beregszaszi
362615c9c4 Close IPC socket on connect failure 2017-10-19 11:12:46 +01:00
chriseth
c58d9d2c42 Merge pull request #3106 from ethereum/test-cleanup 
Move contract related code to test/contracts
 2017-10-19 11:15:49 +02:00
chriseth
6d7a366a32 Merge pull request #3104 from limexp/docs/3048-external-deps 
Accent on ext.deps in install docs (issue #3048)
 2017-10-19 11:11:15 +02:00
chriseth
0ae4aad8f3 Merge pull request #3108 from ethereum/remove-callcode 
Turn usage of callcode into an error as experimental 0.5.0 feature
 2017-10-19 11:10:10 +02:00
chriseth
da298eb5ad Merge pull request #3105 from ethereum/z3-unused-var 
Remove unused variable in Z3
 2017-10-19 11:09:09 +02:00
Boris Kostenko
36bf0a8a86 Accent on ext.deps in install docs (issue #3048) 2017-10-19 08:25:27 +03:00
Alex Beregszaszi
10677125ae Turn usage of callcode into an error as experimental 0.5.0 feature 2017-10-19 02:20:30 +01:00
Alex Beregszaszi
4ca160d9fb Move contract related code to test/contracts 2017-10-19 00:12:50 +01:00
Alex Beregszaszi
8d3cfa8cff Simplify contract lookup in CompileStack 2017-10-18 23:54:32 +01:00
Alex Beregszaszi
2ce35b77be Implement CompilerStack.lastContractName() 2017-10-18 23:54:32 +01:00
Alex Beregszaszi
039cc25b1f Always require a contract/sourceName in CompilerStack 2017-10-18 23:32:33 +01:00
Alex Beregszaszi
7a4c165518 Remove unused variable in Z3 2017-10-18 23:18:11 +01:00
Boris Kostenko
55a7828848 Accent on ext.deps in install docs (issue #3048) 2017-10-19 01:10:12 +03:00
Alex Beregszaszi
7454a766b3 Merge pull request #3002 from jwasinger/lll-opcode-test 
Test to make sure that LLLC is compiling all valid opcodes correctly
 2017-10-18 17:05:43 +01:00
chriseth
f7ca242102 Merge pull request #3100 from ethereum/incrementVersion 
Increment version and merge release into develop
 2017-10-18 17:00:24 +02:00
chriseth
a8b90d89bf Merge release back into develop. 2017-10-18 15:44:38 +02:00
chriseth
38ad5bfac5 Increment version to 0.4.19. 2017-10-18 15:43:37 +02:00
chriseth
9cf6e910bd Merge pull request #3099 from ethereum/develop 
Merge develop into release for 0.4.18.
 2017-10-18 14:53:45 +02:00
chriseth
c85c41880a Merge pull request #3095 from ethereum/update_changelog_for_release 
Update changelog for 0.4.18 release.
 2017-10-18 14:22:45 +02:00
Alex Beregszaszi
6f2865228c Add readStandardInput helper 2017-10-18 12:56:11 +01:00
Alex Beregszaszi
7186e142b8 Rename contentsString to readFileAsString 2017-10-18 12:55:12 +01:00
Alex Beregszaszi
f67d34e4ec Indentation fixes in lllc 2017-10-18 12:55:06 +01:00
Jared Wasinger
9acc2ea711 Add test for each assembly opcode/instruction in LLL 2017-10-18 11:56:52 +01:00
chriseth
c3a7422399 Update changelog for 0.4.18 release. 2017-10-18 12:48:15 +02:00
Yoichi Hirai
fda8499c15 Merge pull request #3070 from ethereum/lll-assembly 
lll: disallow useless PUSHn in assembly
 2017-10-18 12:02:14 +02:00
chriseth
e854da1a8c Merge pull request #2925 from ethereum/tuple-value-check 
Validate each tuple literal
 2017-10-18 11:59:40 +02:00
chriseth
e247524bd5 Merge pull request #3090 from ethereum/noprepublish 
Disable prepublish script in test.
 2017-10-18 11:30:56 +02:00
Yoichi Hirai
4a9a986d8c Merge pull request #3065 from ethereum/reject_truncated_selectors 
Do not accept truncated function selectors.
 2017-10-18 11:22:21 +02:00
chriseth
7849b920cf Bug list entry. 2017-10-18 00:19:36 +02:00
chriseth
58139e8613 Adjust tests. 2017-10-18 00:19:36 +02:00
chriseth
a3db1fc197 Do not accept truncated function selectors. 2017-10-17 23:17:36 +02:00
Alex Beregszaszi
a17996cdad Merge pull request #3091 from ethereum/smt-cleanup 
Various cleanups to Z3
 2017-10-17 19:14:43 +01:00
chriseth
153ae98878 Catch exception in Z3. 
Note: This exception might not be the result of resource limitation,
it might also hint towards usage error.
 2017-10-17 18:30:10 +01:00
Alex Beregszaszi
a71c6faf0f Remove duplicate >= in Z3 2017-10-17 18:30:07 +01:00
chriseth
114983e079 Missing forward declaration. 2017-10-17 18:30:04 +01:00
chriseth
1f97c1ea8f Rename variables in SMT checker. 2017-10-17 18:29:53 +01:00
chriseth
8a8a71de84 Only check tuples for valid rational numbers if they have more than one element. 2017-10-17 19:14:49 +02:00
chriseth
9d5c96ebdd Use config explicitly 2017-10-17 19:10:31 +02:00
Alex Beregszaszi
c99d2aae04 Validate each tuple literal 2017-10-17 18:59:01 +02:00
chriseth
c67b559ead Merge pull request #2994 from idrabenia/develop 
Add solhint to list of tools.
 2017-10-17 18:56:30 +02:00
chriseth
3bcaa24c5e Project moved. 2017-10-17 18:55:55 +02:00