index
:
dexon-solidity
develop
release
DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
libsolidity
/
CMakeLists.txt
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
|
\
|
*
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