Skip to content

Commit

Permalink
Upgrades BAP to janestreet v0.16.0 libraries
Browse files Browse the repository at this point in the history
  • Loading branch information
@bmourad01
bmourad01 committed Apr 13, 2024
1 parent f969db3 commit 6a873d1
Show file tree
Hide file tree
Showing 208 changed files with 515 additions and 516 deletions.
2 changes: 1 addition & 1 deletion bap-abi.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"regular" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-analyze.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ depends: [
"bap-main" {= version}
"bap-std" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"linenoise" {>= "1.1.0" & < "2.0.0"}
"monads" {= version}
"bap-common" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-api.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ depends: [
"bap-common" {= version}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"fileutils"
"ppx_bap" {= version}
"regular" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-arm.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ depends: [
"bap-traces" {= version}
"bitvec-order" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"monads" {= version}
"bap-common" {= version}
"ogre" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-beagle-strings.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"bap-beagle" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-beagle.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ depends: [
"bap-primus" {= version}
"bap-std" {= version}
"bap-strings" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"monads" {= version}
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-bil.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ depends: [
"bap-std" {= version}
"bitvec-order" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"monads" {= version}
"bap-common" {= version}
"ogre" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-bml.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"odoc" {with-doc}
Expand Down
2 changes: 1 addition & 1 deletion bap-build.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ocamlbuild"
"ocamlfind"
Expand Down
2 changes: 1 addition & 1 deletion bap-bundle.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"camlzip" {>= "1.0" & < "2.0"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"fileutils"
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-byteweight-frontend.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ depends: [
"bap-byteweight" {= version}
"bap-std" {= version}
"cmdliner" {>= "1.0" & < "2.0"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"fileutils"
"bap-common" {= version}
"ocurl" {>= "0.9.0"}
Expand Down
2 changes: 1 addition & 1 deletion bap-byteweight.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ depends: [
"bap-signatures" {= version}
"bap-std" {= version}
"camlzip" {>= "1.0" & < "2.0"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"regular" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-c.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ depends: [
"bap-core-theory" {= version}
"bap-knowledge" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"odoc" {with-doc}
Expand Down
2 changes: 1 addition & 1 deletion bap-cache.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"fileutils"
"mmap"
"bap-common" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-callgraph-collator.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"graphlib" {= version}
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-callsites.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
4 changes: 2 additions & 2 deletions bap-common.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,12 @@ tags: ["bap" "meta"]
homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"base" {>= "v0.14" & < "v0.16"}
"base" {= "v0.16"}
"dune" {>= "3.1"}
"dune-configurator"
"dune-site"
"ocaml" {> "4.08.0"}
"stdio" {>= "v0.14" & < "v0.16"}
"stdio" {= "v0.16"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion bap-constant-tracker.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-primus" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
2 changes: 1 addition & 1 deletion bap-core-theory.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ depends: [
"bitvec-binprot" {= version}
"bitvec-order" {= version}
"bitvec-sexp" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"odoc" {with-doc}
Expand Down
2 changes: 1 addition & 1 deletion bap-cxxfilt.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ depends: [
"bap-demangle" {= version}
"bap-std" {= version}
"conf-binutils" {>= "0.3"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
2 changes: 1 addition & 1 deletion bap-demangle.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ depends: [
"bap-core-theory" {= version}
"bap-knowledge" {= version}
"bap-main" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
2 changes: 1 addition & 1 deletion bap-dependencies.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ogre" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-disassemble.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"bitvec-order" {= version}
"bitvec-sexp" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"monads" {= version}
"bap-common" {= version}
"ogre" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-dump-symbols.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"graphlib" {= version}
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-dwarf.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"regular" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-elementary.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ depends: [
"bap-knowledge" {= version}
"bap-std" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion bap-elf.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-dwarf" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"ppx_bitstring" {>= "4.0.0" & < "5.0.0"}
Expand Down
2 changes: 1 addition & 1 deletion bap-flatten.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"odoc" {with-doc}
]
Expand Down
2 changes: 1 addition & 1 deletion bap-frontc.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-c" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"FrontC" {>= "4.1.0"}
"bap-common" {= version}
"odoc" {with-doc}
Expand Down
2 changes: 1 addition & 1 deletion bap-frontend.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ depends: [
"bap-knowledge" {= version}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ocamlfind"
"regular" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-future.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"monads" {= version}
"bap-common" {= version}
"odoc" {with-doc}
Expand Down
2 changes: 1 addition & 1 deletion bap-ghidra.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"ppx_bap" {= version}
"bap-common" {= version}
"bap-std" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-glibc-runtime.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ depends: [
"bap-c" {= version}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ogre" {= version}
"odoc" {with-doc}
Expand Down
2 changes: 1 addition & 1 deletion bap-ida-plugin.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"regular" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-ida.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"regular" {= version}
"fileutils"
"bap-common" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-knowledge.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"ppx_bap" {= version}
"bap-common" {= version}
"monads" {= version}
Expand Down
3 changes: 2 additions & 1 deletion bap-llvm.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"conf-bap-llvm" {>= "1.8"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"mmap"
"monads" {= version}
"bap-common" {= version}
Expand All @@ -26,6 +26,7 @@ build: [
[
"ocaml" "tools/configure.ml"
"--with-llvm-config=%{conf-bap-llvm:config}%"
"--%{llvm-shared?disable:enable}%-llvm-static"
]
[
"dune"
Expand Down
4 changes: 2 additions & 2 deletions bap-main.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,10 +14,10 @@ depends: [
"bap-future" {= version}
"bap-plugins" {= version}
"bap-recipe" {= version}
"base" {>= "v0.14" & < "v0.16"}
"base" {= "v0.16"}
"cmdliner" {>= "1.0" & < "2.0"}
"bap-common" {= version}
"stdio" {>= "v0.14" & < "v0.16"}
"stdio" {= "v0.16"}
"odoc" {with-doc}
]
build: [
Expand Down
2 changes: 1 addition & 1 deletion bap-mc.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ depends: [
"bap-main" {= version}
"bap-std" {= version}
"bitvec" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ogre" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-microx.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
depends: [
"dune" {>= "3.1"}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"monads" {= version}
"bap-common" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-mips.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ depends: [
"bap-knowledge" {= version}
"bap-main" {= version}
"bap-std" {= version}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ogre" {= version}
"ppx_bap" {= version}
Expand Down
2 changes: 1 addition & 1 deletion bap-objdump.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"bitvec-sexp" {= version}
"bitvec" {= version}
"conf-binutils" {>= "0.3"}
"core_kernel" {>= "v0.14" & < "v0.16"}
"core_kernel" {= "v0.16"}
"bap-common" {= version}
"ppx_bap" {= version}
"re" {>= "1.0" & < "2.0"}
Expand Down
Loading

0 comments on commit 6a873d1

Please sign in to comment.