aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/CMakeLists.txt
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Integration with CVC4Leonardo Alt2018-04-171-3/+23
* Improve Z3 message in cmakeAlex Beregszaszi2017-10-131-2/+2
* Prepare build system for Z3.chriseth2017-08-231-1/+15
* z3 conditionschriseth2017-08-231-1/+1
* CMake: Cleanup "local" include pathPaweł Bylica2017-08-231-1/+0
* CMake: Remove libsolidity <- boost::regex dependencyPaweł Bylica2017-08-211-1/+1
* CMake: Make libs dependencies explicitPaweł Bylica2017-08-211-1/+1
* CMake: Simplify libsolidity configPaweł Bylica2017-08-181-19/+5
* CMake: Build static libs by defaultPaweł Bylica2017-08-181-2/+0
* Adapt EVM codegen to new namespace.chriseth2017-05-261-1/+3
* Rename libevmasm.chriseth2016-08-101-1/+1
* Merge pull request #834 from chriseth/devcorecleanupchriseth2016-08-081-1/+1
|\
| * Correct library usage.chriseth2016-08-081-1/+1
* | Do not install headers.chriseth2016-08-051-1/+0
|/
* Make solidity independent from ethcore.chriseth2016-04-071-1/+1
* Parsing for inline assembly.chriseth2016-03-301-0/+1
* Move libevmasm and lll.chriseth2016-03-241-1/+1
* Fix solidity dependencies.chriseth2015-11-261-1/+1
* Build dependency fixes.chriseth2015-11-241-1/+1
* Preliminary why3 code output.chriseth2015-10-271-0/+1
* File reorganisation.chriseth2015-10-211-2/+6
* changes required to compile solidity in a single projectdebris2015-09-011-4/+1
* client refactordebris2015-08-271-4/+1
* Refactoreed CMakeLists for new module systemarkpar2015-08-241-6/+3
* Modularise CMakeLists files and integrate tests.chriseth2015-08-201-6/+6
* Add CMakeLists.txt for libsolidityLefteris Karapetsas2015-08-191-0/+25