9292 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alex Beregszaszi	18ae0c3d78	SMT enforce variable types	2017-10-05 12:29:20 +01:00
Alex Beregszaszi	6ba0c2bba8	Merge pull request #2982 from ethereum/encoderFixes ... ABI encoder fixes and test.	2017-10-05 11:59:42 +01:00
Alex Beregszaszi	09276cb9d3	Do not add members of address to contracts in experimental 0.5.0	2017-10-05 11:42:34 +01:00
Alex Beregszaszi	10529e994f	SMT should not crash on typecast/structs	2017-10-05 11:41:11 +01:00
Alex Beregszaszi	880be25811	Merge pull request #3029 from ethereum/tanwisgas ... Send all gas for 0.5.0.	2017-10-05 11:34:17 +01:00
chriseth	11c51de5b9	Merge pull request #2968 from ethereum/calldataencodedsize ... Add some asserts about calldata encoded size.	2017-10-05 12:16:37 +02:00
chriseth	69ea5c43f3	Send all gas for 0.5.0.	2017-10-05 11:56:36 +02:00
chriseth	54cf15ac4f	Merge pull request #2901 from ethereum/compiler-names ... Provide optional list of contract names to CompilerStack.compile	2017-10-05 11:23:46 +02:00
Alex Beregszaszi	f86cd06b97	Add contract depedendency tests to standardcompiler	2017-10-05 09:53:43 +01:00
Alex Beregszaszi	995b5525a0	Merge pull request #3025 from federicobond/avoid-event-shadowing ... Do not consider shadowing in variable names inside event declarations	2017-10-05 09:45:27 +01:00
Alex Beregszaszi	a0394a1bfa	Restrict contracts compiled via outputSelection (but not the individual output details)	2017-10-04 20:30:14 +01:00
Alex Beregszaszi	f96e932243	Provide optional list of contract names to CompilerStack.compile	2017-10-04 20:30:14 +01:00
Federico Bond	76d3d24842	Do not consider shadowing in variable names inside event declarations	2017-10-04 13:30:26 -03:00
chriseth	19274c7890	Merge pull request #2962 from ethereum/optionalDebugInfoAsm ... Debugging info in CompilerContext.	2017-10-04 17:01:52 +02:00
chriseth	80cefb9cc8	Rename "compacted" to "fromStack".	2017-10-04 16:56:54 +02:00
Alex Beregszaszi	66b188cce9	Merge pull request #3022 from ethereum/assert ... Use solAssert and not assert	2017-10-04 14:11:43 +01:00
chriseth	f6fb7d96d3	Merge pull request #2990 from ethereum/someMoreSMTStuff ... Basic SMT tests.	2017-10-04 14:56:24 +02:00
chriseth	22f112fc13	Merge pull request #3023 from redsquirrel/patch-1 ... Minor edits	2017-10-04 14:53:09 +02:00
Dave Hoover	6de9fc710e	Minor edits	2017-10-04 07:35:05 -05:00
Alex Beregszaszi	a9847c9551	Use solAssert and not assert	2017-10-04 13:05:55 +01:00
chriseth	364b4dea62	Add some asserts about calldata encoded size.	2017-10-04 13:19:57 +02:00
chriseth	a5fddc9c57	Debugging info in CompilerContext.	2017-10-04 13:18:33 +02:00
chriseth	fefdfc0711	Disable SMT tests on windows.	2017-10-04 12:48:23 +02:00
chriseth	30908415bf	Merge pull request #3013 from ethereum/evmasm-cleanup ... Cleanup instruction / gasmeter	2017-10-04 11:33:16 +02:00
chriseth	0c3888aba2	Merge pull request #3009 from ethereum/refactor-exception-what ... Refactor Exception::what()	2017-10-04 11:30:07 +02:00
Alex Beregszaszi	d41011a0f6	Merge pull request #3011 from wadeAlexC/develop ... Adds better error message for fractional array size expressions	2017-10-03 22:24:40 +01:00
wadeAlexC	73f17876e9	Better error message when using fractional number as array size expressions	2017-10-03 22:01:58 +01:00
Alex Beregszaszi	cfc4e5dde3	Merge pull request #2542 from federicobond/disallow-non-pure-constant ... Disallow non-pure constant state variables (0.5.0)	2017-10-03 17:58:12 +01:00
Federico Bond	2b82352692	Disallow non-pure constant state variables in 0.5.0	2017-10-03 15:30:16 +01:00
Alex Beregszaszi	4d1c48eeee	Remove duplicate EVMSchedule	2017-10-03 11:59:53 +01:00
Alex Beregszaszi	43719839bf	Use isDup/SwapInstruction helper	2017-10-03 11:45:44 +01:00
Alex Beregszaszi	5c28458920	Merge pull request #2896 from ethereum/test-genesis ... Format chainparams fields properly in tests	2017-10-03 11:35:51 +01:00
Alex Beregszaszi	9e101db45f	Merge pull request #3012 from ethereum/lll-includes ... LLL: do not crash if import callback is null	2017-10-03 11:35:31 +01:00
chriseth	e952946b22	Use byzantium version of eth.	2017-10-03 10:45:00 +01:00
Alex Beregszaszi	fe947006ff	Format chainparams fields properly in tests	2017-10-03 10:45:00 +01:00
Alex Beregszaszi	ab206b8113	LLL: do not crash if import callback is null	2017-10-03 10:22:30 +01:00
Alex Beregszaszi	37365478c1	Merge pull request #3008 from ethereum/lll-include-callback ... LLL: change (include) to use a callback	2017-10-02 22:54:36 +01:00
Alex Beregszaszi	26f3ea8cf7	LLL: change (include) to use a callback	2017-10-02 21:19:36 +01:00
Alex Beregszaszi	91b20b4bd2	Merge pull request #3005 from ethereum/lll-instruction ... lll: do not expose push/dup/swap/jumpdest as functions	2017-10-02 20:47:31 +01:00
Alex Beregszaszi	e7a1e1abe7	Merge pull request #2997 from federicobond/duplicate-events ... Emit error when declaring event with same name and arguments twice	2017-10-02 20:21:16 +01:00
Alex Beregszaszi	cbd4465a7f	lll: do not expose push/dup/swap/jumpdest as functions	2017-10-02 16:21:21 +01:00
Paweł Bylica	931c0bcce3	Refactor Exception::what()	2017-10-02 16:49:45 +02:00
Alex Beregszaszi	e7cea2f684	Merge pull request #3006 from ethereum/exceptions ... Always return a valid pointer in Exception::what()	2017-10-02 15:46:25 +01:00
Alex Beregszaszi	6cbb726fb8	Merge pull request #2622 from benjaminion/lll-switch ... LLL: Implement a "switch" expression	2017-10-02 13:38:21 +01:00
Alex Beregszaszi	d010d6300c	LLL: Add compiler tests	2017-10-02 12:44:34 +01:00
Alex Beregszaszi	2a8e965bb1	Merge pull request #3007 from ethereum/lll-better-errors ... lll: better error reporting in some cases	2017-10-02 12:14:15 +01:00
benjaminion	cafc0885c4	LLL: Tests for the proposed switch expression.	2017-10-02 12:01:15 +01:00
benjaminion	326c7887a4	LLL: Implement a switch expression.	2017-10-02 12:01:15 +01:00
Alex Beregszaszi	c61610302a	Merge pull request #3004 from ethereum/instr-helpers ... Add helpers for isPush/isDup/isSwap	2017-10-02 11:51:44 +01:00
Alex Beregszaszi	cddfec27ee	lll: better error reporting in some cases	2017-10-02 11:48:26 +01:00