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 |
|
Jim McDonald
|
6e521d59b0
|
Fix Solidity warnings
|
2017-12-12 18:47:30 +00:00 |
|
chriseth
|
7614b16dc9
|
Merge pull request #3311 from ethereum/changelog
Update changelog for some 0.4.20 changes
|
2017-12-12 16:48:47 +01:00 |
|
Alex Beregszaszi
|
a64c1e5487
|
Update changelog for some 0.4.20 changes
|
2017-12-12 10:34:24 +00:00 |
|
Yoichi Hirai
|
55e9af2f20
|
Merge pull request #3310 from ethereum/limitDecl
Limit number of secondary source locations.
|
2017-12-12 11:14:06 +01:00 |
|
Yoichi Hirai
|
14707b27e2
|
Merge pull request #3183 from federicobond/fix-event-parsing
Fix event parsing. Refs #3175
|
2017-12-12 11:12:18 +01:00 |
|
chriseth
|
a0e67dec46
|
Merge pull request #3218 from elenadimitrova/documentation/2176-overload-resolution
Document function overloading
|
2017-12-12 10:54:43 +01:00 |
|
chriseth
|
e7ed9d878e
|
Re-use commonType
|
2017-12-12 10:45:40 +01:00 |
|
chriseth
|
48c7ba72f3
|
Simplify ConstantEvaluator.
|
2017-12-12 09:44:18 +00:00 |
|
Alex Beregszaszi
|
7ff9a85592
|
Reduce the types of errors outputted by ConstantEvaluator
|
2017-12-12 09:40:29 +00:00 |
|
Alex Beregszaszi
|
5226d54ed1
|
Improve error message for constant evaluator
|
2017-12-12 09:39:26 +00:00 |
|
chriseth
|
2d171c25e5
|
Limit number of secondary source locations.
|
2017-12-12 10:27:28 +01:00 |
|
chriseth
|
45d0992ce8
|
Merge pull request #3290 from ethereum/moveAppend
Move-append for vector.
|
2017-12-12 10:23:19 +01:00 |
|
elenadimitrova
|
c6a4aba9f0
|
Document function overloads and resolution
|
2017-12-12 10:26:58 +02:00 |
|
Alex Beregszaszi
|
40e8716926
|
Merge pull request #3197 from medvedev1088/fix-security-considerations-example
Add another example with call to demonstrate Re-Entrancy
|
2017-12-12 04:22:45 +00:00 |
|
Alex Beregszaszi
|
55a681dcad
|
Merge pull request #3068 from izgzhen/document-io-class
Document JSON I/O error classes
|
2017-12-12 03:55:51 +00:00 |
|
Alex Beregszaszi
|
37b06884b2
|
Correct that ether transfers _can_ always include code execution in re-entrancy example
|
2017-12-12 03:31:30 +00:00 |
|
Evgeny Medvedev
|
2f6f81640b
|
Add another contract with call to demonstrate re-entrancy vulnerability.
Add another contract with call to demonstrate re-entrancy vulnerability as send explicitly sets gas to 2300 by default according to this commit 9ca7472 which makes it impossible to "get multiple refunds" because a non-zero CALL costs at least 9700 gas. This issue is discussed on Ethereum StackExchange https://ethereum.stackexchange.com/questions/30371/send-ether-reentrancy-attack-in-reality-how-could-fallback-function-make-a-mes/30616#30616
|
2017-12-12 03:31:00 +00:00 |
|
Alex Beregszaszi
|
1ddd4e2b06
|
Merge pull request #3010 from ethereum/libsolc
Rename jsonCompiler to libsolc
|
2017-12-12 03:03:32 +00:00 |
|
Zhen Zhang
|
d50e8abefb
|
Document JSON I/O error classes
|
2017-12-12 03:02:30 +00:00 |
|
Alex Beregszaszi
|
539b8f3b45
|
Merge pull request #3302 from ethereum/optimiserDescription
Description of the optimiser and stages.
|
2017-12-11 17:47:38 +00:00 |
|
chriseth
|
2add4f604b
|
Description of the optimiser and stages.
|
2017-12-11 16:12:08 +01:00 |
|
chriseth
|
eebeb52aed
|
Merge pull request #3228 from ethereum/docs-tests-struct
Enable struct abi example with experimental pragma
|
2017-12-11 14:26:15 +01:00 |
|
chriseth
|
3760284e1c
|
Move-append for vector.
|
2017-12-11 14:24:04 +01:00 |
|
Alex Beregszaszi
|
1734d44561
|
Rename jsonCompiler to libsolc
|
2017-12-11 12:49:08 +00:00 |
|
chriseth
|
27f38fb5b3
|
Merge pull request #3281 from GNSPS/develop
Removed manual adjustment of stack of the docs
|
2017-12-11 12:00:47 +01:00 |
|
chriseth
|
a5d2cecbc3
|
Merge pull request #3299 from KamuelaFranco/patch-1
Update style-guide.rst to include enum style
|
2017-12-11 12:00:21 +01:00 |
|
chriseth
|
4a1f18c951
|
Merge pull request #3272 from ethereum/suggest-structs
Suggest the experimental ABI encoder if using structs as function parameters
|
2017-12-11 11:58:53 +01:00 |
|
Alex Beregszaszi
|
b32d7a84fc
|
Move some struct tests to require ABIEncoderV2
|
2017-12-11 02:42:09 +00:00 |
|