/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
H A D | list_rev.c | 19 struct node *rev = NULL; local 22 list->next = rev; rev = list; list = next; 24 return rev;
|
H A D | list.c | 43 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 D | mutual_recursion2.c | 23 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 D | mercurial.scala | 28 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 D | mercurial.scala | 28 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 D | TheoryLexer.sml | 31 [] => (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 D | tttLexer.sml | 22 [] => 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 D | isabelle_devel.scala | 54 rev: String = "", 63 Build_Release.build_release(base_dir, rev = rev, afp_rev = afp_rev,
|
H A D | isabelle_cronjob.scala | 79 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 D | build_release.scala | 44 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 D | build_history.scala | 110 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 D | isabelle_devel.scala | 54 rev: String = "", 63 Build_Release.build_release(base_dir, rev = rev, afp_rev = afp_rev,
|
H A D | isabelle_cronjob.scala | 79 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 D | build_release.scala | 44 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 D | build_history.scala | 110 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 D | HM_SimpleBuffer.sml | 8 val contents = String.concat (List.rev (!buf))
|
H A D | internal_functions.sml | 9 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 D | PrecAnalysis.sml | 64 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 D | monofldBScript.sml | 11 val result = String.concat (List.rev (!buf))
|
/seL4-l4v-10.1.1/HOL4/src/integer/testing/ |
H A D | readproblemfile.sml | 11 [QUOTE (String.concat (List.rev acc))]))
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | WordOps.sml | 91 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 D | testACL2encoding.ml | 31 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 D | Library.sml | 78 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 D | Useful.sml | 216 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 D | Useful.sml | 216 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...] |