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 |
|
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 |
|
chriseth
|
846b43479d
|
Merge pull request #3088 from ethereum/newffbinary
Use new eth binary.
|
2017-10-17 11:42:36 +02:00 |
|
chriseth
|
8fbfd62d15
|
Merge pull request #3067 from ethereum/correct_byte_array_allocation
Allocate one byte per memory byte array element instead of 32.
|
2017-10-17 10:00:34 +02:00 |
|
chriseth
|
0d6e6cc8f2
|
Quiet wget.
|
2017-10-17 09:58:03 +02:00 |
|
chriseth
|
9cab34292c
|
Use new eth binary.
|
2017-10-17 09:49:49 +02:00 |
|
chriseth
|
6001bd1406
|
Allocate one byte per memory byte array element instead of 32.
|
2017-10-16 22:29:31 +02:00 |
|
chriseth
|
09ff9282df
|
Disable prepublish script in test.
|
2017-10-16 22:18:12 +02:00 |
|
chriseth
|
7989fc4c35
|
Merge pull request #3077 from ethereum/optimze_pops
Assume peephole optimizer was successful if number of pops increased.
|
2017-10-16 22:11:45 +02:00 |
|
chriseth
|
f5e91e4a94
|
Throw on too many peephole optimizer iterations.
|
2017-10-16 18:45:21 +02:00 |
|
chriseth
|
18a72dbe46
|
Merge pull request #3086 from ethereum/allow_gas_in_view
Allow ``gas`` in view functions.
|
2017-10-16 18:16:40 +02:00 |
|
chriseth
|
c2fab07ccd
|
Merge pull request #3087 from Casinelli/develop
Update abi-spec.rst
|
2017-10-16 14:29:40 +02:00 |
|
Giovanni Casinelli
|
550653300b
|
Update abi-spec.rst
|
2017-10-16 19:48:04 +08:00 |
|