Commit Graph

9183 Commits

Author SHA1 Message Date
chriseth
95cf9266ab Movability. 2018-01-12 17:48:51 +01:00
chriseth
937b95cbe5 Use explicit visit function for the walker. 2018-01-12 17:21:52 +01:00
chriseth
0c20b6da6b
Merge pull request #3381 from fulldecent/patch-3
No nonsense explanation of compiler options
2018-01-11 16:44:36 +01:00
William Entriken
deeee06bc2
Fix links and JS reference 2018-01-10 20:43:38 -05:00
chriseth
a75d5333d8
Merge pull request #3317 from ethereum/looseStrictAsm
Split inline assembly into loose and strict flavour.
2018-01-10 15:25:53 +01:00
Alex Beregszaszi
8b20a7cd53 Disallow non-functional instructions in parseExpression early 2018-01-10 14:16:46 +01:00
Alex Beregszaszi
42f8875770 Show restricted instruction warning before argument mismatch issue 2018-01-08 00:39:22 +00:00
chriseth
767052f2f7 Tests for strict mode. 2018-01-06 03:28:21 +00:00
Alex Beregszaszi
bc1fffb42f Support --strict-assembly in CLI 2018-01-06 03:28:12 +00:00
Alex Beregszaszi
c269a12c5e Support strict assembly mode in AssemblyStack 2018-01-06 01:23:38 +00:00
chriseth
124190336b Split inline assembly into loose and strict flavours. 2018-01-06 01:23:38 +00:00
Alex Beregszaszi
2548228b36
Merge pull request #3383 from ethereum/inlineasm-expressions
Simplify parseElementaryOperation in regards to special instructions
2018-01-06 01:20:51 +00:00
Alex Beregszaszi
fcbdaa32b9 Simplify parseElementaryOperation in regards to special instructions 2018-01-06 00:39:06 +00:00
chriseth
bca01f8f68
Merge pull request #3382 from ethereum/julia-identifier-parser
Support some restricted tokens (return, byte, address) as identifier in Julia
2018-01-06 00:02:21 +01:00
chriseth
cf4fdab134
Merge pull request #3380 from ethereum/jsonio-colon
Properly support library file names containing a colon (such as URLs).
2018-01-05 23:54:59 +01:00
Alex Beregszaszi
a91393f4d7 Support some restricted tokens (return, byte, address) as identifiers in Julia 2018-01-05 15:53:49 +00:00
William Entriken
c7632fc732
No nonsense explanation of compiler options 2018-01-05 10:13:33 -05:00
Alex Beregszaszi
9e7e312fdf Properly support library file names containing a colon (such as URLs). 2018-01-05 13:24:07 +00:00
chriseth
35095e9fcc
Merge pull request #3375 from leonardoalt/develop
[SMTChecker] Added feature line to Changelog
2018-01-04 21:30:37 +01:00
Leonardo Alt
e27418cb33 [SMTChecker] Added feature line to Changelog 2018-01-04 21:23:56 +01:00
chriseth
346aa61f6c
Merge pull request #3346 from leonardoalt/smt_checker
[SMTChecker] Variables are merged after branches (ite variables)
2018-01-04 19:54:13 +01:00
Leonardo Alt
d0abc5359b [SMTChecker] Variables are merged after branches (ite variables) 2018-01-04 18:20:12 +01:00
chriseth
6a9a4e2bb8
Explain the difference to inline assembly. 2018-01-04 17:19:45 +01:00
chriseth
b195486501
Merge pull request #3358 from federicobond/improve-grammar
grammar.txt: Add optional storage location to parameters
2018-01-04 16:46:50 +01:00
Alex Beregszaszi
ef356905ff
Merge pull request #3373 from ethereum/sourceLocation
Reset source location after inline assembly and mechanism to update expectation in test.
2018-01-04 14:30:59 +00:00
chriseth
7f4cf00f1b Provide easy way to update source location expectation. 2018-01-04 14:29:03 +01:00
chriseth
00692a4ff6 Reset source location after using inline assembly. 2018-01-04 14:29:03 +01:00
Alex Beregszaszi
2cdd789b5d
Merge pull request #3297 from ethereum/separate_expression_and_statement
Separate expression and statement
2018-01-04 12:04:19 +00:00
Alex Beregszaszi
14db10b214
Merge pull request #3363 from ethereum/artful
Add artful to releases.
2018-01-04 12:02:54 +00:00
Alex Beregszaszi
8901b38959
Merge pull request #3369 from ethereum/jsonio-colon
Properly handle colons in file names within jsonio
2018-01-04 11:58:29 +00:00
Federico Bond
a0771691ff Improve error message for wrong struct initialization (#3359) 2018-01-04 11:24:39 +01:00
Federico Bond
be065a1243 grammar.txt: Add optional storage location to parameters 2018-01-04 01:47:07 -03:00
Alex Beregszaszi
ff9fdfac57 Properly handle colons in file names within jsonio 2018-01-03 15:44:03 +00:00
Alex Beregszaszi
fdbe78a769 Remove truffle patching introducing in f77480c as upstream has merged the changes (#3370) 2018-01-03 15:32:08 +01:00
chriseth
c5318cce09 Add artful to releases. 2017-12-28 19:00:12 +01:00
Chuck LeDuc Díaz
efc198d515 Minor syntax and formatting changes (#3337)
* Copyediting, mostly syntax.

* Use consistent quote chars inside sample code comments

* Revert to put back matching parenthesis

* Use single backticks for comment code quotes

wherever a reserved word, function or variable name is used in a comment
2017-12-20 10:48:22 +01:00
chriseth
8d0903e26e
Merge pull request #3350 from mekkanik/mekkanik-script-fixes
Changes to support Linux Mint: a derivative of Ubuntu.
2017-12-20 10:35:46 +01:00
mekkanik
241ad1ae39 Changes to support Linux Mint: a derivative of Ubuntu. 2017-12-20 13:27:40 +05:30
chriseth
a4b886ad3c
Merge pull request #3345 from kevinwucodes/patch-1
add clarity to destructuring assignments with leading comma
2017-12-19 12:39:28 +01:00
chriseth
2d800e67e4
Merge pull request #3347 from swaldman/develop
[Docs] Include explanation of how indexed dynamic-length event args are encoded
2017-12-19 12:37:34 +01:00
Steve Waldman
75dd416c6e [Docs] Note that events can contain both indexed and unindexed arguments for values of dynamic-length types. 2017-12-19 03:09:13 -08:00
Steve Waldman
bae913368a [Docs] Include explanation of how indexed dynamic-length event args are encoded 2017-12-19 01:51:57 -08:00
Kevin Wu
ddad6a3f80
add clarity to destructuring assignments 2017-12-18 09:55:13 -08:00
chriseth
b3fb73f53f
Merge pull request #3344 from leonardoalt/smt_checker
[SMTChecker] Fix typo in the code (satisifable->satisfiable)
2017-12-18 17:49:41 +01:00
Leonardo Alt
b588134840 [SMTChecker] Fix typo in the code (satisifable->satisfiable) 2017-12-18 17:31:27 +01:00
Alex Beregszaszi
55752db956
Merge pull request #3342 from ethereum/jsonio-sourcelocation
Populate the sourceLocation field properly in standard JSON on errors
2017-12-18 14:32:23 +00:00
Alex Beregszaszi
460c9f3943
Merge pull request #3343 from ethereum/structs-struct
Fix grammar: "structs type" into "struct type"
2017-12-18 14:18:06 +00:00
chriseth
2e2f819fd6
Merge pull request #3304 from leonardoalt/smt_checker
[SMTChecker] Keep track of current path conditions
2017-12-18 15:10:28 +01:00
chriseth
dbad74ac1b
Merge pull request #3279 from ethereum/function_hoister
Function hoister
2017-12-18 15:08:13 +01:00
chriseth
5109345627
Merge pull request #3333 from ethereum/switch_to_if
Favour if over switch in ABI coder.
2017-12-18 15:04:13 +01:00