Commit Graph
7848 Commits
Author SHA1 Message Date
chriseth af7ff3a3ef Update tests themselves 2017-06-28 11:41:03 +02:00
chriseth 9f19bc8cbc Warn if using var x = 0 2017-06-28 11:41:03 +02:00
chriseth 73fbaa5a3e Test for var i = 0; 2017-06-28 11:41:03 +02:00
chriseth 708d17d13f Merge pull request #2464 from federicobond/deprecate-function-type-names
Warn deprecated usage of parameter names in function types
2017-06-27 16:32:48 +02:00
chriseth 36044c8c95 Merge pull request #2413 from ethereum/utf8-strict-parser
Implement strict UTF-8 validation
2017-06-27 14:38:03 +02:00
chriseth e715dd0b7e Merge branch 'develop' into utf8-strict-parser 2017-06-27 14:37:45 +02:00
Alex Beregszaszi bc31d4969c Merge pull request #2437 from ethereum/warnDoubleCopyStorage
Warn about copies in storage that might overwrite unexpectedly.
2017-06-27 10:24:03 +01:00
Alex Beregszaszi 9d201a086c Merge pull request #2459 from ethereum/noComparisonForSomeTypes
No comparison for some types
2017-06-26 22:55:22 +01:00
Alex Beregszaszi b0ab9aaee0 Merge pull request #2453 from ethereum/memcopyAsForLoop
Use for loop for assembly memcopy.
2017-06-26 22:39:30 +01:00
Alex Beregszaszi 6b05bbbbb4 Update tests for function type comparison 2017-06-26 22:01:35 +01:00
chriseth ab15040caa Comment about zero length. 2017-06-26 21:48:17 +01:00
Alex Beregszaszi ec15df2aa7 Add a text corpus to the UTF-8 tests 2017-06-26 21:47:01 +01:00
Alex Beregszaszi 551e19e884 Add comprehensive test for UTF-8 validation 2017-06-26 21:47:01 +01:00
Federico Bond 70fd5c1770 Warn deprecated usage of parameter names in function types 2017-06-26 15:39:01 -03:00
chriseth 336c9e8f32 Some more tests. 2017-06-26 16:42:43 +02:00
chriseth 1a3066c3a1 Test about semantics of "swap" in storage. 2017-06-26 16:31:36 +02:00
chriseth d0b6de0b34 Warn about copies in storage that might overwrite unexpectedly. 2017-06-26 16:31:36 +02:00
chriseth 4407a13c17 Only allow equality checks for internal function types. 2017-06-26 16:30:37 +02:00
chriseth f47e6e90fb Disallow comparisons between some types. 2017-06-26 16:30:36 +02:00
chriseth d2445dfdce Tests for comparison of non-comparable types. 2017-06-26 16:30:22 +02:00
Alex Beregszaszi aea5f90ad3 Rewrite validateUTF8 using if/else 2017-06-26 12:59:17 +01:00
Alex Beregszaszi c45dbab00c Rewrite validateUTF8 to use char 2017-06-26 12:59:14 +01:00
Alex Beregszaszi 6488f7e079 Validate first byte properly for UTF8 2017-06-26 12:58:22 +01:00
Alex Beregszaszi 569e0c53f2 Implement strict UTF-8 validation 2017-06-26 12:58:21 +01:00
Alex Beregszaszi 751ba701bc Merge pull request #2450 from ethereum/addressstring
Fix for strings treated as addresses.
2017-06-26 12:18:33 +01:00
Alex Beregszaszi a0b0df2d98 Merge pull request #2460 from ethereum/disallowMultiModifier
Disallow invoking the same modifier multiple times.
2017-06-26 11:51:12 +01:00
chriseth c328ab411b Merge pull request #2442 from ethereum/remove-why3
Remove Why3 generator
2017-06-26 09:20:23 +02:00
chriseth d94a12a34c Reformat. 2017-06-26 09:19:11 +02:00
chriseth 0aaa6d876d Use for loop for assembly memcopy. 2017-06-26 09:18:14 +02:00
chriseth f879489291 Merge pull request #2449 from federicobond/warn-bytesxx-decimal
Warn if decimal literals are used in a bytesXX context
2017-06-26 09:13:41 +02:00
Alex Beregszaszi 29b8cdb594 Merge pull request #2298 from ethereum/fixThrowRevert
Change invalid opcode to revert for input validation.
2017-06-26 00:06:20 +01:00
Alex Beregszaszi 555dc4f46f Remove Why3 generator 2017-06-25 12:26:16 +01:00
Federico Bond 7a3ea61ffd Warn if decimal literals are used in a bytesXX context
Fixes #2349
2017-06-23 23:21:19 -03:00
chriseth 5a75581f66 Disallow invoking the same modifier multiple times. 2017-06-23 20:12:22 +02:00
Alex Beregszaszi 784b72bb72 Clarify exception documentation 2017-06-23 19:29:11 +02:00
chriseth 64067975e4 Review suggestions. 2017-06-23 19:29:11 +02:00
chriseth 7f05ef8aca Clarify exceptions. 2017-06-23 19:29:11 +02:00
chriseth 25fc8ad9b9 Fix tests. 2017-06-23 19:29:11 +02:00
chriseth a25f73e2cc Fix location tests. 2017-06-23 19:29:11 +02:00
chriseth 831ed08387 Change invalid opcode to revert for input validation. 2017-06-23 19:29:11 +02:00
chriseth b83f77e0e5 Merge pull request #2461 from ethereum/fixWindows234
Update deps: Download boost again for Windows.
2017-06-23 19:28:13 +02:00
chriseth 9ad23932a7 Update deps: Download boost again for Windows. 2017-06-23 19:16:16 +02:00
chriseth 633b6bd61a Merge pull request #2213 from ethereum/jsoncompiler
Rewrite jsonCompiler using StandardCompiler
2017-06-23 17:41:14 +02:00
chriseth 04ca391ac8 Merge pull request #2455 from LefterisJP/bump_cpp_dependencies
Bump cpp-dependencies to include jsoncpp fix
2017-06-23 17:31:20 +02:00
Alex Beregszaszi 367389472b Merge pull request #2439 from ethereum/lll-vars
LLL: fix variable (set/get/ref) handling
2017-06-23 15:50:29 +01:00
chriseth 1f7697eee3 Merge pull request #2448 from federicobond/constant-addresses
Fix address literals not being treated as compile-time constants
2017-06-23 11:56:24 +02:00
Lefteris Karapetsas e938699968 Bump cpp-dependencies to include jsoncpp fix 2017-06-23 11:39:04 +02:00
chriseth b00d7a6911 Merge pull request #2401 from federicobond/update-grammar
grammar.txt: Fix grammar for f.gas(p).value(q)() style calls
2017-06-23 11:33:03 +02:00
chriseth 50e8a887a4 Merge pull request #2443 from ethereum/julia-asm-size
Support appendAssemblySize() in AbstractAssembly
2017-06-23 11:30:02 +02:00
Federico Bond 0fb1621a98 Fix address literals not being treated as compile-time constants
The early return implemented for address literals in TypeChecker was
preventing the isPure annotation from getting applied. Closes #2441
2017-06-23 11:19:57 +02:00