4542 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	e77deccfb3	Merge pull request #174 from chriseth/docstringInAST ... Store docstrings in AST annotations.	2015-10-26 17:57:09 +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
Lefteris Karapetsas	d6e77ce0e1	Merge pull request #172 from LefterisJP/build_with_boost_159 ... Allow building with new boost version 1.59	2015-10-26 10:02:44 +01:00
Lefteris Karapetsas	a5a41e1f22	Allow building with new boost version 1.59	2015-10-24 23:11:01 +02: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
chriseth	cefe9ae822	Merge pull request #170 from chriseth/warningFix ... Fix override warning.	2015-10-23 13:23:42 +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	cb8f6633b2	Merge pull request #163 from chriseth/fileReorg ... File reorganisation.	2015-10-22 13:58:50 +02:00
chriseth	e3dffb611f	File reorganisation.	2015-10-21 00:46:01 +02:00
Gav Wood	25ac6b8517	New vocab.	2015-10-20 17:30:22 +02:00
chriseth	d41f8b7ce7	Merge pull request #146 from chriseth/version ... Increment version to 0.1.6	2015-10-16 17:00:38 +02:00
chriseth	dd64d1a923	Increment version to 0.1.6	2015-10-16 16:59:58 +02:00
chriseth	2e671d3847	Merge pull request #145 from chriseth/parsingAmbiguityIndexAccess ... Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`.	2015-10-16 16:56:00 +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	e5d473448b	Merge pull request #144 from chriseth/doNotCatchInternalErrors ... Do not catch InternalCompilerErrors as part of fatal error handling.	2015-10-16 15:20:09 +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	2ea5b2431f	Merge pull request #139 from chriseth/multiJson ... Do not forget to export the new symbol.	2015-10-16 09:59:22 +02:00
chriseth	370b6db3ae	Do not forget to export the new symbol.	2015-10-15 19:18:14 +02:00
chriseth	984ab6ab2d	Merge pull request #135 from chriseth/multiJson ... Multiple sources for json compiler.	2015-10-15 19:04:52 +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
chriseth	cb869fd5a4	Style.	2015-10-15 18:29:56 +02:00
chriseth	52ef07695a	Multiple sources for json compiler.	2015-10-15 18:29:56 +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
chriseth	e1e6a0c531	Merge pull request #134 from LianaHus/sol_error_types_refuctoring ... Sol error types refuctoring	2015-10-15 17:27:32 +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	292fb473bf	renaming in test framework	2015-10-15 16:46:02 +02:00
LianaHus	162d021c3f	some more style fixes	2015-10-15 16:27:26 +02:00