From f93791f49a67a5ecbaf5da3b602a3d6403986cd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr> Date: Wed, 30 Jun 2021 09:07:20 +0200 Subject: [PATCH] Move first version to standalone directory --- acasxu.why => examples/acasxu.why | 0 config.ml => standalone/config.ml | 0 config.mli => standalone/config.mli | 0 dune => standalone/dune | 0 engine.ml => standalone/engine.ml | 0 engine.mli => standalone/engine.mli | 0 main.ml => standalone/main.ml | 0 marabou.ml => standalone/marabou.ml | 0 marabou.mli => standalone/marabou.mli | 0 model.ml => standalone/model.ml | 0 model.mli => standalone/model.mli | 0 property.ml => standalone/property.ml | 0 property.mli => standalone/property.mli | 0 property_lexer.mll => standalone/property_lexer.mll | 0 property_parser.mly => standalone/property_parser.mly | 0 property_types.mli => standalone/property_types.mli | 0 pyrat.ml => standalone/pyrat.ml | 0 pyrat.mli => standalone/pyrat.mli | 0 solver.ml => standalone/solver.ml | 0 solver.mli => standalone/solver.mli | 0 utils.ml => standalone/utils.ml | 0 utils.mli => standalone/utils.mli | 0 22 files changed, 0 insertions(+), 0 deletions(-) rename acasxu.why => examples/acasxu.why (100%) rename config.ml => standalone/config.ml (100%) rename config.mli => standalone/config.mli (100%) rename dune => standalone/dune (100%) rename engine.ml => standalone/engine.ml (100%) rename engine.mli => standalone/engine.mli (100%) rename main.ml => standalone/main.ml (100%) rename marabou.ml => standalone/marabou.ml (100%) rename marabou.mli => standalone/marabou.mli (100%) rename model.ml => standalone/model.ml (100%) rename model.mli => standalone/model.mli (100%) rename property.ml => standalone/property.ml (100%) rename property.mli => standalone/property.mli (100%) rename property_lexer.mll => standalone/property_lexer.mll (100%) rename property_parser.mly => standalone/property_parser.mly (100%) rename property_types.mli => standalone/property_types.mli (100%) rename pyrat.ml => standalone/pyrat.ml (100%) rename pyrat.mli => standalone/pyrat.mli (100%) rename solver.ml => standalone/solver.ml (100%) rename solver.mli => standalone/solver.mli (100%) rename utils.ml => standalone/utils.ml (100%) rename utils.mli => standalone/utils.mli (100%) diff --git a/acasxu.why b/examples/acasxu.why similarity index 100% rename from acasxu.why rename to examples/acasxu.why diff --git a/config.ml b/standalone/config.ml similarity index 100% rename from config.ml rename to standalone/config.ml diff --git a/config.mli b/standalone/config.mli similarity index 100% rename from config.mli rename to standalone/config.mli diff --git a/dune b/standalone/dune similarity index 100% rename from dune rename to standalone/dune diff --git a/engine.ml b/standalone/engine.ml similarity index 100% rename from engine.ml rename to standalone/engine.ml diff --git a/engine.mli b/standalone/engine.mli similarity index 100% rename from engine.mli rename to standalone/engine.mli diff --git a/main.ml b/standalone/main.ml similarity index 100% rename from main.ml rename to standalone/main.ml diff --git a/marabou.ml b/standalone/marabou.ml similarity index 100% rename from marabou.ml rename to standalone/marabou.ml diff --git a/marabou.mli b/standalone/marabou.mli similarity index 100% rename from marabou.mli rename to standalone/marabou.mli diff --git a/model.ml b/standalone/model.ml similarity index 100% rename from model.ml rename to standalone/model.ml diff --git a/model.mli b/standalone/model.mli similarity index 100% rename from model.mli rename to standalone/model.mli diff --git a/property.ml b/standalone/property.ml similarity index 100% rename from property.ml rename to standalone/property.ml diff --git a/property.mli b/standalone/property.mli similarity index 100% rename from property.mli rename to standalone/property.mli diff --git a/property_lexer.mll b/standalone/property_lexer.mll similarity index 100% rename from property_lexer.mll rename to standalone/property_lexer.mll diff --git a/property_parser.mly b/standalone/property_parser.mly similarity index 100% rename from property_parser.mly rename to standalone/property_parser.mly diff --git a/property_types.mli b/standalone/property_types.mli similarity index 100% rename from property_types.mli rename to standalone/property_types.mli diff --git a/pyrat.ml b/standalone/pyrat.ml similarity index 100% rename from pyrat.ml rename to standalone/pyrat.ml diff --git a/pyrat.mli b/standalone/pyrat.mli similarity index 100% rename from pyrat.mli rename to standalone/pyrat.mli diff --git a/solver.ml b/standalone/solver.ml similarity index 100% rename from solver.ml rename to standalone/solver.ml diff --git a/solver.mli b/standalone/solver.mli similarity index 100% rename from solver.mli rename to standalone/solver.mli diff --git a/utils.ml b/standalone/utils.ml similarity index 100% rename from utils.ml rename to standalone/utils.ml diff --git a/utils.mli b/standalone/utils.mli similarity index 100% rename from utils.mli rename to standalone/utils.mli -- GitLab