Searched refs:timestamp (Results 1 - 25 of 31) sorted by relevance

12

/seL4-l4v-master/seL4/include/arch/riscv/arch/
H A Dbenchmark.h15 static inline timestamp_t timestamp(void) function
/seL4-l4v-master/seL4/include/arch/x86/arch/
H A Dbenchmark.h12 static inline uint64_t timestamp(void) function
/seL4-l4v-master/seL4/include/kernel/
H A Dtraps.h21 ksEnter = timestamp();
36 timestamp_t exit = timestamp();
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java22 long timestamp; field in class:TreeBrowser
61 if (e.getWhen()-timestamp < 400 && !(vx.getPath().equals("")))
63 timestamp=e.getWhen();
H A DGraphView.java25 long timestamp; field in class:GraphView
252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals("")))
254 timestamp=evt.getWhen();
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java22 long timestamp; field in class:TreeBrowser
61 if (e.getWhen()-timestamp < 400 && !(vx.getPath().equals("")))
63 timestamp=e.getWhen();
H A DGraphView.java25 long timestamp; field in class:GraphView
252 if (evt.getWhen()-timestamp < 400 && !(v.getPath().equals("")))
254 timestamp=evt.getWhen();
/seL4-l4v-master/HOL4/src/parse/
H A DProvideUnicode.sml34 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 Dterm_grammar_dtype.sml7 timestamp : int,
13 | BinderString of {tok : string, term_name : string, timestamp : int}
H A DGrammarDeltas.sml160 fun rrule_encode {term_name,elements,timestamp,block_style,paren_style} =
164 (term_name, (elements, timestamp, block_style, paren_style))
166 fun f (term_name, (elements, timestamp, block_style, paren_style)) =
167 {term_name = term_name, timestamp = timestamp,
179 | BinderString{tok,term_name,timestamp} =>
181 (tok,term_name,timestamp)
183 fun f (tok,term_name,timestamp) =
185 timestamp = timestamp}
[all...]
H A Dterm_grammar.sml365 | update_b_tstamp t (BinderString {tok,term_name,timestamp}) =
366 BinderString {tok = tok, term_name =term_name, timestamp = t}
369 block_style, timestamp} =
371 block_style = block_style, timestamp = t}
426 timestamp = 0,
434 timestamp = 0,
440 timestamp = 0,
446 timestamp = 0,
455 timestamp = 0,
462 timestamp
[all...]
H A Dterm_pp.sml267 fun lift f (rr as {term_name,timestamp,elements,...}) =
272 map (fn s => (s, (timestamp, f [rr]))) [nilstr, cons]
275 [(term_name, (timestamp, f [rr]))]
281 | bstamp (BinderString r) = #timestamp r
/seL4-l4v-master/seL4/src/benchmark/
H A Dbenchmark_track.c20 timestamp_t ksExit = timestamp();
/seL4-l4v-master/seL4/include/arch/arm/arch/
H A Dbenchmark.h27 static inline timestamp_t timestamp(void) function
/seL4-l4v-master/seL4/include/benchmark/
H A Dbenchmark.h31 ksEntries[id] = timestamp();
38 ksExit = timestamp();
H A Dbenchmark_track.h46 ksEnter = timestamp();
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Djenkins.scala69 timestamp: Long,
73 val date: Date = Date(Time.ms(timestamp), Date.timezone_berlin)
129 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"),
132 timestamp <- JSON.long(build, "timestamp")
142 Job_Info(job_name, timestamp, main_log, session_logs)
145 infos.sortBy(info => - info.timestamp)
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Djenkins.scala69 timestamp: Long,
73 val date: Date = Date(Time.ms(timestamp), Date.timezone_berlin)
129 invoke(root() + "/job/" + job_name, "tree=allBuilds[number,timestamp,artifacts[*]]"),
132 timestamp <- JSON.long(build, "timestamp")
142 Job_Info(job_name, timestamp, main_log, session_logs)
145 infos.sortBy(info => - info.timestamp)
/seL4-l4v-master/HOL4/polyml/
H A Dconfig.guess5 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 Dconfig.sub5 timestamp='2016-11-04'
68 GNU config.sub ($timestamp)
82 echo "$timestamp" ; exit ;;
1822 # time-stamp-start: "timestamp='"
/seL4-l4v-master/HOL4/src/finite_maps/
H A Dalist_treeLib.sml251 val start = Portable.timestamp ()
253 val time = Time.-(Portable.timestamp (), start)
/seL4-l4v-master/HOL4/src/res_quan/Manual/
H A Dsummacs.tex135 \def\timestamp{\number\day\space\monthname\space
/seL4-l4v-master/HOL4/src/portableML/
H A DPortable.sig203 val timestamp: unit -> time value
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake.sml253 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value
254 val newname0 = hostname^timestamp
/seL4-l4v-master/HOL4/tools/
H A Dbuildutils.sml940 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value
941 val newname0 = hostname^timestamp

Completed in 159 milliseconds

12