1363 Commits

Author	SHA1	Message	Date
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
chriseth	ec82706396	Fix crash related to `using for` without a library.	2017-08-21 16:57:37 +02:00
chriseth	d270879c8f	Merge pull request #2748 from ethereum/natspec ... Remove DocumentationType from natspec	2017-08-21 16:46:00 +02:00
chriseth	01b4bba0ed	Merge branch 'develop' into library-constructor	2017-08-21 16:34:59 +02:00
Alex Beregszaszi	b3986f1d07	Remove some unused includes	2017-08-21 14:08:58 +01:00
chriseth	2c5985de06	Be more strict about number literals in assembly.	2017-08-21 13:31:28 +02:00
Paweł Bylica	fa53494626	CMake: Remove libsolidity <- boost::regex dependency	2017-08-21 12:37:55 +02:00
Paweł Bylica	99d198ffb0	CMake: Make libs dependencies explicit	2017-08-21 12:27:06 +02:00
Alex Beregszaszi	fe25bcf350	Library cannot have constructors	2017-08-21 11:03:55 +01:00
Paweł Bylica	8404e2b6d7	CMake: Simplify libsolidity config	2017-08-18 13:32:35 +02:00
Paweł Bylica	d1f4d110fb	CMake: Build static libs by default	2017-08-18 13:32:35 +02:00
Alex Beregszaszi	7700f4033e	Remove isDeclaredConst() from functions	2017-08-16 17:23:09 +01:00
Alex Beregszaszi	33ea314a24	Add statemutability to AST JSON	2017-08-16 17:23:09 +01:00
Alex Beregszaszi	a61c88e9fe	Use state mutability in override error messages	2017-08-16 17:23:09 +01:00
Alex Beregszaszi	a2aaa47ee2	Use state mutability in fallback/constructor check	2017-08-16 17:23:09 +01:00