aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/CMakeLists.txt
Commit message (Collapse)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 ↵Daniel Kirchner2018-08-091-11/+4
| | | | instead.
* 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
|\ | | | | Some cleanup regarding libdevcore. Also rename to avoid conflicts.
| * 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 (git 2.34.1) at 2024-11-18 11:45:32 +0800