cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
17,462 Commits 348 Branches 121 Tags 100 MiB
2dd693b893
Commit Graph

17462 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
5caad351f8 Work around bug in u256->unsigned conversion for MSVC/Boost. 2015-11-16 11:48:38 +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
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
Gav Wood
7208a2ee96 Merge branch 'hot_gav' of https://github.com/ethereum/solidity into hot_gav 2015-11-06 14:33:51 +01:00
Gav Wood
2f85153dcc Fixups for new API. 2015-11-06 14:23:18 +01:00
Gav Wood
a89fa99994 New vocab. 2015-11-06 13:26:20 +01:00
chriseth
48ffa08783 Merge pull request #192 from ethers/patch-2 
update link to tutorial
 2015-11-03 10:22:58 +01:00
ethers
d37e48f03d update link to tutorial 
old link was pointing to a wiki that mentions this new link
 2015-11-02 23:32:52 -08: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
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