[dune] Bump dune version.

caisar.opam

@@ -9,7 +9,7 @@ depends: [
   "piqilib" {>= "0.6.14"}
   "zarith" {>= "1.7"}
   "ocplib-endian" {>= "1.0"}
-  "dune" {>= "2.9" & >= "2.7.1" & <= "2.9.0"}
+  "dune" {>= "2.9" & >= "2.9.3"}
   "base" {>= "v0.14.0"}
   "stdio" {>= "v0.14.0"}
   "cmdliner" {= "1.0.4"}

dune-project

@@ -19,7 +19,7 @@
    (piqilib (>= 0.6.14))
    (zarith (>= 1.7))
    (ocplib-endian (>= 1.0))
-   (dune (and (>= 2.7.1) (<= 2.9.0)))
+   (dune (>= 2.9.3))
    (base (>= v0.14.0))
    (stdio (>= v0.14.0))
    (cmdliner (= 1.0.4))
@@ -45,7 +45,7 @@
   (synopsis "NNet parser")
   (depends
    (ocaml (>= 4.13))
-   (dune (and (>= 2.7.1) (<= 2.9.0)))
+   (dune (>= 2.9.3))
    (base (>= v0.14.0))
   )
 )
@@ -55,7 +55,7 @@
   (synopsis "ONNX parser")
   (depends
    (ocaml (>= 4.13))
-   (dune (and (>= 2.7.1) (<= 2.9.0)))
+   (dune (>= 2.9.3))
    (base (>= v0.14.0))
    (ocaml-protoc-plugin (= 4.2.0))
   )

nnet.opam

@@ -4,7 +4,7 @@ version: "0.1"
 synopsis: "NNet parser"
 depends: [
   "ocaml" {>= "4.13"}
-  "dune" {>= "2.9" & >= "2.7.1" & <= "2.9.0"}
+  "dune" {>= "2.9" & >= "2.9.3"}
   "base" {>= "v0.14.0"}
   "odoc" {with-doc}
 ]

onnx.opam

@@ -4,7 +4,7 @@ version: "0.1"
 synopsis: "ONNX parser"
 depends: [
   "ocaml" {>= "4.13"}
-  "dune" {>= "2.9" & >= "2.7.1" & <= "2.9.0"}
+  "dune" {>= "2.9" & >= "2.9.3"}
   "base" {>= "v0.14.0"}
   "ocaml-protoc-plugin" {= "4.2.0"}
   "odoc" {with-doc}

tests/marabou.t

@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=Marabou - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=Marabou - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
   > theory T
   >   use TestNetwork.AsTuple
   >   use ieee_float.Float64

tests/simple.t

@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
   > theory T
   >   use TestNetwork.AsTuple
   >   use ieee_float.Float64

tests/simple_onnx.t

@@ -17,7 +17,7 @@ Test verify
 
   $ PATH=$(pwd)/bin:$PATH
 
-  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9./]*/$TMPFILE/'
+  $ caisar verify -L . --format whyml --prover=PyRAT - 2>&1 <<EOF | sed 's/\/tmp\/[a-z0-9_./]*/$TMPFILE/'
   > theory T
   >   use TestNetworkONNX.AsTuple
   >   use ieee_float.Float64