Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
a7f84fd5
Commit
a7f84fd5
authored
Aug 01, 2019
by
David Bühler
Browse files
[Eva] Renames directory slevel into partitioning.
parent
6e6dd4bc
Changes
6
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
a7f84fd5
...
...
@@ -823,7 +823,7 @@ PLUGIN_ENABLE:=$(ENABLE_EVA)
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
\
domains/gauges domains/equality legacy
partitioning
utils gui_files
\
values/numerors domains/numerors
PLUGIN_TESTS_DIRS
+=
value/traces
...
...
@@ -856,12 +856,12 @@ endif
# General rules for ordering files within PLUGIN_CMO:
# - try to keep the legacy Value before Eva
PLUGIN_CMO
:=
slevel
/split_strategy value_parameters
\
PLUGIN_CMO
:=
partitioning
/split_strategy value_parameters
\
utils/value_perf utils/value_util utils/red_statuses
\
utils/mark_noresults
\
utils/widen_hints_ext utils/widen utils/partitioning_annots
\
engine/split_return
\
slevel
/per_stmt_slevel
\
partitioning
/per_stmt_slevel
\
utils/library_functions
\
utils/eval_typ utils/backward_formals
\
alarmset
eval
utils/structure utils/abstract
\
...
...
headers/header_spec.txt
View file @
a7f84fd5
...
...
@@ -1263,10 +1263,10 @@ src/plugins/value/legacy/function_args.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/function_args.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
slevel
/per_stmt_slevel.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
slevel
/per_stmt_slevel.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
slevel
/split_strategy.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
slevel
/split_strategy.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
partitioning
/per_stmt_slevel.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
partitioning
/per_stmt_slevel.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
partitioning
/split_strategy.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/
partitioning
/split_strategy.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/test.assert.sh: .ignore
src/plugins/value/test.sh: .ignore
src/plugins/value/utils/abstract.ml: CEA_LGPL_OR_PROPRIETARY
...
...
src/plugins/value/
slevel
/per_stmt_slevel.ml
→
src/plugins/value/
partitioning
/per_stmt_slevel.ml
View file @
a7f84fd5
File moved
src/plugins/value/
slevel
/per_stmt_slevel.mli
→
src/plugins/value/
partitioning
/per_stmt_slevel.mli
View file @
a7f84fd5
File moved
src/plugins/value/
slevel
/split_strategy.ml
→
src/plugins/value/
partitioning
/split_strategy.ml
View file @
a7f84fd5
File moved
src/plugins/value/
slevel
/split_strategy.mli
→
src/plugins/value/
partitioning
/split_strategy.mli
View file @
a7f84fd5
File moved
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment