Upgrades BAP to janestreet v0.17 libraries (and OCaml 5)

Author: bmourad01

bap-abi.opam

@@ -12,7 +12,7 @@ depends: [
   "dune" {>= "3.1"}
   "bap-main" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "bap-common" {= version}
   "ppx_bap" {= version}
   "regular" {= version}

bap-analyze.opam

@@ -15,7 +15,7 @@ depends: [
   "bap-main" {= version}
   "bap-std" {= version}
   "bitvec" {= version}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "linenoise" {>= "1.1.0" & < "2.0.0"}
   "monads" {= version}
   "bap-common" {= version}

bap-api.opam

@@ -13,7 +13,7 @@ depends: [
   "bap-common" {= version}
   "bap-main" {= version}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "fileutils"
   "ppx_bap" {= version}
   "regular" {= version}

bap-arm.opam

@@ -21,7 +21,7 @@ depends: [
   "bap-traces" {= version}
   "bitvec-order" {= version}
   "bitvec" {= version}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "monads" {= version}
   "bap-common" {= version}
   "ogre" {= version}

bap-beagle-strings.opam

@@ -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.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "bap-common" {= version}
   "bap-beagle" {= version}
   "ppx_bap" {= version}

bap-beagle.opam

@@ -15,7 +15,7 @@ depends: [
   "bap-primus" {= version}
   "bap-std" {= version}
   "bap-strings" {= version}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "monads" {= version}
   "bap-common" {= version}
   "ppx_bap" {= version}

bap-bil.opam

@@ -17,7 +17,7 @@ depends: [
   "bap-std" {= version}
   "bitvec-order" {= version}
   "bitvec" {= version}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "monads" {= version}
   "bap-common" {= version}
   "ogre" {= version}

bap-bml.opam

@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
   "dune" {>= "3.1"}
   "bap-std" {= version}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "bap-common" {= version}
   "ppx_bap" {= version}
   "odoc" {with-doc}

bap-build.opam

@@ -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.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "bap-common" {= version}
   "ocamlbuild"
   "ocamlfind"

bap-bundle.opam

@@ -11,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
   "dune" {>= "3.1"}
   "camlzip" {>= "1.0" & < "2.0"}
-  "core_kernel" {>= "v0.16" & < "v0.17"}
+  "core_kernel" {>= "v0.17"}
   "fileutils"
   "bap-common" {= version}
   "ppx_bap" {= version}