From 146af2452a5ca10852dd9b8abf8705c9144f179d Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 24 Jun 2022 09:27:51 +0200
Subject: [PATCH] Moving pdg_types and value_types out of src/plugins
---
src/{plugins => kernel_externals}/pdg_types/pdgIndex.ml | 0
src/{plugins => kernel_externals}/pdg_types/pdgIndex.mli | 0
src/{plugins => kernel_externals}/pdg_types/pdgMarks.ml | 0
src/{plugins => kernel_externals}/pdg_types/pdgMarks.mli | 0
src/{plugins => kernel_externals}/pdg_types/pdgTypes.ml | 0
src/{plugins => kernel_externals}/pdg_types/pdgTypes.mli | 0
src/{plugins => kernel_externals}/value_types/README.md | 0
src/{plugins => kernel_externals}/value_types/cilE.ml | 0
src/{plugins => kernel_externals}/value_types/cilE.mli | 0
src/{plugins => kernel_externals}/value_types/cvalue.ml | 0
src/{plugins => kernel_externals}/value_types/cvalue.mli | 0
src/{plugins => kernel_externals}/value_types/function_Froms.ml | 0
src/{plugins => kernel_externals}/value_types/function_Froms.mli | 0
src/{plugins => kernel_externals}/value_types/inout_type.ml | 0
src/{plugins => kernel_externals}/value_types/inout_type.mli | 0
src/{plugins => kernel_externals}/value_types/precise_locs.ml | 0
src/{plugins => kernel_externals}/value_types/precise_locs.mli | 0
src/{plugins => kernel_externals}/value_types/value_types.ml | 0
src/{plugins => kernel_externals}/value_types/value_types.mli | 0
src/{plugins => kernel_externals}/value_types/widen_type.ml | 0
src/{plugins => kernel_externals}/value_types/widen_type.mli | 0
21 files changed, 0 insertions(+), 0 deletions(-)
rename src/{plugins => kernel_externals}/pdg_types/pdgIndex.ml (100%)
rename src/{plugins => kernel_externals}/pdg_types/pdgIndex.mli (100%)
rename src/{plugins => kernel_externals}/pdg_types/pdgMarks.ml (100%)
rename src/{plugins => kernel_externals}/pdg_types/pdgMarks.mli (100%)
rename src/{plugins => kernel_externals}/pdg_types/pdgTypes.ml (100%)
rename src/{plugins => kernel_externals}/pdg_types/pdgTypes.mli (100%)
rename src/{plugins => kernel_externals}/value_types/README.md (100%)
rename src/{plugins => kernel_externals}/value_types/cilE.ml (100%)
rename src/{plugins => kernel_externals}/value_types/cilE.mli (100%)
rename src/{plugins => kernel_externals}/value_types/cvalue.ml (100%)
rename src/{plugins => kernel_externals}/value_types/cvalue.mli (100%)
rename src/{plugins => kernel_externals}/value_types/function_Froms.ml (100%)
rename src/{plugins => kernel_externals}/value_types/function_Froms.mli (100%)
rename src/{plugins => kernel_externals}/value_types/inout_type.ml (100%)
rename src/{plugins => kernel_externals}/value_types/inout_type.mli (100%)
rename src/{plugins => kernel_externals}/value_types/precise_locs.ml (100%)
rename src/{plugins => kernel_externals}/value_types/precise_locs.mli (100%)
rename src/{plugins => kernel_externals}/value_types/value_types.ml (100%)
rename src/{plugins => kernel_externals}/value_types/value_types.mli (100%)
rename src/{plugins => kernel_externals}/value_types/widen_type.ml (100%)
rename src/{plugins => kernel_externals}/value_types/widen_type.mli (100%)
diff --git a/src/plugins/pdg_types/pdgIndex.ml b/src/kernel_externals/pdg_types/pdgIndex.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgIndex.ml
rename to src/kernel_externals/pdg_types/pdgIndex.ml
diff --git a/src/plugins/pdg_types/pdgIndex.mli b/src/kernel_externals/pdg_types/pdgIndex.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgIndex.mli
rename to src/kernel_externals/pdg_types/pdgIndex.mli
diff --git a/src/plugins/pdg_types/pdgMarks.ml b/src/kernel_externals/pdg_types/pdgMarks.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgMarks.ml
rename to src/kernel_externals/pdg_types/pdgMarks.ml
diff --git a/src/plugins/pdg_types/pdgMarks.mli b/src/kernel_externals/pdg_types/pdgMarks.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgMarks.mli
rename to src/kernel_externals/pdg_types/pdgMarks.mli
diff --git a/src/plugins/pdg_types/pdgTypes.ml b/src/kernel_externals/pdg_types/pdgTypes.ml
similarity index 100%
rename from src/plugins/pdg_types/pdgTypes.ml
rename to src/kernel_externals/pdg_types/pdgTypes.ml
diff --git a/src/plugins/pdg_types/pdgTypes.mli b/src/kernel_externals/pdg_types/pdgTypes.mli
similarity index 100%
rename from src/plugins/pdg_types/pdgTypes.mli
rename to src/kernel_externals/pdg_types/pdgTypes.mli
diff --git a/src/plugins/value_types/README.md b/src/kernel_externals/value_types/README.md
similarity index 100%
rename from src/plugins/value_types/README.md
rename to src/kernel_externals/value_types/README.md
diff --git a/src/plugins/value_types/cilE.ml b/src/kernel_externals/value_types/cilE.ml
similarity index 100%
rename from src/plugins/value_types/cilE.ml
rename to src/kernel_externals/value_types/cilE.ml
diff --git a/src/plugins/value_types/cilE.mli b/src/kernel_externals/value_types/cilE.mli
similarity index 100%
rename from src/plugins/value_types/cilE.mli
rename to src/kernel_externals/value_types/cilE.mli
diff --git a/src/plugins/value_types/cvalue.ml b/src/kernel_externals/value_types/cvalue.ml
similarity index 100%
rename from src/plugins/value_types/cvalue.ml
rename to src/kernel_externals/value_types/cvalue.ml
diff --git a/src/plugins/value_types/cvalue.mli b/src/kernel_externals/value_types/cvalue.mli
similarity index 100%
rename from src/plugins/value_types/cvalue.mli
rename to src/kernel_externals/value_types/cvalue.mli
diff --git a/src/plugins/value_types/function_Froms.ml b/src/kernel_externals/value_types/function_Froms.ml
similarity index 100%
rename from src/plugins/value_types/function_Froms.ml
rename to src/kernel_externals/value_types/function_Froms.ml
diff --git a/src/plugins/value_types/function_Froms.mli b/src/kernel_externals/value_types/function_Froms.mli
similarity index 100%
rename from src/plugins/value_types/function_Froms.mli
rename to src/kernel_externals/value_types/function_Froms.mli
diff --git a/src/plugins/value_types/inout_type.ml b/src/kernel_externals/value_types/inout_type.ml
similarity index 100%
rename from src/plugins/value_types/inout_type.ml
rename to src/kernel_externals/value_types/inout_type.ml
diff --git a/src/plugins/value_types/inout_type.mli b/src/kernel_externals/value_types/inout_type.mli
similarity index 100%
rename from src/plugins/value_types/inout_type.mli
rename to src/kernel_externals/value_types/inout_type.mli
diff --git a/src/plugins/value_types/precise_locs.ml b/src/kernel_externals/value_types/precise_locs.ml
similarity index 100%
rename from src/plugins/value_types/precise_locs.ml
rename to src/kernel_externals/value_types/precise_locs.ml
diff --git a/src/plugins/value_types/precise_locs.mli b/src/kernel_externals/value_types/precise_locs.mli
similarity index 100%
rename from src/plugins/value_types/precise_locs.mli
rename to src/kernel_externals/value_types/precise_locs.mli
diff --git a/src/plugins/value_types/value_types.ml b/src/kernel_externals/value_types/value_types.ml
similarity index 100%
rename from src/plugins/value_types/value_types.ml
rename to src/kernel_externals/value_types/value_types.ml
diff --git a/src/plugins/value_types/value_types.mli b/src/kernel_externals/value_types/value_types.mli
similarity index 100%
rename from src/plugins/value_types/value_types.mli
rename to src/kernel_externals/value_types/value_types.mli
diff --git a/src/plugins/value_types/widen_type.ml b/src/kernel_externals/value_types/widen_type.ml
similarity index 100%
rename from src/plugins/value_types/widen_type.ml
rename to src/kernel_externals/value_types/widen_type.ml
diff --git a/src/plugins/value_types/widen_type.mli b/src/kernel_externals/value_types/widen_type.mli
similarity index 100%
rename from src/plugins/value_types/widen_type.mli
rename to src/kernel_externals/value_types/widen_type.mli
--
GitLab