File tree Expand file tree Collapse file tree 3 files changed +4
-7
lines changed
Expand file tree Collapse file tree 3 files changed +4
-7
lines changed Original file line number Diff line number Diff line change 1- (lang dune 2 .0)
1+ (lang dune 3 .0)
22( generate_opam_files true )
33
44(name ocplib-simplex)
2323 ( license " LGPL-2.1-or-later" )
2424 ( depends
2525 ( ocaml ( >= 4 .02.0) )
26- ( dune ( >= 2 .0) )
26+ ( dune ( >= 3 .0) )
2727 ( ocamlfind ( >= 1 .9.1) )
2828 ( zarith :with -test)
2929 ( logs ( >= 0 .5.0) )
Original file line number Diff line number Diff line change @@ -19,14 +19,14 @@ doc: "https://ocamlpro.github.io/ocplib-simplex"
1919bug-reports: "https://github.com/OCamlPro/ocplib-simplex/issues"
2020depends: [
2121 "ocaml" {>= "4.02.0"}
22- "dune" {>= "2 .0"}
22+ "dune" {>= "3.0" & >= "3 .0"}
2323 "ocamlfind" {>= "1.9.1"}
2424 "zarith" {with-test}
2525 "logs" {>= "0.5.0"}
2626 "odoc" {with-doc}
2727]
2828build: [
29- ["dune" "subst"] {pinned }
29+ ["dune" "subst"] {dev }
3030 [
3131 "dune"
3232 "build"
Original file line number Diff line number Diff line change 1-
21open Simplex
32
43let large i = Sim.Core.R2. of_r (Q. of_int i)
5- let upper i = Sim.Core.R2. upper (Q. of_int i)
6- let lower i = Sim.Core.R2. lower (Q. of_int i)
74
85let bnd r e = {Sim.Core. bvalue = r; explanation = e}
96
You can’t perform that action at this time.
0 commit comments