Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / phulin / symbolic-trace
Symbolic execution of LLVM IR traces for program understanding.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/phulin%2Fsymbolic-trace
Stars: 14
Forks: 3
Open Issues: 1
License: None
Language: Haskell
Repo Size: 418 KB
Dependencies:
18
Created: over 11 years ago
Updated: 12 months ago
Last pushed: over 10 years ago
Last synced: 10 months ago
Files
Loading...
Readme
Loading...
Dependencies
symbolic-trace.cabal
hackage
- aeson *
- base *
- binary >=0.6.0.0
- bytestring *
- containers >=0.5.0.0
- deepseq *
- directory *
- filepath *
- llvm-base-types *
- llvm-data-interop *
- mtl *
- network *
- pretty *
- process *
- reset-types *
- text *
- transformers *
- zlib *