Merge branch 'stable/0.2'

Makefile

 all:
-	dune build --root=. @install caisar.opam caisar-nnet.opam caisar-onnx.opam caisar-ovo.opam caisar-ir.opam
+	dune build --root=. @install caisar.opam caisar-nnet.opam caisar-onnx.opam caisar-ovo.opam caisar-ir.opam caisar-xgboost.opam
 
 all-ci:
-	dune build -j2 --root=. @install caisar.opam caisar-nnet.opam caisar-onnx.opam caisar-ovo.opam caisar-ir.opam
+	dune build -j2 --root=. @install caisar.opam caisar-nnet.opam caisar-onnx.opam caisar-ovo.opam caisar-ir.opam caisar-xgboost.opam
 
 install:
 	dune install

caisar-xgboost.opam

+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "0.2"
+synopsis: "XGBOOST parser for CAISAR"
+maintainer: [
+  "LAISER team, Software Safety and Security Laboratory, CEA-List"
+]
+authors: ["LAISER team, Software Safety and Security Laboratory, CEA-List"]
+license: "LGPL-2.1-only"
+homepage: "https://git.frama-c.com/pub/caisar"
+doc: "https://git.frama-c.com/pub/caisar"
+bug-reports: "https://git.frama-c.com/pub/caisar/issues"
+depends: [
+  "ocaml" {>= "4.13"}
+  "dune" {>= "2.9" & >= "2.9.3"}
+  "base" {>= "v0.14.0"}
+  "ocamlgraph" {>= "1.8.8"}
+  "ppx_deriving" {>= "4.4.1"}
+  "ppx_deriving_yojson" {>= "3.6.1"}
+  "csv" {>= "2.4"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://git.frama-c.com/pub/caisar.git"

dune-project

@@ -49,6 +49,20 @@
   )
 )
 
+(package
+  (name caisar-xgboost)
+  (synopsis "XGBOOST parser for CAISAR")
+  (depends
+   (ocaml (>= 4.13))
+   (dune (>= 2.9.3))
+   (base (>= v0.14.0))
+   (ocamlgraph (>= 1.8.8))
+   (ppx_deriving (>= 4.4.1))
+   (ppx_deriving_yojson (>= 3.6.1))
+   (csv (>= 2.4))
+  )
+)
+
 (package
   (name caisar-ir)
   (synopsis "CAISAR's intermediate representation")

lib/xgboost/dune

 (library
- (public_name caisar.xgboost)
+ (public_name caisar-xgboost)
  (name caisar_xgboost)
  (preprocess
   (pps ppx_deriving.show ppx_deriving_yojson))