| 
							
							
								 Bob Summerwill | d15e9a172d | Corrected case for Solidity library entry in CMake file. | 2015-12-03 00:17:35 -08:00 |  | 
			
				
					| 
							
							
								 chriseth | c806b9bcdb | Merge pull request #246 from chriseth/refactor Refactoring - more flexible contracts. | 2015-11-26 17:40:40 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 4aaa150674 | Convert filter to template function. | 2015-11-26 17:28:44 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | cc2df5f9f2 | Invalidate cached members if scope changes. | 2015-11-26 15:37:55 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 2e4f4e3363 | Fix smart pointer lifetime issue in tests. | 2015-11-26 15:37:55 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | b47d593252 | Do not store elements of a contract by AST node type. | 2015-11-26 15:37:55 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 86495dfc57 | Make members context-sensitive. | 2015-11-26 15:37:55 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | c498dcce22 | Merge pull request #222 from chriseth/newArrays Dynamically create memory arrays. | 2015-11-26 15:28:28 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | e06768e8b5 | Fix MSVC errors and warnings. | 2015-11-26 14:47:28 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 6a2a946200 | Make some functions const. | 2015-11-26 13:44:09 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 879844dd0a | Code generation for creating arrays. | 2015-11-26 13:10:12 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | bf55aa6ae2 | Type checking for creating new arrays. | 2015-11-26 13:10:12 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 30b325fdc1 | Allow "new expressions" also for general type names. Breaking change: If you want to send value with a contract creation, you
have to use parentheses now:
`(new ContractName).value(2 ether)(arg1, arg2)` | 2015-11-26 13:10:12 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | cd94aa978a | Merge pull request #249 from chriseth/fixemscripten Fix solidity dependencies. | 2015-11-26 13:09:44 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | f86451cd68 | Fix solidity dependencies. | 2015-11-26 12:40:15 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | b49b268600 | Merge pull request #239 from chriseth/why3Fix Again some why3 fixes with regards to separators in blocks. | 2015-11-26 11:52:57 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 20542d1623 | Style. | 2015-11-25 14:24:00 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 36ba7d11ca | Again some why3 fixes with regards to separators in blocks. | 2015-11-25 14:24:00 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | ce1e73a734 | Merge pull request #245 from chriseth/buildfixes Build dependency fixes. | 2015-11-25 14:03:29 +01:00 |  | 
			
				
					| 
							
							
								 Gav Wood | 8d16c6e9e8 | Merge pull request #248 from ethereum/hot_gav Fixups for new API. | 2015-11-24 20:15:59 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | aa8e9e66ed | Merge pull request #244 from chriseth/fix_stringAlloc Fix for memory allocation bug. | 2015-11-24 16:18:41 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 46bc70e709 | Build dependency fixes. | 2015-11-24 16:12:42 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 68f1da1e3a | Fixed string inside struct allocation bug. | 2015-11-24 14:54:37 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 588e4232eb | Test for allocation bug. | 2015-11-24 14:54:18 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | e59b9b445a | Merge pull request #241 from chriseth/why3VariablesInConditions Why3 variables in conditions | 2015-11-24 11:33:35 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 10fe0a2434 | Style. | 2015-11-23 16:30:51 +01:00 |  | 
			
				
					| 
							
							
								 Gav Wood | 4a1b22f043 | Merge remote-tracking branch 'orig/develop' into hot_gav | 2015-11-23 12:44:41 +01:00 |  | 
			
				
					| 
							
							
								 Gav Wood | 2554d6104a | Merge pull request #236 from ethereum/hot_gav Fix up for new API from EIP-1.1. | 2015-11-23 12:42:28 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 806507d5c0 | addmod and mulmod for why3. | 2015-11-23 00:58:17 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 82a6ab486d | Why3: Direct references to variables using #. | 2015-11-23 00:58:17 +01:00 |  | 
			
				
					| 
							
							
								 Gav Wood | bff172cf65 | Fix up for new API from EIP-1.1. | 2015-11-21 14:34:21 +01:00 |  | 
			
				
					| 
							
							
								 Gav Wood | 58110b27c1 | Merge remote-tracking branch 'origin/hot_gav' into develop | 2015-11-20 00:06:58 +01:00 |  | 
			
				
					| 
							
							
								 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 |  |