chriseth
|
22723da180
|
Merge pull request #176 from chriseth/why3
First shot at generating why3 output.
|
2015-10-27 17:55:53 +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
|
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 |
|
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 |
|