| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/ |
| H A D | benchmark.h | 23 timestamp(void) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/ |
| H A D | benchmark.h | 18 timestamp(void) function
|
| /seL4-l4v-10.1.1/seL4/include/kernel/ |
| H A D | traps.h | 26 ksEnter = timestamp();
|
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
| H A D | TreeBrowser.java | 22 long timestamp; field in class:TreeBrowser
61 if (e.getWhen()-timestamp < 400 && !(vx.getPath().equals("")))
63 timestamp=e.getWhen();
|
| H A D | GraphView.java | 25 long timestamp; field in class:GraphView
252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals("")))
254 timestamp=evt.getWhen();
|
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | TreeBrowser.java | 22 long timestamp; field in class:TreeBrowser
61 if (e.getWhen()-timestamp < 400 && !(vx.getPath().equals("")))
63 timestamp=e.getWhen();
|
| H A D | GraphView.java | 25 long timestamp; field in class:GraphView
252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals("")))
254 timestamp=evt.getWhen();
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | ProvideUnicode.sml | 34 fun rreplace rf {term_name,paren_style,elements,timestamp,block_style} s =
48 NONE => SOME(#timestamp r, (rreplace rf r, tok_of r))
50 if #timestamp r > t' then
51 SOME(#timestamp r, (rreplace rf r, tok_of r))
64 | BinderString {timestamp, term_name = nm, tok} :: rest =>
68 NONE => SOME (timestamp, (breplace, tok))
69 | SOME (t', _) => if timestamp > t' then
70 SOME (timestamp, (breplace, tok))
|
| H A D | term_grammar_dtype.sml | 7 timestamp : int,
13 | BinderString of {tok : string, term_name : string, timestamp : int}
|
| H A D | term_grammar.sml | 360 | update_b_tstamp t (BinderString {tok,term_name,timestamp}) =
361 BinderString {tok = tok, term_name =term_name, timestamp = t}
364 block_style, timestamp} =
366 block_style = block_style, timestamp = t}
421 timestamp = 0,
429 timestamp = 0,
435 timestamp = 0,
441 timestamp = 0,
450 timestamp = 0,
457 timestamp
[all...] |
| H A D | term_pp.sml | 273 fun lift f (rr as {term_name,timestamp,elements,...}) =
278 map (fn s => (s, (timestamp, f [rr]))) [nilstr, cons]
281 [(term_name, (timestamp, f [rr]))]
287 | bstamp (BinderString r) = #timestamp r
|
| /seL4-l4v-10.1.1/seL4/src/benchmark/ |
| H A D | benchmark_track.c | 24 timestamp_t ksExit = timestamp();
|
| /seL4-l4v-10.1.1/seL4/include/benchmark/ |
| H A D | benchmark.h | 37 ksEntries[id] = timestamp();
45 ksExit = timestamp();
|
| H A D | benchmark_track.h | 52 ksEnter = timestamp();
|
| H A D | benchmark_utilisation.h | 61 ksEnter = timestamp();
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
| H A D | jenkins.scala | 70 timestamp: Long,
74 val date: Date = Date(Time.ms(timestamp), ZoneId.of("Europe/Berlin"))
130 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"),
133 timestamp <- JSON.long(build, "timestamp")
143 Job_Info(job_name, timestamp, main_log, session_logs)
146 infos.sortBy(info => - info.timestamp)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
| H A D | jenkins.scala | 70 timestamp: Long,
74 val date: Date = Date(Time.ms(timestamp), ZoneId.of("Europe/Berlin"))
130 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"),
133 timestamp <- JSON.long(build, "timestamp")
143 Job_Info(job_name, timestamp, main_log, session_logs)
146 infos.sortBy(info => - info.timestamp)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | config.guess | 5 timestamp='2016-10-02'
50 GNU config.guess ($timestamp)
65 echo "$timestamp" ; exit ;;
1420 This script (version $timestamp), has failed to recognize the
1432 config.guess timestamp = $timestamp
1459 # time-stamp-start: "timestamp='"
|
| H A D | config.sub | 5 timestamp='2016-11-04'
68 GNU config.sub ($timestamp)
82 echo "$timestamp" ; exit ;;
1822 # time-stamp-start: "timestamp='"
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | config.guess | 5 timestamp='2016-10-02'
50 GNU config.guess ($timestamp)
65 echo "$timestamp" ; exit ;;
1420 This script (version $timestamp), has failed to recognize the
1432 config.guess timestamp = $timestamp
1459 # time-stamp-start: "timestamp='"
|
| H A D | config.sub | 5 timestamp='2016-11-04'
68 GNU config.sub ($timestamp)
82 echo "$timestamp" ; exit ;;
1822 # time-stamp-start: "timestamp='"
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Portable.sig | 194 val timestamp: unit -> time value
|
| /seL4-l4v-10.1.1/HOL4/src/res_quan/Manual/ |
| H A D | summacs.tex | 135 \def\timestamp{\number\day\space\monthname\space
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake.sml | 153 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value
154 val newname0 = hostname^timestamp
|
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | buildutils.sml | 940 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value
941 val newname0 = hostname^timestamp
|