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,077 Commits 348 Branches 121 Tags 100 MiB
0ac039e4ea
Commit Graph

17077 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
8dfc964e7d Merge pull request #227 from chriseth/addmod 
Addmod and mulmod.
 2015-11-19 13:16:13 +01:00
Gav Wood
3be0ae6e2c Merge pull request #204 from ethereum/hot_gav 
The Big Refactor
 2015-11-19 12:20:46 +01:00
Gav Wood
938b6793f1 Minor API change - must provide SealEngine to Executive now. 2015-11-19 10:19:53 +01:00
chriseth
12f19fa46b Formal Verification: State variables. 2015-11-19 02:04:33 +01:00
chriseth
0cf8d022ae Addmod and mulmod. 2015-11-18 17:12:39 +01:00
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
Gav Wood
ad249e5787 Fix tests for new API. 2015-11-16 21:00:05 +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
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