Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Rename Features into Feature

  • Loading branch information...
commit 79b820d5a8a8aa1f063318a594d00ca26420701f 1 parent fe74e8e
@kerneis kerneis authored
View
2  cil.odocl
@@ -6,7 +6,7 @@ Clist
Dataflow
Dominators
Errormsg
-Features
+Feature
Formatcil
Pretty
Stats
View
4 src/_tags
@@ -1,4 +1,4 @@
<ext> or <ext/*> or <frontc>: include
-<features.ml>: package(findlib)
-<main.{byte,native}>: use_unix, use_str, use_nums, use_dynlikn, use_cil, linkall, package(findlib)
+<feature.ml>: package(findlib)
+<main.{byte,native}>: use_unix, use_str, use_nums, use_dynlink, use_cil, linkall, package(findlib)
View
2  src/cil.mllib
@@ -21,7 +21,7 @@ Dominators
Errormsg
Escape
Expcompare
-Features
+Feature
Formatcil
Formatlex
Formatparse
View
2  src/ext/callgraph/callgraph.ml
@@ -215,7 +215,7 @@ let feature : featureDescr =
fd_post_check = false;
}
-let () = Features.register feature
+let () = Feature.register feature
(*
*
View
2  src/ext/canonicalize/canonicalize.ml
@@ -291,4 +291,4 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/dataslicing/dataslicing.ml
@@ -453,4 +453,4 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/epicenter/epicenter.ml
@@ -79,7 +79,7 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
(*
*
View
4 src/ext/heapify/heapify.ml
@@ -243,8 +243,8 @@ let feature2 : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature1
-let () = Features.register feature2
+let () = Feature.register feature1
+let () = Feature.register feature2
View
2  src/ext/liveness/liveness.ml
@@ -345,4 +345,4 @@ let feature =
fd_post_check = false
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/logcalls/logcalls.ml
@@ -230,7 +230,7 @@ let feature : featureDescr =
fd_post_check = true
}
-let () = Features.register feature
+let () = Feature.register feature
(*
*
View
2  src/ext/logwrites/logwrites.ml
@@ -137,4 +137,4 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/oneret/oneret.ml
@@ -173,4 +173,4 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
View
4 src/ext/partial/partial.ml
@@ -1167,8 +1167,8 @@ let makeCFGFeature : featureDescr =
fd_post_check = true;
}
-let () = Features.register makeCFGFeature (* ww: make CFG *must* come before Partial *)
-let () = Features.register feature
+let () = Feature.register makeCFGFeature (* ww: make CFG *must* come before Partial *)
+let () = Feature.register feature
(*
*
* Copyright (c) 2001-2002,
View
2  src/ext/pta/ptranal.ml
@@ -597,4 +597,4 @@ let feature : featureDescr = {
fd_post_check = false (* No changes *)
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/sfi/sfi.ml
@@ -335,4 +335,4 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/simplemem/simplemem.ml
@@ -131,4 +131,4 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/simplify/simplify.ml
@@ -765,4 +765,4 @@ let feature : featureDescr =
fd_post_check = true;
}
-let () = Features.register feature
+let () = Feature.register feature
View
2  src/ext/zrapp/zrapp.ml
@@ -644,4 +644,4 @@ let feature : featureDescr =
fd_post_check = false
}
-let () = Features.register feature
+let () = Feature.register feature
View
0  src/features.ml → src/feature.ml
File renamed without changes
View
0  src/features.mli → src/feature.mli
File renamed without changes
View
12 src/main.ml
@@ -61,7 +61,7 @@ let parseOneFile (fname: string) : C.file =
let doEpicenter =
List.exists (fun f -> f.C.fd_name = "epicenter" && !(f.C.fd_enabled) = true)
- (Features.list ()) in
+ (Feature.list ()) in
if (not doEpicenter) then (
(* sm: remove unused temps to cut down on gcc warnings *)
(* (Stats.time "usedVar" Rmtmps.removeUnusedTemps cil); *)
@@ -103,7 +103,7 @@ let rec processOneFile (cil: C.file) =
end
end
end)
- (Features.list ());
+ (Feature.list ());
(match !outChannel with
@@ -137,8 +137,8 @@ let theMain () =
(* Load plugins. This needs to be done before command-line arguments are
* built. *)
- Features.loadFromEnv "CIL_FEATURES";
- Features.loadFromArgv "--load";
+ Feature.loadFromEnv "CIL_FEATURES";
+ Feature.loadFromArgv "--load";
(*********** COMMAND LINE ARGUMENTS *****************)
@@ -160,11 +160,11 @@ let theMain () =
" Enable " ^ fdesc.C.fd_description) ::
fdesc.C.fd_extraopt @ acc
)
- (Features.list ())
+ (Feature.list ())
[blankLine]
in
let featureArgs =
- ("", Arg.Unit (fun () -> ()), " \n\t\tCIL Features") :: featureArgs
+ ("", Arg.Unit (fun () -> ()), " \n\t\tCIL Feature") :: featureArgs
in
let argDescr = Ciloptions.options @
Please sign in to comment.
Something went wrong with that request. Please try again.