cabal.project

packages:
    saw-script.cabal
    saw-remote-api
    crucible-mir-comp
    crux-mir-comp
    cryptol-saw-core
    rme
    verif-viewer
    saw-core
    saw-core-aig
    saw-core-sbv
    saw-core-what4
    saw-core-coq
    heapster-saw
    deps/llvm-pretty
    deps/llvm-pretty-bc-parser
    deps/jvm-parser
    deps/aig
    deps/cryptol
    deps/what4/what4
    deps/what4/what4-transition-system
    deps/language-sally
    deps/crucible/crucible
    deps/crucible/crucible-concurrency
    deps/crucible/crucible-jvm
    deps/crucible/crucible-llvm
    deps/crucible/crucible-mir
    deps/crucible/crucible-symio
    deps/crucible/crucible-syntax
    deps/crucible/crux
    deps/crucible/crux-mir
    deps/parameterized-utils
    deps/flexdis86
    deps/flexdis86/binary-symbols
    deps/lmdb/lmdb
    deps/lmdb/lmdb-simple
    deps/macaw/base
    deps/macaw/symbolic
    deps/macaw/x86
    deps/macaw/x86_symbolic
    deps/elf-edit
    deps/dwarf
    deps/argo/argo
    deps/argo/tasty-script-exitcode
    deps/cryptol/cryptol-remote-api
    deps/language-rust

source-repository-package
    type: git
    location: https://github.com/eddywestbrook/hobbits.git
    tag: 70963e0e3eba2b16f6fc030acb582e8100955e47