Commit d95eb508 authored by David Bühler's avatar David Bühler
Browse files

[Eva] Removes the domain/traces directory.

The traces domain has only one file, moved into the domains directory.
parent d3881b11
......@@ -815,7 +815,7 @@ PLUGIN_NAME:=Eva
PLUGIN_DIR:=src/plugins/value
PLUGIN_EXTRA_DIRS:=engine values domains domains/cvalue domains/apron \
domains/gauges domains/equality legacy slevel utils gui_files \
values/numerors domains/numerors domains/traces
values/numerors domains/numerors
PLUGIN_TESTS_DIRS+=value/traces
# Files for the binding to Apron domains. Only available if Apron is available.
......@@ -887,9 +887,9 @@ PLUGIN_CMO:= slevel/split_strategy value_parameters \
domains/domain_store domains/domain_builder \
domains/domain_product domains/domain_lift domains/unit_domain \
domains/printer_domain \
domains/traces_domain \
domains/simple_memory \
domains/gauges/gauges_domain \
domains/traces/traces_domain \
domains/apron/apron_domain \
domains/hcexprs \
domains/equality/equality domains/equality/equality_domain \
......
......@@ -1185,8 +1185,8 @@ src/plugins/value/domains/equality/equality_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/equality/equality_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/gauges/gauges_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/gauges/gauges_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/traces/traces_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/traces/traces_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/traces_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/traces_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/hcexprs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/hcexprs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/inout_domain.ml: CEA_LGPL_OR_PROPRIETARY
......
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment