Tags: msuiche/porosity
Toggle v20180116.2's commit message
Merge pull request #45 from vgorin/master
update readme: add info about boost dependency
Toggle v20180116.1's commit message
Merge pull request #45 from vgorin/master
update readme: add info about boost dependency
Toggle v20171027.5's commit message
Merge pull request #31 from b-mueller/master
Fix a couple of segfaults
Toggle v20171027.4's commit message
Merge pull request #33 from montekki/read-code-from-file
Read code from file
Toggle v20171027.3's commit message
Merge pull request #33 from montekki/read-code-from-file
Read code from file
Toggle v20171027.2's commit message
Merge pull request #36 from montekki/add-support-for-cmake
Adds a CMakeLists.txt to build porosity
Toggle v20171027.1's commit message
Merge pull request #37 from seed/symb-edge-cfg
Add symbol name to edges of CFG when available.
Toggle v20171013.2's commit message
Toggle v20170902.1's commit message
Merge pull request #23 from slavikus/xcode-support
Xcode support
Toggle v20170816.1's commit message
Merge pull request #20 from kthomas/scan-rpc
Scan for contracts using JSON-RPC
You can’t perform that action at this time.