Commit Graph
100 Commits
Author SHA1 Message Date
chriseth b4e666ccf4 Merge pull request #221 from chriseth/version
Increment version to 0.1.7
2015-11-17 16:09:29 +01:00
chriseth b00e916776 Increment version to 0.1.7 2015-11-17 15:16:30 +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 28c3f1839b Merge pull request #216 from chriseth/dynamic_indexed_event_args
Fix dynamic indexed event arguments - applies sha3.
2015-11-17 14:46:00 +01:00
chriseth 6411bf0026 Merge pull request #214 from chriseth/fix_optimizerTest
Test fix: Do not increment iterator past end.
2015-11-17 10:57:18 +01:00
chriseth f63eca46fa Merge pull request #213 from chriseth/fix_testLeak
Fix segfault during test.
2015-11-17 10:57:07 +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 8bd34ee2e9 Test fix: Do not increment iterator past end. 2015-11-16 16:39:47 +01:00
chriseth 9ef67bc756 Fix segfault during test. 2015-11-16 16:32:09 +01:00
chriseth c881d103b2 Merge pull request #211 from chriseth/fix_successor
Work around bug in MSVC/Boost for u256->unsigned conversion.
2015-11-16 12:36:04 +01:00
chriseth 1bdc7eed31 Work around bug in MSVC/Boost for u256->unsigned conversion. 2015-11-16 11:47:19 +01:00
chriseth 321b1ed221 Merge pull request #209 from chriseth/formal
Why3 translation: Fix problems with statement blocks.
2015-11-12 23:44:06 +01:00
chriseth 34829ae764 Fix problems with statement blocks. 2015-11-11 15:21:01 +01:00
chriseth 94ea61cbb5 Merge pull request #195 from LianaHus/sol_remove_exc_from_ref_resolver
Sol remove exc from ref resolver
2015-11-08 00:14:23 +01:00
chriseth 48ffa08783 Merge pull request #192 from ethers/patch-2
update link to tutorial
2015-11-03 10:22:58 +01:00
chriseth 665344eeb2 Merge pull request #188 from chriseth/fix_copeWithNonExistingCommitHash
Fix: Cope with non-existing commit hash.
2015-11-02 18:38:09 +01:00
chriseth 907cf28f49 Fix: Cope with non-existing commit hash. 2015-11-02 18:03:04 +01:00
chriseth 5981ee4013 Merge pull request #185 from chriseth/fix_strings_in_tuples
Bugfix: Returning literal strings in tuples.
2015-11-02 17:11:02 +01:00
chriseth a5c227778d Bugfix: Returning literal strings in tuples. 2015-10-31 23:13:45 +01:00
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
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
chriseth e48ee59549 Fix override warning. 2015-10-23 12:51:49 +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
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
chriseth e11e10f817 Merge pull request #126 from chriseth/destructuringAssignment
Multi-variable declarations.
2015-10-13 22:32:27 +02:00
chriseth 72f7792f8e Some further test fixes. 2015-10-13 14:31:24 +02:00
chriseth 13d7bc4ee8 Some more tests and typos fixed. 2015-10-13 12:22:57 +02:00
chriseth deebc7e860 Multi-variable declarations. 2015-10-13 12:16:23 +02:00
chriseth a5d12b8761 Introduced tuple type and added multi variable declarations to type
checker.
2015-10-09 19:35:41 +02:00
chriseth c54a033bf0 Tests for multi variable declaration. 2015-10-09 16:26:27 +02:00
chriseth b9a166061b Refactoring to allow multi-variable declarations. 2015-10-08 18:25:44 +02:00
chriseth 23865e3929 Merge pull request #124 from chriseth/version
Set version to 0.1.5.
2015-10-07 18:43:52 +02:00
chriseth 090832c4b1 Set version to 0.1.5. 2015-10-07 18:21:36 +02:00
chriseth b4f817d9d9 Merge pull request #123 from chriseth/largeHexConstants
Check invalid integer constants for functions accepting arbitrary arguments.
2015-10-07 18:20:41 +02:00
chriseth 35de03626f Check invalid integer constants for functions accepting arbitrary arguments. 2015-10-07 18:13:20 +02:00
chriseth ab433c9a78 Merge pull request #121 from chriseth/dependencies
Resolve binary dependencies properly.
2015-10-07 18:12:34 +02:00
chriseth 24d04087d2 Resolve binary dependencies properly. 2015-10-07 17:35:07 +02:00
chriseth 68bf6e60c5 Merge pull request #122 from chriseth/anonymousEventsWithFourIndexedParams
Allow four indexed arguments for anynomous events.
2015-10-07 17:01:37 +02:00
chriseth 8644ad6866 Merge pull request #118 from chriseth/rejectEtherSentToLibrary
Reject ether sent to library.
2015-10-07 16:41:49 +02:00
chriseth b6ddde9372 Allow four indexed arguments for anynomous events. 2015-10-07 16:40:54 +02:00
chriseth f3913d6996 Fix boost error. 2015-10-07 12:31:38 +02:00
chriseth 0297a213fe Reject ether sent to library. 2015-10-06 22:55:45 +02:00
chriseth d35a4b849d Merge pull request #117 from chriseth/internalTypesForLibrary
Internal types for library
2015-10-06 18:29:05 +02:00
chriseth c6e637677b Merge pull request #115 from chriseth/testLongConstructorArguments
Test long constructor arguments.
2015-10-06 15:40:52 +02:00
chriseth 55af63e463 Add const. 2015-10-06 14:43:09 +02:00
chriseth 99351aebe0 Compiler version stamp. 2015-10-06 14:20:06 +02:00
chriseth 44e42bf52e Add structs to library interface. 2015-10-06 14:20:06 +02:00
chriseth bf5b387954 Provide access to scoped structs. 2015-10-06 14:20:06 +02:00
chriseth bc609c55c0 Compute canonical names of types for function signatures. 2015-10-06 14:20:06 +02:00
chriseth ce25ddfa6a Encode storage items correctly for library calls. 2015-10-06 14:20:06 +02:00
chriseth 421dcf4c1a Tests apart from new one work fine. 2015-10-06 14:20:06 +02:00
chriseth 9cc7402c95 Split external type into ecoding and interface type. 2015-10-06 14:19:56 +02:00
chriseth d2332769d3 Test for internal types. 2015-10-06 14:19:30 +02:00
chriseth 7ff6762917 Merge pull request #107 from chriseth/warningsForSoljson
Support warnings.
2015-10-05 11:17:05 +02:00
chriseth 51d065f0c4 Merge pull request #108 from chriseth/fixWarnings
Report warning in tests if requested.
2015-10-05 11:16:52 +02:00
chriseth 0950aa99a0 Test long constructor arguments. 2015-10-05 11:09:33 +02:00
chriseth 5e4166acb8 Report warning in tests if requested. 2015-10-02 23:18:54 +02:00
chriseth 95fa516d9e Support warnings. 2015-10-02 22:54:30 +02:00
chriseth 795c894afc Merge pull request #102 from chriseth/tightlyEncodedStrings
Store small byte arrays and strings in storage in one slot with their length.
2015-10-02 13:27:50 +02:00
chriseth da408640ca Store small byte arrays and strings in storage in one slot with their
length.
2015-10-02 13:12:23 +02:00
chriseth cae8db989a Merge pull request #101 from LianaHus/sol_Disallow_access_if_not_initialized
Disallow access to non-initialized references in storage
2015-10-02 12:45:26 +02:00
chriseth 0bedebe9b5 Merge pull request #105 from chriseth/fix_calldataUnpacker
Bugfix in calldata unpacker.
2015-10-02 11:11:43 +02:00
chriseth 6161ec96ff Bugfix in calldata unpacker.
The offset was not specified correctly if memory activity preceded the
unpacker.
2015-10-01 16:50:11 +02:00
chriseth 5f6c3cdf54 Merge pull request #103 from chriseth/version
Version change.
2015-09-30 16:53:07 +02:00