154 Commits

Author	SHA1	Message	Date
chriseth	12f19fa46b	Formal Verification: State variables.	2015-11-19 02:04:33 +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
chriseth	1d4219d43d	Some fixes taking other pull requests into account.	2015-10-15 18:14:14 +02:00
chriseth	e21df35416	MacOS fix.	2015-10-15 17:38:42 +02:00
chriseth	ae5b12f54b	Fix compiler warnings.	2015-10-15 17:38:42 +02:00
chriseth	029b819489	Wildcards.	2015-10-15 17:38:42 +02:00
chriseth	039b2a764f	Destructuring assignments.	2015-10-15 17:38:42 +02:00
chriseth	7ebd536e79	Tuple expressions.	2015-10-15 17:38:42 +02:00
chriseth	7ba42f4707	Merge pull request #130 from LefterisJP/dynamic_array_push ... Dynamic array push	2015-10-15 17:37:15 +02:00
LianaHus	b2e787b803	missing const	2015-10-15 16:59:38 +02:00
LianaHus	2348a4ef34	indent	2015-10-15 16:56:12 +02:00
LianaHus	656e749b1e	added const	2015-10-15 16:51:01 +02:00
LianaHus	162d021c3f	some more style fixes	2015-10-15 16:27:26 +02:00
LianaHus	3871e77946	style fixes	2015-10-15 16:13:52 +02:00