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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add headers to targets in CMakeLists.txt.	Daniel Kirchner	2018-12-17	1	-2/+56
\|
*	Move AsmCodeGen.	chriseth	2018-12-04	1	-0/+1
\|
*	Add skeleton for contract level checker.	chriseth	2018-11-30	1	-0/+1
\|
*	Fix merge problem in CMake files.	chriseth	2018-11-26	1	-1/+0
\|
*	CMake: Explicitly state which files to compile instead of relying on globbing.	Christian Parpart	2018-11-26	1	-5/+52
\| \| \| \| \|	Also remove header file lists, as there is no need to add them to add_library() or add_executable(), which should lower maintenance of the cmake files.
*	CMake: Isolate libyul into its own static library	Christian Parpart	2018-11-23	1	-3/+3
\|
*	Ensure liblangutil is compiled and linked as its own static library.	Christian Parpart	2018-11-22	1	-3/+3
\|
*	Isolating files shared between Yul- and Solidity language frontend.	Christian Parpart	2018-11-22	1	-2/+2
\|
*	Renaming libjulia to libyul	Christian Parpart	2018-10-15	1	-3/+3
\|
*	Do not force GMP to be present as dependency of CVC4, but also allow CLN ↵	Daniel Kirchner	2018-08-09	1	-11/+4
\| \| \| \|	instead.
*	Add workarounds for building against CVC4 on ArchLinux.	Daniel Kirchner	2018-08-09	1	-1/+1
\|
*	cmake flags to make solvers optional. Implementation of #4651	Matías Aereal Aeón	2018-08-08	1	-1/+2
\|
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-13/+16
\|
*	Fix link error when using boost shared library	mingchuan	2018-05-11	1	-1/+1
\|
*	[SMTChecker] Integration with CVC4	Leonardo Alt	2018-04-17	1	-3/+23
\|
*	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