Skip to content
Snippets Groups Projects
Commit d1042763 authored by Michele Alberti's avatar Michele Alberti
Browse files

[dune] Pass of dune fmt.

parent 7bf317ef
No related branches found
No related tags found
No related merge requests found
(install
(section (site (caisar config)))
(files caisar-detection-data.conf
(drivers/pyrat.drv as drivers/pyrat.drv)
(drivers/marabou.drv as drivers/marabou.drv)
(drivers/saver.drv as drivers/saver.drv)
)
(package caisar))
(section
(site
(caisar config)))
(files
caisar-detection-data.conf
(drivers/pyrat.drv as drivers/pyrat.drv)
(drivers/marabou.drv as drivers/marabou.drv)
(drivers/saver.drv as drivers/saver.drv))
(package caisar))
(library
(name nnet)
(public_name caisar-nnet)
(libraries base csv)
(synopsis "NNet parser for CAISAR")
)
(name nnet)
(public_name caisar-nnet)
(libraries base csv)
(synopsis "NNet parser for CAISAR"))
(library
(name onnx)
(public_name caisar-onnx)
(libraries base stdio ocaml-protoc-plugin)
(synopsis "ONNX parser for CAISAR")
)
(name onnx)
(public_name caisar-onnx)
(libraries base stdio ocaml-protoc-plugin)
(synopsis "ONNX parser for CAISAR"))
(rule
(deps onnx_protoc.proto generate_onnx_interface.sh)
(targets onnx_protoc.ml)
(action (run ./generate_onnx_interface.sh))
)
(deps onnx_protoc.proto generate_onnx_interface.sh)
(targets onnx_protoc.ml)
(action
(run ./generate_onnx_interface.sh)))
(library
(name ovo)
(public_name caisar-ovo)
(libraries base csv)
(synopsis "OVO parser for CAISAR")
)
(name ovo)
(public_name caisar-ovo)
(libraries base csv)
(synopsis "OVO parser for CAISAR"))
(executable
(name main)
(public_name caisar)
(libraries menhirLib yojson cmdliner logs logs.cli logs.fmt fmt.tty base unix str ppx_deriving_yojson.runtime nnet onnx ovo why3 dune-site re)
(preprocess (pps ppx_deriving_yojson ppx_deriving.show ppx_deriving.ord ppx_deriving.eq))
(package caisar)
)
(name main)
(public_name caisar)
(libraries
menhirLib
yojson
cmdliner
logs
logs.cli
logs.fmt
fmt.tty
base
unix
str
ppx_deriving_yojson.runtime
nnet
onnx
ovo
why3
dune-site
re)
(preprocess
(pps
ppx_deriving_yojson
ppx_deriving.show
ppx_deriving.ord
ppx_deriving.eq))
(package caisar))
(include_subdirs unqualified)
(generate_sites_module
(module dirs)
(sites caisar))
(module dirs)
(sites caisar))
(install
(section (site (caisar stdlib)))
(section
(site
(caisar stdlib)))
(files caisar.mlw)
(package caisar))
(package caisar))
(cram
(deps
(package caisar)
TestNetwork.nnet
TestNetworkONNX.onnx
TestSVM.ovo
bin/pyrat.py
bin/Marabou
bin/saver
)
(deps
(package caisar)
)
TestNetwork.nnet
TestNetworkONNX.onnx
TestSVM.ovo
bin/pyrat.py
bin/Marabou
bin/saver)
(package caisar))
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment