Searched refs:rev (Results 1 - 25 of 446) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dlist_rev.c19 struct node *rev = NULL; local
22 list->next = rev; rev = list; list = next;
24 return rev;
H A Dlist.c43 struct node *rev = 0; local
46 list->next = rev;
47 rev = list;
50 return rev;
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/parse-tests/
H A Dmutual_recursion2.c23 unsigned rev(unsigned x, unsigned b) { function
27 return rev (x >> b & m, b) | rev (x & m, b);
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dmercurial.scala28 def opt_rev(s: String): String = optional(s, "--rev")
68 rev: String = "", options: String = "", ssh: SSH.System = SSH.Local): Repository =
70 options + " " + Bash.string(source) + " " + ssh.bash_path(root) + opt_rev(rev), ssh = ssh)
100 def archive(target: String, rev: String = "", options: String = ""): Unit =
101 hg.command("archive", opt_rev(rev) + " " + Bash.string(target), options).check
106 def identify(rev: String = "tip", options: String = ""): String =
107 hg.command("id", opt_rev(rev), options).check.out_lines.headOption getOrElse ""
109 def id(rev: String = "tip"): String = identify(rev, options = "-i")
111 def manifest(rev
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dmercurial.scala28 def opt_rev(s: String): String = optional(s, "--rev")
68 rev: String = "", options: String = "", ssh: SSH.System = SSH.Local): Repository =
70 options + " " + Bash.string(source) + " " + ssh.bash_path(root) + opt_rev(rev), ssh = ssh)
100 def archive(target: String, rev: String = "", options: String = ""): Unit =
101 hg.command("archive", opt_rev(rev) + " " + Bash.string(target), options).check
106 def identify(rev: String = "tip", options: String = ""): String =
107 hg.command("id", opt_rev(rev), options).check.out_lines.headOption getOrElse ""
109 def id(rev: String = "tip"): String = identify(rev, options = "-i")
111 def manifest(rev
[all...]
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheoryLexer.sml31 [] => (implode (rev buf), [])
35 then (implode (rev buf), charl)
42 | #"\"" :: m => (implode (rev (#"\"" :: buf)), m)
47 [] => rev acc
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttLexer.sml22 [] => rev acc
30 [] => rev acc
38 [] => rev acc
44 else raise ERR "rm_comment_aux" (implode (rev acc) ^ " : " ^ implode charl)
85 [] => (implode (rev buf), [])
88 then (implode (rev buf), charl)
94 | #"\"" :: m => (implode (rev (#"\"" :: buf)), m)
99 [] => rev acc
140 if null acc then [] else [String.concatWith "." (rev acc)]
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala54 rev: String = "",
63 Build_Release.build_release(base_dir, rev = rev, afp_rev = afp_rev,
H A Disabelle_cronjob.scala79 rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30")
96 rev = "build_history_base",
118 def known_versions(rev: String, afp_rev: Option[String]): Boolean =
119 known && rev != "" && isabelle_version == rev &&
124 days: Int, rev: String, afp_rev: Option[String], sql: SQL.Source): List[Item] =
129 days = days, rev = rev, afp_rev = afp_rev, sql = "WHERE " + sql)
185 rev: String = "",
195 val items = recent_items(db, days, rev, afp_re
[all...]
H A Dbuild_release.scala44 rev: String = "",
92 (if (rev != "") " " + Bash.string(rev) else ""),
202 var rev = ""
228 "r:" -> (arg => rev = arg))
235 build_release(Path.explode(base_dir), progress = progress, rev = rev, afp_rev = afp_rev,
H A Dbuild_history.scala110 rev: String = default_rev,
155 hg.update(rev = version, clean = true)
157 hg.id(rev = version)
160 val isabelle_version = checkout(root, rev)
403 var rev = default_rev
461 "r:" -> (arg => rev = arg),
478 build_history(Options.init(), root, user_home = user_home, progress = progress, rev = rev,
514 rev: String = "",
535 self_hg.update(rev
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala54 rev: String = "",
63 Build_Release.build_release(base_dir, rev = rev, afp_rev = afp_rev,
H A Disabelle_cronjob.scala79 rev = get_rev(), afp_rev = get_afp_rev(), remote_mac = "macbroy30")
96 rev = "build_history_base",
118 def known_versions(rev: String, afp_rev: Option[String]): Boolean =
119 known && rev != "" && isabelle_version == rev &&
124 days: Int, rev: String, afp_rev: Option[String], sql: SQL.Source): List[Item] =
129 days = days, rev = rev, afp_rev = afp_rev, sql = "WHERE " + sql)
185 rev: String = "",
195 val items = recent_items(db, days, rev, afp_re
[all...]
H A Dbuild_release.scala44 rev: String = "",
92 (if (rev != "") " " + Bash.string(rev) else ""),
202 var rev = ""
228 "r:" -> (arg => rev = arg))
235 build_release(Path.explode(base_dir), progress = progress, rev = rev, afp_rev = afp_rev,
H A Dbuild_history.scala110 rev: String = default_rev,
155 hg.update(rev = version, clean = true)
157 hg.id(rev = version)
160 val isabelle_version = checkout(root, rev)
403 var rev = default_rev
461 "r:" -> (arg => rev = arg),
478 build_history(Options.init(), root, user_home = user_home, progress = progress, rev = rev,
514 rev: String = "",
535 self_hg.update(rev
[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHM_SimpleBuffer.sml8 val contents = String.concat (List.rev (!buf))
H A Dinternal_functions.sml9 fun spacify0 acc [] = List.rev acc
10 | spacify0 acc [x] = List.rev (x::acc)
39 if size ss = 0 then List.rev acc
42 NONE => List.rev (string ss::acc)
62 else concat (List.rev (ok::acc))
73 NONE => (full (String.implode (List.rev acc)), full "")
80 NONE => (full (String.implode (List.rev (c::acc))), full "")
87 | _ => if c = #"%" then (full (String.implode(List.rev acc)), ss)
142 NONE => concat (List.rev (ss::acc))
163 fun recurse h acc [] = List.rev (Lis
[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPrecAnalysis.sml64 val rev = List.rev value
76 [] => rev A
77 | [TM] => rev A
86 NONE => rev A
88 rev ((valOf left_opt, tk1, lp) :: A))
89 | SOME lp => rev ((s,tk1,lp)::A))
92 NONE => rev A
94 NONE => rev A
95 | SOME lp => rev ((
[all...]
/seL4-l4v-10.1.1/HOL4/src/datatype/theory_tests/
H A DmonofldBScript.sml11 val result = String.concat (List.rev (!buf))
/seL4-l4v-10.1.1/HOL4/src/integer/testing/
H A Dreadproblemfile.sml11 [QUOTE (String.concat (List.rev acc))]))
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DWordOps.sml91 fun msb_signed i = rev (lsb_signed i);
93 fun msb_unsigned i = rev (lsb_unsigned i);
109 fun msb_num_of wlist = lsb_num_of (rev wlist);
110 fun msb_int_of wlist = lsb_int_of (rev wlist);
141 in String.implode (map byte2char (rev blist))
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DtestACL2encoding.ml31 val types = ref (rev (map (type_of o lhs) (strip_conj (concl LIST))));
50 split_nested_recursive_set) (rev (!types));
52 (rev (!types));
54 (rev (!types));
56 (rev (!types));
58 (rev (!types));
60 (rev (!types));
62 (rev (!types));
75 t::map snd (reachable_graph uncurried_subtypes t)) (rev (!types)))))
95 (rev (!type
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DLibrary.sml78 String.implode (List.rev cs)
84 String.implode (List.rev cs)
96 | aux cs #" " = String.implode (List.rev cs)
97 | aux cs #"\t" = String.implode (List.rev cs)
98 | aux cs #"\n" = String.implode (List.rev cs)
99 | aux cs #"\r" = String.implode (List.rev cs)
103 | aux cs #"(" = (buffer := SOME "("; String.implode (List.rev cs))
104 | aux cs #")" = (buffer := SOME ")"; String.implode (List.rev cs))
115 | aux cs #";" = (line_comment (); String.implode (List.rev cs))
120 String.implode (List.rev (
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml216 fn xs => fn ys => List.rev (z [] xs ys)
224 fun unzip ab = List.foldl inc ([],[]) (List.rev ab);
235 let val xs' = List.rev xs in aux xs' [] xs' (List.rev ys) end
242 fun f acc [] = List.rev acc
243 | f acc (x :: xs) = if p x then f (x :: acc) xs else List.rev acc
258 fun f acc [] = (List.rev acc, [])
259 | f acc (l as x :: xs) = if p x then f (x :: acc) xs else (List.rev acc, l)
270 val acc = if List.null row then acc else List.rev row :: acc
272 List.rev ac
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml216 fn xs => fn ys => List.rev (z [] xs ys)
224 fun unzip ab = List.foldl inc ([],[]) (List.rev ab);
235 let val xs' = List.rev xs in aux xs' [] xs' (List.rev ys) end
242 fun f acc [] = List.rev acc
243 | f acc (x :: xs) = if p x then f (x :: acc) xs else List.rev acc
258 fun f acc [] = (List.rev acc, [])
259 | f acc (l as x :: xs) = if p x then f (x :: acc) xs else (List.rev acc, l)
270 val acc = if List.null row then acc else List.rev row :: acc
272 List.rev ac
[all...]

Completed in 200 milliseconds

1234567891011>>