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,993 Commits 348 Branches 121 Tags 100 MiB
b7fb1bc0a6
Commit Graph

8993 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Boris Kostenko
ca236d4225 No bytecodecompare if tests failed (issue #2300) 2017-10-20 13:44:28 +03:00
Boris Kostenko
3041def259 No bytecodecompare if tests failed (issue #2300) 2017-10-20 13:32:01 +03:00
Boris Kostenko
f0af4019ef No bytecodecompare if tests failed (issue #2300) 2017-10-20 00:41:56 +03:00
rivenhk
950f5ae7d7 updated formatting when source snippets is too long 2017-10-19 20:20:07 +08: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
rivenhk
d53c44a066 updating formatting when source snippets is too long 2017-10-18 22:03:33 +08: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
rivenhk
b93a5980ed added formatting when source snippets is too long 2017-10-18 01:59:15 +08: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