dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Improve Z3 message in cmake	Alex Beregszaszi	2017-10-13	1	-2/+2
\|
*	Prepare build system for Z3.	chriseth	2017-08-23	1	-1/+15
\|
*	z3 conditions	chriseth	2017-08-23	1	-1/+1
\|
*	CMake: Cleanup "local" include path	Paweł Bylica	2017-08-23	1	-1/+0
\|
*	CMake: Remove libsolidity <- boost::regex dependency	Paweł Bylica	2017-08-21	1	-1/+1
\|
*	CMake: Make libs dependencies explicit	Paweł Bylica	2017-08-21	1	-1/+1
\|
*	CMake: Simplify libsolidity config	Paweł Bylica	2017-08-18	1	-19/+5
\|
*	CMake: Build static libs by default	Paweł Bylica	2017-08-18	1	-2/+0
\|
*	Adapt EVM codegen to new namespace.	chriseth	2017-05-26	1	-1/+3
\|
*	Rename libevmasm.	chriseth	2016-08-10	1	-1/+1
\|
*	Merge pull request #834 from chriseth/devcorecleanup	chriseth	2016-08-08	1	-1/+1
\|\ \| \| \| \|	Some cleanup regarding libdevcore. Also rename to avoid conflicts.
\| *	Correct library usage.	chriseth	2016-08-08	1	-1/+1
\| \|
* \|	Do not install headers.	chriseth	2016-08-05	1	-1/+0
\|/
*	Make solidity independent from ethcore.	chriseth	2016-04-07	1	-1/+1
\|
*	Parsing for inline assembly.	chriseth	2016-03-30	1	-0/+1
\|
*	Move libevmasm and lll.	chriseth	2016-03-24	1	-1/+1
\|
*	Fix solidity dependencies.	chriseth	2015-11-26	1	-1/+1
\|
*	Build dependency fixes.	chriseth	2015-11-24	1	-1/+1
\|
*	Preliminary why3 code output.	chriseth	2015-10-27	1	-0/+1
\|
*	File reorganisation.	chriseth	2015-10-21	1	-2/+6
\|
*	changes required to compile solidity in a single project	debris	2015-09-01	1	-4/+1
\|
*	client refactor	debris	2015-08-27	1	-4/+1
\|
*	Refactoreed CMakeLists for new module system	arkpar	2015-08-24	1	-6/+3
\|
*	Modularise CMakeLists files and integrate tests.	chriseth	2015-08-20	1	-6/+6
\|
*	Add CMakeLists.txt for libsolidity	Lefteris Karapetsas	2015-08-19	1	-0/+25