1377 Commits

Author	SHA1	Message	Date
chriseth	9e90ddcae5	Merge pull request #2820 from ethereum/fallthrough ... Fix some other fallthrough cases	2017-08-25 19:37:59 +02:00
Alex Beregszaszi	523e76332a	Merge pull request #2813 from ethereum/tightpack-warn ... Warn on using literals in tight packing	2017-08-25 16:08:42 +01:00
Alex Beregszaszi	da56bde58f	Move the break in switch for readability	2017-08-25 16:02:05 +01:00
Alex Beregszaszi	51d6141f7e	Mark to places fall-through	2017-08-25 16:00:36 +01:00
Alex Beregszaszi	5c73a80418	Remove fallthrough from ArrayUtils	2017-08-25 15:57:27 +01:00
Alex Beregszaszi	ec6d8007db	Merge pull request #2815 from ethereum/parser-fallthrough ... Remove fallthrough from literal parsing	2017-08-25 15:54:46 +01:00
Alex Beregszaszi	f2317670fa	Remove two other fall-through cases in Parser	2017-08-25 14:24:07 +01:00
Alex Beregszaszi	ef8355da7f	Remove fallthrough from literal parsing	2017-08-25 14:22:59 +01:00
Alex Beregszaszi	f6dba97fe1	Warn on using literals in tight packing	2017-08-25 14:16:50 +01:00
chriseth	4b0e30d259	Cleanup of Common.h	2017-08-25 14:54:23 +02:00
Alex Beregszaszi	e03dfd8476	Remove unused statements from the Natspec headers	2017-08-25 13:15:08 +01:00
Alex Beregszaszi	20e3b98d1f	Reorder ABI for readability	2017-08-25 10:39:53 +01:00
Alex Beregszaszi	deeac7e2e0	Rename statemutability to stateMutability in ABI/AST	2017-08-24 15:23:00 +01:00
Alex Beregszaszi	f646247dfb	Consider pure as constant for the AST JSON (to aid static analyzers)	2017-08-24 14:13:34 +01:00
Alex Beregszaszi	5668377c72	Introduce pure specifier on functions	2017-08-24 13:46:18 +01:00
chriseth	8af6f193bc	Merge pull request #2770 from ethereum/recursionInAsm ... Also prevent too much recursion in the assembly parser.	2017-08-24 11:14:01 +02:00
chriseth	cf5e1d6120	Review changes.	2017-08-23 17:37:35 +02:00
chriseth	c93f0434cd	Use experimental feature pragma for SMT checker.	2017-08-23 17:37:35 +02:00
chriseth	75f09f2a84	Partial support for if statements.	2017-08-23 17:37:35 +02:00
chriseth	5bfd5d98c1	Format numbers more nicely.	2017-08-23 17:37:35 +02:00
chriseth	1e05ebe50e	Refactor Z3 read callback.	2017-08-23 17:37:35 +02:00
chriseth	9ac2ac14c1	Rename read file callback.	2017-08-23 17:37:35 +02:00
chriseth	ab5e3a8f6d	Introduce native Z3 support.	2017-08-23 17:37:35 +02:00
chriseth	4cea3d4aa4	Insert abstraction layer.	2017-08-23 17:37:35 +02:00
chriseth	c9cf24458b	Prepare build system for Z3.	2017-08-23 17:37:35 +02:00
chriseth	b3f8ed457a	Cleanup.	2017-08-23 14:24:30 +02:00
chriseth	39fc798999	Use file to communicate with z3.	2017-08-23 14:24:05 +02:00
chriseth	df848859da	Rewrite using SMTLIB2 interface.	2017-08-23 14:24:05 +02:00
chriseth	1ece7bf443	z3 conditions	2017-08-23 14:24:04 +02:00
Alex Beregszaszi	3b07c4d38e	Merge pull request #2757 from ethereum/cmake ... Static linking	2017-08-23 12:36:24 +01:00
chriseth	c5f11d938f	Merge pull request #2656 from ethereum/performance1 ... Avoid some Json copy operations.	2017-08-23 13:26:43 +02:00
Paweł Bylica	388fc983fa	CMake: Cleanup "local" include path	2017-08-22 22:50:25 +02:00
Alex Beregszaszi	efe4d68a7b	Introduce view (and keep constant as an alias)	2017-08-22 18:24:22 +01:00
chriseth	210b4870a8	Merge pull request #2775 from ethereum/coverity ... Fix some issues found by Coverity	2017-08-22 15:39:50 +02:00
Alex Beregszaszi	badb269502	Merge pull request #2776 from ethereum/removeVisitsToAbstractASTNode ... Remove visits to abstract AST class TypeName.	2017-08-22 14:34:55 +01:00
chriseth	9b6caa3fc4	Remove visits to abstract AST class TypeName.	2017-08-22 15:12:38 +02:00
Alex Beregszaszi	f2d6226718	Some smaller issues found by Covertiy Scan	2017-08-22 13:55:28 +01:00
Alex Beregszaszi	97169e58ae	Merge pull request #2734 from ethereum/reject-create-interface ... Reject the creation of interface with the new statement	2017-08-22 12:11:37 +01:00
chriseth	628b54ce35	Reduce max recursion depth.	2017-08-22 12:44:23 +02:00
chriseth	692e4c57e8	Check recursion depth in assembly parser.	2017-08-22 12:44:22 +02:00
chriseth	7b0046a9aa	Check inheritance specifier arguments for interfaces.	2017-08-22 11:39:50 +01:00
Alex Beregszaszi	9897c56b2c	Mark a lot of functions static (where possible)	2017-08-22 10:51:46 +01:00
Alex Beregszaszi	2a5772cff7	Mark appropriate constructors explicit	2017-08-22 10:51:46 +01:00
Alex Beregszaszi	e2cfc9ee92	Mark a lot of functions const (where possible)	2017-08-22 10:51:46 +01:00
Alex Beregszaszi	b25f0c52ac	Reject the creation of interface with the new statement	2017-08-21 23:02:18 +01:00
Alex Beregszaszi	c94b1f8173	Set variable to nullptr in ASTPrinter	2017-08-21 22:05:35 +01:00
Alex Beregszaszi	2c2ae74217	Merge pull request #2773 from ethereum/usingForWithoutLibrary ... Fix crash related to ``using for`` without a library.	2017-08-21 19:47:57 +01:00
Alex Beregszaszi	4b56829ac3	Create children node in ASTJsonConverter when neccesary	2017-08-21 16:28:30 +01:00
chriseth	e3f90565d8	Avoid some Json copy operations.	2017-08-21 16:28:30 +01:00
Alex Beregszaszi	4219acaba9	Merge pull request #2771 from ethereum/unused-includes ... Remove some unused includes	2017-08-21 16:26:44 +01:00