upgrade bitwuzla 'refactor-node-manager'

bitwuzla · Nov 8, 2023 · 1f4cff5 · 1f4cff5
1 parent 91de749
commit 1f4cff5
Show file tree

Hide file tree

Showing 12 changed files with 2,569 additions and 697 deletions.
diff --git a/bitwuzla-cxx.opam b/bitwuzla-cxx.opam
@@ -16,7 +16,7 @@ doc: "https://bitwuzla.github.io/docs/ocaml/"
 bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"
 depends: [
   "dune" {>= "3.7"}
-  "ocaml" {>= "4.12" & < "5"}
+  "ocaml" {>= "4.12"}
   "conf-git" {build}
   "conf-gcc" {build}
   "conf-g++" {build}
@@ -25,10 +25,6 @@ depends: [
   "ppx_expect" {with-test & >= "v0.13"}
   "odoc" {with-doc}
 ]
-conflicts: [
-  "bitwuzla-c"
-  "bitwuzla" {< "0.1"}
-]
 build: [
   ["dune" "subst"] {dev}
   [