4782 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Gav Wood	9997aac163	Fix solidity tests.	2015-11-20 00:06:02 +01:00
chriseth	284d8f8b13	Merge pull request #229 from chriseth/fv_storage_types ... Formal Verification: State variables.	2015-11-19 13:16:23 +01:00
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	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