Commit Graph

9072 Commits

Author SHA1 Message Date
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
chriseth
082e7b6a9e Allow `gas` in view functions. 2017-10-16 13:28:44 +02:00
Alex Beregszaszi
dbc8655b36 Merge pull request #3083 from davidau/patch-1
Update miscellaneous.rst
2017-10-16 10:21:42 +01:00
Alex Beregszaszi
a74c9aefa7 Merge pull request #3079 from walter-weinmann/wwe
grammar.txt: spelling error uixed.
2017-10-15 16:25:04 +01:00
David Au
4047ed23fc Update miscellaneous.rst
Fix small typo
2017-10-15 11:04:00 -04:00
walter-weinmann
afef6faeb6 grammar.txt: spelling error uixed. 2017-10-14 15:48:14 +02:00