aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/CMakeLists.txt
Commit message (Expand)AuthorAgeFilesLines
* Ensure liblangutil is compiled and linked as its own static library.Christian Parpart2018-11-221-3/+3
* Isolating files shared between Yul- and Solidity language frontend.Christian Parpart2018-11-221-2/+2
* Renaming libjulia to libyulChristian Parpart2018-10-151-3/+3
* Do not force GMP to be present as dependency of CVC4, but also allow CLN inst...Daniel Kirchner2018-08-091-11/+4
* Add workarounds for building against CVC4 on ArchLinux.Daniel Kirchner2018-08-091-1/+1
* cmake flags to make solvers optional. Implementation of #4651Matías Aereal Aeón2018-08-081-1/+2
* [SMTChecker] SMTPortfolio: use all SMT solvers availableLeonardo Alt2018-07-271-13/+16
* Fix link error when using boost shared librarymingchuan2018-05-111-1/+1
* [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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 01:26:07 +0800