31 Commits

Author	SHA1	Message	Date
Daniel Kirchner	c7a0f44159	Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.	2018-08-08 19:02:59 +02:00
Daniel Kirchner	9b4546c487	Add workarounds for building against CVC4 on ArchLinux.	2018-08-08 19:02:59 +02:00
Matías Aereal Aeón	4b20708c49	cmake flags to make solvers optional. Implementation of #4651	2018-08-08 12:43:57 -03:00
Leonardo Alt	87a38e1abe	[SMTChecker] SMTPortfolio: use all SMT solvers available	2018-07-27 16:15:34 +01:00
mingchuan	dbd0a7ed60	Fix link error when using boost shared library	2018-05-11 11:20:19 +08:00
Leonardo Alt	ae3350ae03	[SMTChecker] Integration with CVC4	2018-04-17 12:26:58 +01:00
Alex Beregszaszi	372c6693ea	Improve Z3 message in cmake	2017-10-13 13:33:18 +01:00
chriseth	c9cf24458b	Prepare build system for Z3.	2017-08-23 17:37:35 +02:00
chriseth	1ece7bf443	z3 conditions	2017-08-23 14:24:04 +02:00
Paweł Bylica	388fc983fa	CMake: Cleanup "local" include path	2017-08-22 22:50:25 +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
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
chriseth	261731f7ee	Adapt EVM codegen to new namespace.	2017-05-26 15:08:27 +02:00
chriseth	4c54834908	Rename libevmasm.	2016-08-10 13:52:24 +02:00
chriseth	c3ed550eb6	Merge pull request #834 from chriseth/devcorecleanup ... Some cleanup regarding libdevcore. Also rename to avoid conflicts.	2016-08-08 15:11:36 +02:00
chriseth	ccd78d05d6	Correct library usage.	2016-08-08 12:26:07 +02:00
chriseth	7ea5770598	Do not install headers.	2016-08-05 16:35:24 +02:00
chriseth	f227050c20	Make solidity independent from ethcore.	2016-04-06 20:56:00 +02:00
chriseth	949b00ed59	Parsing for inline assembly.	2016-03-30 02:37:00 +02:00
chriseth	79167aa897	Move libevmasm and lll.	2016-03-23 23:10:10 +01:00
chriseth	f86451cd68	Fix solidity dependencies.	2015-11-26 12:40:15 +01:00
chriseth	46bc70e709	Build dependency fixes.	2015-11-24 16:12:42 +01:00
chriseth	a957322fd7	Preliminary why3 code output.	2015-10-27 00:49:27 +01:00
chriseth	e3dffb611f	File reorganisation.	2015-10-21 00:46:01 +02:00
debris	619c91321b	changes required to compile solidity in a single project	2015-09-01 15:30:26 +02:00
debris	1741e89c09	client refactor	2015-08-27 14:28:31 +02:00
arkpar	3ea1a62fa9	Refactoreed CMakeLists for new module system	2015-08-24 15:51:52 +02:00
chriseth	8d9eb68307	Modularise CMakeLists files and integrate tests.	2015-08-20 00:55:41 +02:00
Lefteris Karapetsas	1690f1c947	Add CMakeLists.txt for libsolidity	2015-08-19 14:57:25 +02:00