[continued from previous message]

rm -f src/plugins/scope/datascope.cm* src/plugins/scope/zones.cm* src/plugins/scope/defs.cm*
rm -f src/plugins/scope/datascope.cm* src/plugins/scope/zones.cm* src/plugins/scope/defs.cm*
rm -f src/plugins/scope/datascope.annot src/plugins/scope/zones.annot src/plugins/scope/defs.annot
rm -f src/plugins/scope/datascope.o src/plugins/scope/zones.o src/plugins/scope/defs.o
rm -f src/plugins/scope/datascope.cm* src/plugins/scope/zones.cm* src/plugins/scope/defs.cm* src/plugins/scope/dpds_gui.cm*
rm -f src/plugins/scope/datascope.cm* src/plugins/scope/zones.cm* src/plugins/scope/defs.cm* src/plugins/scope/dpds_gui.cm*
rm -f src/plugins/scope/datascope.annot src/plugins/scope/zones.annot src/plugins/scope/defs.annot src/plugins/scope/dpds_gui.annot
rm -f src/plugins/scope/datascope.o src/plugins/scope/zones.o src/plugins/scope/defs.o src/plugins/scope/dpds_gui.o
rm -f src/plugins/scope/*~ src/plugins/scope/*.cm* src/plugins/scope/*.o src/plugins/scope/*.annot
rm -f tests/scope/bts971.cmx tests/scope/bts971.cm* tests/scope/bts971.opt tests/scope/bts971.byte tests/scope/bts971.o tests/scope/zones.cmx tests/scope/zones.cm* tests/scope/zones.opt tests/scope/zones.byte tests/scope/zones.o
rm -f -f src/plugins/scope/Scope.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/sparecode/.depend; \
fi
rm -f
rm -f src/plugins/sparecode/Sparecode_DEP src/plugins/sparecode/Sparecode_DEP_REDO
rm -f src/plugins/sparecode/sparecode_params.cm* src/plugins/sparecode/globs.cm* src/plugins/sparecode/spare_marks.cm* src/plugins/sparecode/transform.cm* src/plugins/sparecode/register.cm*
rm -f src/plugins/sparecode/sparecode_params.cm* src/plugins/sparecode/globs.cm* src/plugins/sparecode/spare_marks.cm* src/plugins/sparecode/transform.cm* src/plugins/sparecode/register.cm*
rm -f src/plugins/sparecode/sparecode_params.annot src/plugins/sparecode/globs.annot src/plugins/sparecode/spare_marks.annot src/plugins/sparecode/transform.annot src/plugins/sparecode/register.annot
rm -f src/plugins/sparecode/sparecode_params.o src/plugins/sparecode/globs.o src/plugins/sparecode/spare_marks.o src/plugins/sparecode/transform.o src/plugins/sparecode/register.o
rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/sparecode/*~ src/plugins/sparecode/*.cm* src/plugins/sparecode/*.o src/plugins/sparecode/*.annot
rm -f
rm -f -f src/plugins/sparecode/Sparecode.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/slicing/.depend; \
fi
rm -f
rm -f src/plugins/slicing/Slicing_DEP src/plugins/slicing/Slicing_DEP_REDO
rm -f src/plugins/slicing/slicingInternals.cm* src/plugins/slicing/slicingTypes.cm* src/plugins/slicing/slicingParameters.cm* src/plugins/slicing/slicingState.cm* src/plugins/slicing/slicingMacros.cm* src/plugins/slicing/slicingMarks.cm* src/plugins/

slicing/slicingActions.cm* src/plugins/slicing/fct_slice.cm* src/plugins/slicing/printSlice.cm* src/plugins/slicing/slicingProject.cm* src/plugins/slicing/slicingTransform.cm* src/plugins/slicing/slicingSelect.cm* src/plugins/slicing/slicingCmds.cm* src/
plugins/slicing/api.cm* src/plugins/slicing/register.cm*

rm -f src/plugins/slicing/slicingInternals.cm* src/plugins/slicing/slicingTypes.cm* src/plugins/slicing/slicingParameters.cm* src/plugins/slicing/slicingState.cm* src/plugins/slicing/slicingMacros.cm* src/plugins/slicing/slicingMarks.cm* src/plugins/

slicing/slicingActions.cm* src/plugins/slicing/fct_slice.cm* src/plugins/slicing/printSlice.cm* src/plugins/slicing/slicingProject.cm* src/plugins/slicing/slicingTransform.cm* src/plugins/slicing/slicingSelect.cm* src/plugins/slicing/slicingCmds.cm* src/
plugins/slicing/api.cm* src/plugins/slicing/register.cm*

rm -f src/plugins/slicing/slicingInternals.annot src/plugins/slicing/slicingTypes.annot src/plugins/slicing/slicingParameters.annot src/plugins/slicing/slicingState.annot src/plugins/slicing/slicingMacros.annot src/plugins/slicing/slicingMarks.annot

src/plugins/slicing/slicingActions.annot src/plugins/slicing/fct_slice.annot src/plugins/slicing/printSlice.annot src/plugins/slicing/slicingProject.annot src/plugins/slicing/slicingTransform.annot src/plugins/slicing/slicingSelect.annot src/plugins/
slicing/slicingCmds.annot src/plugins/slicing/api.annot src/plugins/slicing/register.annot

rm -f src/plugins/slicing/slicingInternals.o src/plugins/slicing/slicingTypes.o src/plugins/slicing/slicingParameters.o src/plugins/slicing/slicingState.o src/plugins/slicing/slicingMacros.o src/plugins/slicing/slicingMarks.o src/plugins/slicing/

slicingActions.o src/plugins/slicing/fct_slice.o src/plugins/slicing/printSlice.o src/plugins/slicing/slicingProject.o src/plugins/slicing/slicingTransform.o src/plugins/slicing/slicingSelect.o src/plugins/slicing/slicingCmds.o src/plugins/slicing/api.o
src/plugins/slicing/register.o

rm -f src/plugins/slicing/slicingInternals.cm* src/plugins/slicing/slicingTypes.cm* src/plugins/slicing/slicingParameters.cm* src/plugins/slicing/slicingState.cm* src/plugins/slicing/slicingMacros.cm* src/plugins/slicing/slicingMarks.cm* src/plugins/

slicing/slicingActions.cm* src/plugins/slicing/fct_slice.cm* src/plugins/slicing/printSlice.cm* src/plugins/slicing/slicingProject.cm* src/plugins/slicing/slicingTransform.cm* src/plugins/slicing/slicingSelect.cm* src/plugins/slicing/slicingCmds.cm* src/
plugins/slicing/api.cm* src/plugins/slicing/register.cm* src/plugins/slicing/register_gui.cm*

rm -f src/plugins/slicing/slicingInternals.cm* src/plugins/slicing/slicingTypes.cm* src/plugins/slicing/slicingParameters.cm* src/plugins/slicing/slicingState.cm* src/plugins/slicing/slicingMacros.cm* src/plugins/slicing/slicingMarks.cm* src/plugins/

slicing/slicingActions.cm* src/plugins/slicing/fct_slice.cm* src/plugins/slicing/printSlice.cm* src/plugins/slicing/slicingProject.cm* src/plugins/slicing/slicingTransform.cm* src/plugins/slicing/slicingSelect.cm* src/plugins/slicing/slicingCmds.cm* src/
plugins/slicing/api.cm* src/plugins/slicing/register.cm* src/plugins/slicing/register_gui.cm*

rm -f src/plugins/slicing/slicingInternals.annot src/plugins/slicing/slicingTypes.annot src/plugins/slicing/slicingParameters.annot src/plugins/slicing/slicingState.annot src/plugins/slicing/slicingMacros.annot src/plugins/slicing/slicingMarks.annot

src/plugins/slicing/slicingActions.annot src/plugins/slicing/fct_slice.annot src/plugins/slicing/printSlice.annot src/plugins/slicing/slicingProject.annot src/plugins/slicing/slicingTransform.annot src/plugins/slicing/slicingSelect.annot src/plugins/
slicing/slicingCmds.annot src/plugins/slicing/api.annot src/plugins/slicing/register.annot src/plugins/slicing/register_gui.annot

rm -f src/plugins/slicing/slicingInternals.o src/plugins/slicing/slicingTypes.o src/plugins/slicing/slicingParameters.o src/plugins/slicing/slicingState.o src/plugins/slicing/slicingMacros.o src/plugins/slicing/slicingMarks.o src/plugins/slicing/

slicingActions.o src/plugins/slicing/fct_slice.o src/plugins/slicing/printSlice.o src/plugins/slicing/slicingProject.o src/plugins/slicing/slicingTransform.o src/plugins/slicing/slicingSelect.o src/plugins/slicing/slicingCmds.o src/plugins/slicing/api.o
src/plugins/slicing/register.o src/plugins/slicing/register_gui.o

rm -f src/plugins/slicing/*~ src/plugins/slicing/*.cm* src/plugins/slicing/*.o src/plugins/slicing/*.annot
rm -f tests/slicing/libSelect.cmx tests/slicing/libSelect.cm* tests/slicing/libSelect.opt tests/slicing/libSelect.byte tests/slicing/libSelect.o tests/slicing/libAnim.cmx tests/slicing/libAnim.cm* tests/slicing/libAnim.opt tests/slicing/libAnim.byte

tests/slicing/libAnim.o tests/slicing/simple_intra_slice.cmx tests/slicing/simple_intra_slice.cm* tests/slicing/simple_intra_slice.opt tests/slicing/simple_intra_slice.byte tests/slicing/simple_intra_slice.o tests/slicing/combine.cmx tests/slicing/
combine.cm* tests/slicing/combine.opt tests/slicing/combine.byte tests/slicing/combine.o tests/slicing/ex_spec_interproc.cmx tests/slicing/ex_spec_interproc.cm* tests/slicing/ex_spec_interproc.opt tests/slicing/ex_spec_interproc.byte tests/slicing/ex_
spec_interproc.o tests/slicing/horwitz.cmx tests/slicing/horwitz.cm*

tests/slicing/horwitz.opt tests/slicing/horwitz.byte tests/slicing/horwitz.o tests/slicing/mark_all_slices.cmx tests/slicing/mark_all_slices.cm* tests/slicing/mark_all_slices.opt tests/slicing/mark_all_slices.byte tests/slicing/mark_all_slices.o

tests/slicing/merge.cmx tests/slicing/merge.cm* tests/slicing/merge.opt tests/slicing/merge.byte tests/slicing/merge.o tests/slicing/min_call.cmx tests/slicing/min_call.cm* tests/slicing/min_call.opt tests/slicing/min_call.byte tests/slicing/min_call.o
tests/slicing/select_by_annot.cmx tests/slicing/select_by_annot.cm* tests/slicing/select_by_annot.opt tests/slicing/select_by_annot.byte tests/slicing/select_by_annot.o tests/slicing/select_simple.cmx tests/slicing/select_simple.cm* tests/slicing/select_
simple.opt tests/slicing/select_simple.byte

tests/slicing/select_simple.o tests/slicing/simple_intra_slice.cmx tests/slicing/simple_intra_slice.cm* tests/slicing/simple_intra_slice.opt tests/slicing/simple_intra_slice.byte tests/slicing/simple_intra_slice.o tests/slicing/slice_no_body.cmx

tests/slicing/slice_no_body.cm* tests/slicing/slice_no_body.opt tests/slicing/slice_no_body.byte tests/slicing/slice_no_body.o tests/slicing/switch.cmx tests/slicing/switch.cm* tests/slicing/switch.opt tests/slicing/switch.byte tests/slicing/switch.o
tests/slicing/adpcm.cmx tests/slicing/adpcm.cm* tests/slicing/adpcm.opt tests/slicing/adpcm.byte tests/slicing/adpcm.o

rm -f -f src/plugins/slicing/Slicing.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/aorai/.depend; \
fi
rm -f
rm -f src/plugins/aorai/Aorai_DEP src/plugins/aorai/Aorai_DEP_REDO
rm -f src/plugins/aorai/bool3.cm* src/plugins/aorai/aorai_option.cm* src/plugins/aorai/path_analysis.cm* src/plugins/aorai/promelaoutput.cm* src/plugins/aorai/logic_simplification.cm* src/plugins/aorai/aorai_graph.cm* src/plugins/aorai/aorai_

metavariables.cm* src/plugins/aorai/data_for_aorai.cm* src/plugins/aorai/aorai_utils.cm* src/plugins/aorai/ltl_output.cm* src/plugins/aorai/utils_parser.cm* src/plugins/aorai/ltlparser.cm* src/plugins/aorai/ltllexer.cm* src/plugins/aorai/yaparser.cm* src/
plugins/aorai/yalexer.cm* src/plugins/aorai/promelaparser.cm* src/plugins/aorai/promelalexer.cm* src/plugins/aorai/promelaparser_withexps.cm* src/plugins/aorai/promelalexer_withexps.cm* src/plugins/aorai/aorai_dataflow.cm* src/plugins/aorai/aorai_
visitors.cm* src/plugins/aorai/aorai_eva_analysis.cm* src/plugins/aorai/aorai_register.cm*

rm -f src/plugins/aorai/ltlast.cm* src/plugins/aorai/promelaast.cm* src/plugins/aorai/bool3.cm* src/plugins/aorai/aorai_option.cm* src/plugins/aorai/path_analysis.cm* src/plugins/aorai/promelaoutput.cm* src/plugins/aorai/logic_simplification.cm* src/

plugins/aorai/aorai_graph.cm* src/plugins/aorai/aorai_metavariables.cm* src/plugins/aorai/data_for_aorai.cm* src/plugins/aorai/aorai_utils.cm* src/plugins/aorai/ltl_output.cm* src/plugins/aorai/utils_parser.cm* src/plugins/aorai/ltlparser.cm* src/plugins/
aorai/ltllexer.cm* src/plugins/aorai/yaparser.cm* src/plugins/aorai/yalexer.cm* src/plugins/aorai/promelaparser.cm* src/plugins/aorai/promelalexer.cm* src/plugins/aorai/promelaparser_withexps.cm* src/plugins/aorai/promelalexer_withexps.cm* src/plugins/
aorai/aorai_dataflow.cm* src/plugins/aorai/aorai_visitors.cm*

src/plugins/aorai/aorai_eva_analysis.cm* src/plugins/aorai/aorai_register.cm* rm -f src/plugins/aorai/bool3.annot src/plugins/aorai/aorai_option.annot src/plugins/aorai/path_analysis.annot src/plugins/aorai/promelaoutput.annot src/plugins/aorai/logic_simplification.annot src/plugins/aorai/aorai_graph.annot src/plugins/aorai/

aorai_metavariables.annot src/plugins/aorai/data_for_aorai.annot src/plugins/aorai/aorai_utils.annot src/plugins/aorai/ltl_output.annot src/plugins/aorai/utils_parser.annot src/plugins/aorai/ltlparser.annot src/plugins/aorai/ltllexer.annot src/plugins/
aorai/yaparser.annot src/plugins/aorai/yalexer.annot src/plugins/aorai/promelaparser.annot src/plugins/aorai/promelalexer.annot src/plugins/aorai/promelaparser_withexps.annot src/plugins/aorai/promelalexer_withexps.annot src/plugins/aorai/aorai_dataflow.
annot src/plugins/aorai/aorai_visitors.annot src/plugins/aorai/aorai_eva_analysis.annot

src/plugins/aorai/aorai_register.annot
rm -f src/plugins/aorai/bool3.o src/plugins/aorai/aorai_option.o src/plugins/aorai/path_analysis.o src/plugins/aorai/promelaoutput.o src/plugins/aorai/logic_simplification.o src/plugins/aorai/aorai_graph.o src/plugins/aorai/aorai_metavariables.o src/

plugins/aorai/data_for_aorai.o src/plugins/aorai/aorai_utils.o src/plugins/aorai/ltl_output.o src/plugins/aorai/utils_parser.o src/plugins/aorai/ltlparser.o src/plugins/aorai/ltllexer.o src/plugins/aorai/yaparser.o src/plugins/aorai/yalexer.o src/plugins/
aorai/promelaparser.o src/plugins/aorai/promelalexer.o src/plugins/aorai/promelaparser_withexps.o src/plugins/aorai/promelalexer_withexps.o src/plugins/aorai/aorai_dataflow.o src/plugins/aorai/aorai_visitors.o src/plugins/aorai/aorai_eva_analysis.o src/
plugins/aorai/aorai_register.o

rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/aorai/*~ src/plugins/aorai/*.cm* src/plugins/aorai/*.o src/plugins/aorai/*.annot
rm -f src/plugins/aorai/tests/Aorai_test.cmx src/plugins/aorai/tests/Aorai_test.cm* src/plugins/aorai/tests/Aorai_test.opt src/plugins/aorai/tests/Aorai_test.byte src/plugins/aorai/tests/Aorai_test.o src/plugins/aorai/tests/ya/name_projects.cmx src/

plugins/aorai/tests/ya/name_projects.cm* src/plugins/aorai/tests/ya/name_projects.opt src/plugins/aorai/tests/ya/name_projects.byte src/plugins/aorai/tests/ya/name_projects.o

rm -f -f src/plugins/aorai/Aorai.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/dive/.depend; \
fi
rm -f
rm -f src/plugins/dive/Dive_DEP src/plugins/dive/Dive_DEP_REDO
rm -f src/plugins/dive/self.cm* src/plugins/dive/callstack.cm* src/plugins/dive/node_kind.cm* src/plugins/dive/node_range.cm* src/plugins/dive/dive_graph.cm* src/plugins/dive/context.cm* src/plugins/dive/build.cm* src/plugins/dive/main.cm* src/plugins/

dive/server_interface.cm*

rm -f src/plugins/dive/dive_types.cm* src/plugins/dive/self.cm* src/plugins/dive/callstack.cm* src/plugins/dive/node_kind.cm* src/plugins/dive/node_range.cm* src/plugins/dive/dive_graph.cm* src/plugins/dive/context.cm* src/plugins/dive/build.cm* src/

plugins/dive/main.cm* src/plugins/dive/server_interface.cm*

rm -f src/plugins/dive/self.annot src/plugins/dive/callstack.annot src/plugins/dive/node_kind.annot src/plugins/dive/node_range.annot src/plugins/dive/dive_graph.annot src/plugins/dive/context.annot src/plugins/dive/build.annot src/plugins/dive/main.

annot src/plugins/dive/server_interface.annot

rm -f src/plugins/dive/self.o src/plugins/dive/callstack.o src/plugins/dive/node_kind.o src/plugins/dive/node_range.o src/plugins/dive/dive_graph.o src/plugins/dive/context.o src/plugins/dive/build.o src/plugins/dive/main.o src/plugins/dive/server_

interface.o

rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/dive/*~ src/plugins/dive/*.cm* src/plugins/dive/*.o src/plugins/dive/*.annot
rm -f
rm -f -f src/plugins/dive/Dive.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/e-acsl/.depend; \
fi
rm -f
rm -f src/plugins/e-acsl/E_ACSL_DEP src/plugins/e-acsl/E_ACSL_DEP_REDO
rm -f src/plugins/e-acsl/src/local_config.cm* src/plugins/e-acsl/src/options.cm* src/plugins/e-acsl/src/libraries/error.cm* src/plugins/e-acsl/src/libraries/builtins.cm* src/plugins/e-acsl/src/libraries/functions.cm* src/plugins/e-acsl/src/libraries/

misc.cm* src/plugins/e-acsl/src/libraries/gmp_types.cm* src/plugins/e-acsl/src/libraries/logic_aggr.cm* src/plugins/e-acsl/src/libraries/varname.cm* src/plugins/e-acsl/src/project_initializer/rtl.cm* src/plugins/e-acsl/src/project_initializer/prepare_ast.
cm* src/plugins/e-acsl/src/analyses/lscope.cm* src/plugins/e-acsl/src/analyses/analyses_datatype.cm* src/plugins/e-acsl/src/analyses/rte.cm* src/plugins/e-acsl/src/analyses/e_acsl_visitor.cm* src/plugins/e-acsl/src/analyses/logic_normalizer.cm* src/
plugins/e-acsl/src/analyses/bound_variables.cm*

src/plugins/e-acsl/src/analyses/interval.cm* src/plugins/e-acsl/src/analyses/typing.cm* src/plugins/e-acsl/src/analyses/labels.cm* src/plugins/e-acsl/src/analyses/literal_strings.cm* src/plugins/e-acsl/src/analyses/memory_tracking.cm* src/plugins/e-

acsl/src/analyses/exit_points.cm* src/plugins/e-acsl/src/analyses/analyses.cm* src/plugins/e-acsl/src/code_generator/translation_error.cm* src/plugins/e-acsl/src/code_generator/smart_exp.cm* src/plugins/e-acsl/src/code_generator/smart_stmt.cm* src/
plugins/e-acsl/src/code_generator/gmp.cm* src/plugins/e-acsl/src/code_generator/env.cm* src/plugins/e-acsl/src/code_generator/assert.cm* src/plugins/e-acsl/src/code_generator/rational.cm* src/plugins/e-acsl/src/code_generator/typed_number.cm* src/plugins/
e-acsl/src/code_generator/assigns.cm* src/plugins/e-acsl/src/code_generator/logic_functions.cm*

src/plugins/e-acsl/src/code_generator/loops.cm* src/plugins/e-acsl/src/code_generator/quantif.cm* src/plugins/e-acsl/src/code_generator/memory_translate.cm* src/plugins/e-acsl/src/code_generator/logic_array.cm* src/plugins/e-acsl/src/code_generator/

translate_utils.cm* src/plugins/e-acsl/src/code_generator/translate_ats.cm* src/plugins/e-acsl/src/code_generator/translate_terms.cm* src/plugins/e-acsl/src/code_generator/translate_predicates.cm* src/plugins/e-acsl/src/code_generator/translate_rtes.cm*
src/plugins/e-acsl/src/code_generator/contract.cm* src/plugins/e-acsl/src/code_generator/translate_annots.cm* src/plugins/e-acsl/src/code_generator/temporal.cm* src/plugins/e-acsl/src/code_generator/memory_observer.cm* src/plugins/e-acsl/src/code_
generator/literal_observer.cm* src/plugins/e-acsl/src/code_generator/global_observer.cm*

src/plugins/e-acsl/src/code_generator/libc.cm* src/plugins/e-acsl/src/code_generator/injector.cm* src/plugins/e-acsl/src/main.cm*
rm -f src/plugins/e-acsl/src/analyses/analyses_types.cm* src/plugins/e-acsl/src/code_generator/contract_types.cm* src/plugins/e-acsl/src/local_config.cm* src/plugins/e-acsl/src/options.cm* src/plugins/e-acsl/src/libraries/error.cm* src/plugins/e-acsl/

src/libraries/builtins.cm* src/plugins/e-acsl/src/libraries/functions.cm* src/plugins/e-acsl/src/libraries/misc.cm* src/plugins/e-acsl/src/libraries/gmp_types.cm* src/plugins/e-acsl/src/libraries/logic_aggr.cm* src/plugins/e-acsl/src/libraries/varname.cm*
src/plugins/e-acsl/src/project_initializer/rtl.cm* src/plugins/e-acsl/src/project_initializer/prepare_ast.cm* src/plugins/e-acsl/src/analyses/lscope.cm* src/plugins/e-acsl/src/analyses/analyses_datatype.cm* src/plugins/e-acsl/src/analyses/rte.cm* src/
plugins/e-acsl/src/analyses/e_acsl_visitor.cm*

src/plugins/e-acsl/src/analyses/logic_normalizer.cm* src/plugins/e-acsl/src/analyses/bound_variables.cm* src/plugins/e-acsl/src/analyses/interval.cm* src/plugins/e-acsl/src/analyses/typing.cm* src/plugins/e-acsl/src/analyses/labels.cm* src/plugins/e-

acsl/src/analyses/literal_strings.cm* src/plugins/e-acsl/src/analyses/memory_tracking.cm* src/plugins/e-acsl/src/analyses/exit_points.cm* src/plugins/e-acsl/src/analyses/analyses.cm* src/plugins/e-acsl/src/code_generator/translation_error.cm* src/plugins/
e-acsl/src/code_generator/smart_exp.cm* src/plugins/e-acsl/src/code_generator/smart_stmt.cm* src/plugins/e-acsl/src/code_generator/gmp.cm* src/plugins/e-acsl/src/code_generator/env.cm* src/plugins/e-acsl/src/code_generator/assert.cm* src/plugins/e-acsl/
src/code_generator/rational.cm* src/plugins/e-acsl/src/code_generator/typed_number.cm*

src/plugins/e-acsl/src/code_generator/assigns.cm* src/plugins/e-acsl/src/code_generator/logic_functions.cm* src/plugins/e-acsl/src/code_generator/loops.cm* src/plugins/e-acsl/src/code_generator/quantif.cm* src/plugins/e-acsl/src/code_generator/memory_

translate.cm* src/plugins/e-acsl/src/code_generator/logic_array.cm* src/plugins/e-acsl/src/code_generator/translate_utils.cm* src/plugins/e-acsl/src/code_generator/translate_ats.cm* src/plugins/e-acsl/src/code_generator/translate_terms.cm* src/plugins/e-
acsl/src/code_generator/translate_predicates.cm* src/plugins/e-acsl/src/code_generator/translate_rtes.cm* src/plugins/e-acsl/src/code_generator/contract.cm* src/plugins/e-acsl/src/code_generator/translate_annots.cm* src/plugins/e-acsl/src/code_generator/
temporal.cm* src/plugins/e-acsl/src/code_generator/memory_observer.cm*

src/plugins/e-acsl/src/code_generator/literal_observer.cm* src/plugins/e-acsl/src/code_generator/global_observer.cm* src/plugins/e-acsl/src/code_generator/libc.cm* src/plugins/e-acsl/src/code_generator/injector.cm* src/plugins/e-acsl/src/main.cm*
rm -f src/plugins/e-acsl/src/local_config.annot src/plugins/e-acsl/src/options.annot src/plugins/e-acsl/src/libraries/error.annot src/plugins/e-acsl/src/libraries/builtins.annot src/plugins/e-acsl/src/libraries/functions.annot src/plugins/e-acsl/src/

libraries/misc.annot src/plugins/e-acsl/src/libraries/gmp_types.annot src/plugins/e-acsl/src/libraries/logic_aggr.annot src/plugins/e-acsl/src/libraries/varname.annot src/plugins/e-acsl/src/project_initializer/rtl.annot src/plugins/e-acsl/src/project_
initializer/prepare_ast.annot src/plugins/e-acsl/src/analyses/lscope.annot src/plugins/e-acsl/src/analyses/analyses_datatype.annot src/plugins/e-acsl/src/analyses/rte.annot src/plugins/e-acsl/src/analyses/e_acsl_visitor.annot src/plugins/e-acsl/src/
analyses/logic_normalizer.annot src/plugins/e-acsl/src/analyses/bound_variables.annot

src/plugins/e-acsl/src/analyses/interval.annot src/plugins/e-acsl/src/analyses/typing.annot src/plugins/e-acsl/src/analyses/labels.annot src/plugins/e-acsl/src/analyses/literal_strings.annot src/plugins/e-acsl/src/analyses/memory_tracking.annot src/

plugins/e-acsl/src/analyses/exit_points.annot src/plugins/e-acsl/src/analyses/analyses.annot src/plugins/e-acsl/src/code_generator/translation_error.annot src/plugins/e-acsl/src/code_generator/smart_exp.annot src/plugins/e-acsl/src/code_generator/smart_
stmt.annot src/plugins/e-acsl/src/code_generator/gmp.annot src/plugins/e-acsl/src/code_generator/env.annot src/plugins/e-acsl/src/code_generator/assert.annot src/plugins/e-acsl/src/code_generator/rational.annot src/plugins/e-acsl/src/code_generator/typed_
number.annot src/plugins/e-acsl/src/code_generator/assigns.annot

src/plugins/e-acsl/src/code_generator/logic_functions.annot src/plugins/e-acsl/src/code_generator/loops.annot src/plugins/e-acsl/src/code_generator/quantif.annot src/plugins/e-acsl/src/code_generator/memory_translate.annot src/plugins/e-acsl/src/code_

generator/logic_array.annot src/plugins/e-acsl/src/code_generator/translate_utils.annot src/plugins/e-acsl/src/code_generator/translate_ats.annot src/plugins/e-acsl/src/code_generator/translate_terms.annot src/plugins/e-acsl/src/code_generator/translate_
predicates.annot src/plugins/e-acsl/src/code_generator/translate_rtes.annot src/plugins/e-acsl/src/code_generator/contract.annot src/plugins/e-acsl/src/code_generator/translate_annots.annot src/plugins/e-acsl/src/code_generator/temporal.annot src/plugins/
e-acsl/src/code_generator/memory_observer.annot

src/plugins/e-acsl/src/code_generator/literal_observer.annot src/plugins/e-acsl/src/code_generator/global_observer.annot src/plugins/e-acsl/src/code_generator/libc.annot src/plugins/e-acsl/src/code_generator/injector.annot src/plugins/e-acsl/src/main.

annot

rm -f src/plugins/e-acsl/src/local_config.o src/plugins/e-acsl/src/options.o src/plugins/e-acsl/src/libraries/error.o src/plugins/e-acsl/src/libraries/builtins.o src/plugins/e-acsl/src/libraries/functions.o src/plugins/e-acsl/src/libraries/misc.o src/

plugins/e-acsl/src/libraries/gmp_types.o src/plugins/e-acsl/src/libraries/logic_aggr.o src/plugins/e-acsl/src/libraries/varname.o src/plugins/e-acsl/src/project_initializer/rtl.o src/plugins/e-acsl/src/project_initializer/prepare_ast.o src/plugins/e-acsl/
src/analyses/lscope.o src/plugins/e-acsl/src/analyses/analyses_datatype.o src/plugins/e-acsl/src/analyses/rte.o src/plugins/e-acsl/src/analyses/e_acsl_visitor.o src/plugins/e-acsl/src/analyses/logic_normalizer.o src/plugins/e-acsl/src/analyses/bound_
variables.o src/plugins/e-acsl/src/analyses/interval.o

src/plugins/e-acsl/src/analyses/typing.o src/plugins/e-acsl/src/analyses/labels.o src/plugins/e-acsl/src/analyses/literal_strings.o src/plugins/e-acsl/src/analyses/memory_tracking.o src/plugins/e-acsl/src/analyses/exit_points.o src/plugins/e-acsl/src/

analyses/analyses.o src/plugins/e-acsl/src/code_generator/translation_error.o src/plugins/e-acsl/src/code_generator/smart_exp.o src/plugins/e-acsl/src/code_generator/smart_stmt.o src/plugins/e-acsl/src/code_generator/gmp.o src/plugins/e-acsl/src/code_
generator/env.o src/plugins/e-acsl/src/code_generator/assert.o src/plugins/e-acsl/src/code_generator/rational.o src/plugins/e-acsl/src/code_generator/typed_number.o src/plugins/e-acsl/src/code_generator/assigns.o src/plugins/e-acsl/src/code_generator/
logic_functions.o src/plugins/e-acsl/src/code_generator/loops.o

src/plugins/e-acsl/src/code_generator/quantif.o src/plugins/e-acsl/src/code_generator/memory_translate.o src/plugins/e-acsl/src/code_generator/logic_array.o src/plugins/e-acsl/src/code_generator/translate_utils.o src/plugins/e-acsl/src/code_generator/

translate_ats.o src/plugins/e-acsl/src/code_generator/translate_terms.o src/plugins/e-acsl/src/code_generator/translate_predicates.o src/plugins/e-acsl/src/code_generator/translate_rtes.o src/plugins/e-acsl/src/code_generator/contract.o src/plugins/e-
acsl/src/code_generator/translate_annots.o src/plugins/e-acsl/src/code_generator/temporal.o src/plugins/e-acsl/src/code_generator/memory_observer.o src/plugins/e-acsl/src/code_generator/literal_observer.o src/plugins/e-acsl/src/code_generator/global_
observer.o src/plugins/e-acsl/src/code_generator/libc.o

src/plugins/e-acsl/src/code_generator/injector.o src/plugins/e-acsl/src/main.o
rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/e-acsl/*~ src/plugins/e-acsl/*.cm* src/plugins/e-acsl/*.o src/plugins/e-acsl/*.annot
rm -f src/plugins/e-acsl/tests/E_ACSL_test.cmx src/plugins/e-acsl/tests/E_ACSL_test.cm* src/plugins/e-acsl/tests/E_ACSL_test.opt src/plugins/e-acsl/tests/E_ACSL_test.byte src/plugins/e-acsl/tests/E_ACSL_test.o
rm -f -f src/plugins/e-acsl/E_ACSL.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/instantiate/.depend; \
fi
rm -f
rm -f src/plugins/instantiate/Instantiate_DEP src/plugins/instantiate/Instantiate_DEP_REDO
rm -f src/plugins/instantiate/options.cm* src/plugins/instantiate/basic_blocks.cm* src/plugins/instantiate/global_context.cm* src/plugins/instantiate/instantiator_builder.cm* src/plugins/instantiate/transform.cm* src/plugins/instantiate/register.cm*

src/plugins/instantiate/string/mem_utils.cm* src/plugins/instantiate/string/memcmp.cm* src/plugins/instantiate/string/memcpy.cm* src/plugins/instantiate/string/memmove.cm* src/plugins/instantiate/string/memset.cm* src/plugins/instantiate/stdlib/basic_
alloc.cm* src/plugins/instantiate/stdlib/calloc.cm* src/plugins/instantiate/stdlib/free.cm* src/plugins/instantiate/stdlib/malloc.cm*

rm -f src/plugins/instantiate/options.cm* src/plugins/instantiate/basic_blocks.cm* src/plugins/instantiate/global_context.cm* src/plugins/instantiate/instantiator_builder.cm* src/plugins/instantiate/transform.cm* src/plugins/instantiate/register.cm*

src/plugins/instantiate/string/mem_utils.cm* src/plugins/instantiate/string/memcmp.cm* src/plugins/instantiate/string/memcpy.cm* src/plugins/instantiate/string/memmove.cm* src/plugins/instantiate/string/memset.cm* src/plugins/instantiate/stdlib/basic_
alloc.cm* src/plugins/instantiate/stdlib/calloc.cm* src/plugins/instantiate/stdlib/free.cm* src/plugins/instantiate/stdlib/malloc.cm*

rm -f src/plugins/instantiate/options.annot src/plugins/instantiate/basic_blocks.annot src/plugins/instantiate/global_context.annot src/plugins/instantiate/instantiator_builder.annot src/plugins/instantiate/transform.annot src/plugins/instantiate/

register.annot src/plugins/instantiate/string/mem_utils.annot src/plugins/instantiate/string/memcmp.annot src/plugins/instantiate/string/memcpy.annot src/plugins/instantiate/string/memmove.annot src/plugins/instantiate/string/memset.annot src/plugins/
instantiate/stdlib/basic_alloc.annot src/plugins/instantiate/stdlib/calloc.annot src/plugins/instantiate/stdlib/free.annot src/plugins/instantiate/stdlib/malloc.annot

rm -f src/plugins/instantiate/options.o src/plugins/instantiate/basic_blocks.o src/plugins/instantiate/global_context.o src/plugins/instantiate/instantiator_builder.o src/plugins/instantiate/transform.o src/plugins/instantiate/register.o src/plugins/

instantiate/string/mem_utils.o src/plugins/instantiate/string/memcmp.o src/plugins/instantiate/string/memcpy.o src/plugins/instantiate/string/memmove.o src/plugins/instantiate/string/memset.o src/plugins/instantiate/stdlib/basic_alloc.o src/plugins/
instantiate/stdlib/calloc.o src/plugins/instantiate/stdlib/free.o src/plugins/instantiate/stdlib/malloc.o

rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/instantiate/*~ src/plugins/instantiate/*.cm* src/plugins/instantiate/*.o src/plugins/instantiate/*.annot
rm -f
rm -f -f src/plugins/instantiate/Instantiate.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/loop_analysis/.depend; \
fi
rm -f
rm -f src/plugins/loop_analysis/LoopAnalysis_DEP src/plugins/loop_analysis/LoopAnalysis_DEP_REDO
rm -f src/plugins/loop_analysis/options.cm* src/plugins/loop_analysis/region_analysis.cm* src/plugins/loop_analysis/region_analysis_stmt.cm* src/plugins/loop_analysis/loop_analysis.cm* src/plugins/loop_analysis/register.cm*
rm -f src/plugins/loop_analysis/region_analysis_sig.cm* src/plugins/loop_analysis/options.cm* src/plugins/loop_analysis/region_analysis.cm* src/plugins/loop_analysis/region_analysis_stmt.cm* src/plugins/loop_analysis/loop_analysis.cm* src/plugins/loop_

analysis/register.cm*

rm -f src/plugins/loop_analysis/options.annot src/plugins/loop_analysis/region_analysis.annot src/plugins/loop_analysis/region_analysis_stmt.annot src/plugins/loop_analysis/loop_analysis.annot src/plugins/loop_analysis/register.annot
rm -f src/plugins/loop_analysis/options.o src/plugins/loop_analysis/region_analysis.o src/plugins/loop_analysis/region_analysis_stmt.o src/plugins/loop_analysis/loop_analysis.o src/plugins/loop_analysis/register.o
rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/loop_analysis/*~ src/plugins/loop_analysis/*.cm* src/plugins/loop_analysis/*.o src/plugins/loop_analysis/*.annot
rm -f
rm -f -f src/plugins/loop_analysis/LoopAnalysis.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/nonterm/.depend; \
fi
rm -f
rm -f src/plugins/nonterm/Nonterm_DEP src/plugins/nonterm/Nonterm_DEP_REDO
rm -f src/plugins/nonterm/nonterm_run.cm*
rm -f src/plugins/nonterm/nonterm_run.cm*
rm -f src/plugins/nonterm/nonterm_run.annot
rm -f src/plugins/nonterm/nonterm_run.o
rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/nonterm/*~ src/plugins/nonterm/*.cm* src/plugins/nonterm/*.o src/plugins/nonterm/*.annot
rm -f
rm -f -f src/plugins/nonterm/Nonterm.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/obfuscator/.depend; \
fi
rm -f
rm -f src/plugins/obfuscator/Obfuscator_DEP src/plugins/obfuscator/Obfuscator_DEP_REDO

[continued in next message]

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)