saw-script/cabal.project at master · jpziegler/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
packages:
    saw-script.cabal
    deps/llvm-pretty
    deps/llvm-pretty-bc-parser
    deps/jvm-parser
    deps/aig
    deps/abcBridge
    deps/cryptol
    deps/saw-core
    deps/saw-core-aig
    deps/saw-core-coq
    deps/saw-core-sbv
    deps/saw-core-what4
    deps/cryptol-verifier
    deps/jvm-verifier
    deps/what4/what4
    deps/what4/what4-abc
    deps/crucible/crucible
    deps/crucible/crucible-jvm
    deps/crucible/crucible-llvm
    deps/crucible/crucible-saw
    deps/crucible/crux
    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