 chriseth
|
68f1da1e3a
|
Fixed string inside struct allocation bug.
|
2015-11-24 14:54:37 +01:00 |
|
|
chriseth
|
e59b9b445a
|
Merge pull request #241 from chriseth/why3VariablesInConditions
Why3 variables in conditions
|
2015-11-24 11:33:35 +01:00 |
|
|
chriseth
|
10fe0a2434
|
Style.
|
2015-11-23 16:30:51 +01:00 |
|
 Gav Wood
|
2554d6104a
|
Merge pull request #236 from ethereum/hot_gav
Fix up for new API from EIP-1.1.
|
2015-11-23 12:42:28 +01:00 |
|
|
chriseth
|
806507d5c0
|
addmod and mulmod for why3.
|
2015-11-23 00:58:17 +01:00 |
|
|
chriseth
|
82a6ab486d
|
Why3: Direct references to variables using #.
|
2015-11-23 00:58:17 +01:00 |
|
 Gav Wood
|
bff172cf65
|
Fix up for new API from EIP-1.1.
|
2015-11-21 14:34:21 +01:00 |
|
|
chriseth
|
284d8f8b13
|
Merge pull request #229 from chriseth/fv_storage_types
Formal Verification: State variables.
|
2015-11-19 13:16:23 +01:00 |
|
|
chriseth
|
8dfc964e7d
|
Merge pull request #227 from chriseth/addmod
Addmod and mulmod.
|
2015-11-19 13:16:13 +01:00 |
|
|
Gav Wood
|
3be0ae6e2c
|
Merge pull request #204 from ethereum/hot_gav
The Big Refactor
|
2015-11-19 12:20:46 +01:00 |
|
|
Gav Wood
|
938b6793f1
|
Minor API change - must provide SealEngine to Executive now.
|
2015-11-19 10:19:53 +01:00 |
|
|
chriseth
|
12f19fa46b
|
Formal Verification: State variables.
|
2015-11-19 02:04:33 +01:00 |
|
|
chriseth
|
0cf8d022ae
|
Addmod and mulmod.
|
2015-11-18 17:12:39 +01:00 |
|
|
chriseth
|
f4de369bad
|
Merge pull request #218 from chriseth/fix_overwriteMemory
Fix memory overwrite problem for arrays.
|
2015-11-17 14:46:19 +01:00 |
|
|
chriseth
|
0c900f9b8a
|
Fix memory overwrite problem for arrays.
|
2015-11-16 18:32:21 +01:00 |
|
|
chriseth
|
a35f91816b
|
Fix dynamic indexed event arguments - applies sha3.
|
2015-11-16 17:09:09 +01:00 |
|
|
chriseth
|
34829ae764
|
Fix problems with statement blocks.
|
2015-11-11 15:21:01 +01:00 |
|
 LianaHus
|
a15d2bbb52
|
style fix
|
2015-11-06 21:07:42 +01:00 |
|
|
LianaHus
|
da47f9df7b
|
style fixes
|
2015-11-06 20:56:14 +01:00 |
|
|
LianaHus
|
63060fc1f0
|
fixed test framework
|
2015-11-06 18:45:06 +01:00 |
|
|
LianaHus
|
7eb162c0df
|
fix
|
2015-11-06 18:45:06 +01:00 |
|
|
LianaHus
|
79177de80b
|
fixed return valu for resolver
|
2015-11-06 18:45:06 +01:00 |
|
|
LianaHus
|
3f726825fb
|
added SourceLocations to error reporting for ReferenceResolver
|
2015-11-06 18:45:06 +01:00 |
|
|
LianaHus
|
ff421a9d65
|
passed SourceLocations instead of nodes to the error reporting function
|
2015-11-06 18:45:06 +01:00 |
|
|
LianaHus
|
02d060ea5c
|
fixed build
|
2015-11-06 18:45:06 +01:00 |
|
|
LianaHus
|
1a27bf8a39
|
added errors tu ReferencesResolver
|
2015-11-06 18:45:06 +01:00 |
|
|
chriseth
|
907cf28f49
|
Fix: Cope with non-existing commit hash.
|
2015-11-02 18:03:04 +01:00 |
|
|
chriseth
|
a5c227778d
|
Bugfix: Returning literal strings in tuples.
|
2015-10-31 23:13:45 +01:00 |
|
|
chriseth
|
56f5d58850
|
Rename error type.
|
2015-10-27 17:45:58 +01:00 |
|
|
chriseth
|
a957322fd7
|
Preliminary why3 code output.
|
2015-10-27 00:49:27 +01:00 |
|
|
chriseth
|
8fb49d85f9
|
Allow docstrings for statements.
|
2015-10-26 19:47:25 +01:00 |
|
|
chriseth
|
af4d687062
|
Fix indent.
|
2015-10-26 17:21:32 +01:00 |
|
|
chriseth
|
b4f561680a
|
Store docstrings in AST annotations.
|
2015-10-26 15:24:36 +01:00 |
|
|
chriseth
|
7a9f8d9f35
|
Merge pull request #171 from LianaHus/sol_change_expected_error_in_parser
Sol change "expected" errors in parser
|
2015-10-23 13:25:29 +02:00 |
|
|
LianaHus
|
d8865f9f05
|
more corrections
|
2015-10-23 12:56:50 +02:00 |
|
|
chriseth
|
e48ee59549
|
Fix override warning.
|
2015-10-23 12:51:49 +02:00 |
|
|
LianaHus
|
6e13853421
|
modified error msg
|
2015-10-23 12:44:26 +02:00 |
|
|
chriseth
|
e3dffb611f
|
File reorganisation.
|
2015-10-21 00:46:01 +02:00 |
|
|
chriseth
|
87079bd3fd
|
Correctly parse ambiguities like A.B[10] x and x.y[10] = 3.
|
2015-10-16 16:12:25 +02:00 |
|
|
chriseth
|
452d473293
|
Merge pull request #143 from chriseth/loneStructArray
Fix errors when struct array type is used on its own.
|
2015-10-16 15:20:44 +02:00 |
|
|
chriseth
|
102114176c
|
Merge pull request #142 from chriseth/fixWarnings
Fix warning.
|
2015-10-16 15:20:36 +02:00 |
|
|
chriseth
|
fd8eb2d074
|
Merge pull request #141 from chriseth/fixExternalTypes
Do not include function in interface list if there are errors.
|
2015-10-16 15:20:25 +02:00 |
|
|
chriseth
|
7b56206a98
|
Do not catch InternalCompilerErrors as part of fatal error handling.
InternalCompilerErrors always have to end the whole compilation process because a serious inconsistency was detected.
|
2015-10-16 14:52:01 +02:00 |
|
|
chriseth
|
ead0478f26
|
Fix errors when struct array type is used on its own.
|
2015-10-16 14:36:30 +02:00 |
|
|
chriseth
|
02a3c1d999
|
Fix warning.
|
2015-10-16 13:48:46 +02:00 |
|
|
chriseth
|
cd9132672a
|
Do not include function in interface list if there are errors.
|
2015-10-16 13:11:16 +02:00 |
|
|
chriseth
|
52eaa477d4
|
Merge pull request #132 from chriseth/tupleExpression
Tuple expressions and destructuring assignments
|
2015-10-16 10:01:34 +02:00 |
|
|
chriseth
|
2920a32ae8
|
Fixed indentation.
|
2015-10-16 10:01:22 +02:00 |
|
|
chriseth
|
030c868f58
|
Merge pull request #136 from LianaHus/sol_error_types_refuctoring
changed the way of reporting error during contract checking
|
2015-10-15 18:30:32 +02:00 |
|
|
LianaHus
|
ec5b9c2e92
|
changed the way of reporting error during contract checking
|
2015-10-15 18:15:52 +02:00 |
|