mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-25 21:54:51 +03:00
e6a3fb0b87
The only other changes required are (1) deleting an unused dependency on `what4-serialize`, and (2) raising upper version bounds on `what4`. This brings in submodule changes from the following: * GaloisInc/asl-translator#48, which performed a similar `what4` adaptation. * GaloisInc/semmc#78, which performed a similar `what4` adaptation. * GaloisIns/crucible#1068, which ensures that everything can build against `tasty-sugar >= 2.0` (the version of the library that `what4-1.4` depends on).
44 lines
1.3 KiB
Plaintext
44 lines
1.3 KiB
Plaintext
packages: base/
|
|
macaw-aarch32/
|
|
macaw-aarch32-symbolic/
|
|
macaw-semmc/
|
|
macaw-ppc/
|
|
macaw-ppc-symbolic/
|
|
macaw-riscv/
|
|
x86/
|
|
symbolic/
|
|
x86_symbolic/
|
|
refinement/
|
|
utils/compare-dwarfdump
|
|
deps/macaw-loader/macaw-loader
|
|
deps/macaw-loader/macaw-loader-aarch32
|
|
deps/macaw-loader/macaw-loader-ppc
|
|
deps/macaw-loader/macaw-loader-x86
|
|
deps/semmc/semmc/
|
|
deps/semmc/semmc-ppc/
|
|
deps/semmc/semmc-arm/
|
|
deps/semmc/semmc-aarch32/
|
|
deps/semmc/semmc-synthesis/
|
|
deps/semmc/semmc-learning/
|
|
deps/dismantle/dismantle-tablegen/
|
|
deps/dismantle/dismantle-ppc/
|
|
deps/dismantle/dismantle-arm/
|
|
deps/dismantle/dismantle-arm-xml/
|
|
deps/dismantle/dismantle-thumb/
|
|
deps/crucible/crucible/
|
|
deps/crucible/crucible-llvm/
|
|
deps/crucible/crucible-symio/
|
|
deps/what4/what4/
|
|
deps/dwarf/
|
|
deps/elf-edit/
|
|
deps/flexdis86/
|
|
deps/flexdis86/binary-symbols/
|
|
deps/llvm-pretty/
|
|
deps/llvm-pretty-bc-parser/
|
|
deps/asl-translator/
|
|
deps/arm-asl-parser/
|
|
deps/grift/grift/
|
|
deps/bv-sized/
|
|
deps/bv-sized-float/
|
|
deps/softfloat-hs/
|