saw-script/cabal.project at master · msaaltink/saw-script · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
packages:
    saw-script.cabal
    saw-remote-api
    crux-mir-comp
    cryptol-saw-core
    rme
    saw-core
    saw-core-aig
    saw-core-sbv
    saw-core-what4
    saw-core-coq
    deps/llvm-pretty
    deps/llvm-pretty-bc-parser
    deps/jvm-parser
    deps/aig
    deps/abcBridge
    deps/cryptol
    deps/what4/what4
    deps/crucible/crucible
    deps/crucible/crucible-jvm
    deps/crucible/crucible-llvm
    deps/crucible/crucible-saw
    deps/crucible/crux
    deps/crucible/crux-mir
    deps/parameterized-utils
    deps/flexdis86
    deps/flexdis86/binary-symbols
    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