9 Commits

Author	SHA1	Message	Date
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