chenquan
d0d9522837
Merge branch 'develop' of https://github.com/ethereum/solidity into develop
2018-01-05 20:43:24 +08: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
ChenQuan
42cc3915fe
Update GPG key URL for the Centos installer script
2018-01-04 12:27:29 +00: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
chriseth
97100516a7
Merge pull request #3331 from ethereum/instruction_mover
...
Function Grouper
2017-12-18 14:57:12 +01:00
chriseth
7755e64872
Fixed typos in comment.
2017-12-18 14:56:56 +01:00
chriseth
37b70e8e65
Merge pull request #3318 from ethereum/chriseth-patch-1
...
Link to dev channel
2017-12-18 14:48:43 +01:00
chriseth
2b19bcf609
Link to dev channel
2017-12-18 13:05:08 +00:00
Yoichi Hirai
d6e73b013f
Fix grammar: "structs type" into "struct type"
2017-12-18 13:31:40 +01:00
Alex Beregszaszi
add4cde68c
Populate the sourceLocation field properly in standard JSON on errors
2017-12-18 12:17:51 +00:00
chriseth
e2828cfa61
Favour if over switch in ABI coder.
2017-12-15 09:47:34 +01:00
chriseth
99c8ed075e
Function hoister.
2017-12-14 17:28:29 +01:00
chriseth
a6a64eb8ed
Function grouper.
2017-12-14 17:21:01 +01:00
chriseth
3d1830f3f2
Merge pull request #3232 from ethereum/simplifyConstant
...
Simplify ConstantEvaluator.
2017-12-14 16:14:46 +01:00
Leonardo Alt
a1e296e392
[SMTChecker] Helper functions to add an expression to the solver conjoined with or implied by the current path conditions
2017-12-13 17:59:36 +01:00
Leonardo Alt
2af4d7c7dd
[SMTChecker] Keep track of current path conditions
2017-12-13 17:39:10 +01:00
chriseth
bfc5446318
Merge pull request #3295 from mcdee/develop
...
Remove warnings in examples
2017-12-13 15:51:33 +01:00
chriseth
ca0d244bf7
Adjust tests.
2017-12-13 12:28:15 +01:00
chriseth
54b6739962
Separate expression and statement.
2017-12-13 12:28:15 +01:00
Jim McDonald
93cf4dee66
Fixes for failing tests
2017-12-13 07:55:46 +00:00
