Searched defs:timestamp (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dbenchmark.h23 timestamp(void) function
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dbenchmark.h18 timestamp(void) function
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java22 long timestamp; field in class:TreeBrowser
H A DGraphView.java25 long timestamp; field in class:GraphView
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeBrowser.java22 long timestamp; field in class:TreeBrowser
H A DGraphView.java25 long timestamp; field in class:GraphView
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake.sml153 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig194 val timestamp: unit -> time value
H A DPortable.sml627 val timestamp: unit -> time = now value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml940 val timestamp = fmt "%Y-%m-%dT%H%M" (fromTimeLocal (Time.now())) value

Completed in 61 milliseconds