Searched refs:timeStamp (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyexports.h71 time_t timeStamp; // Creation time stamp member in struct:_exportDescription
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsavestate.cpp169 time_t timeStamp; // The time stamp for this file. member in struct:_savedStateHeader
218 fileName(_tcsdup(file)), timeStamp(time) { }
220 time_t timeStamp; member in class:HierarchyTable
227 static bool AddHierarchyEntry(const TCHAR *fileName, time_t timeStamp) argument
230 HierarchyTable *newEntry = new HierarchyTable(fileName, timeStamp);
613 saveHeader.parentTimeStamp = hierarchyTable[newHierarchy-2]->timeStamp;
616 saveHeader.timeStamp = getBuildTime();
704 (void)AddHierarchyEntry(fileName, saveHeader.timeStamp);
1006 if (! isInitial && header.timeStamp != requiredStamp)
1250 if (! AddHierarchyEntry(thisFile, header.timeStamp))
[all...]
H A Dmpoly.cpp520 exportTimeStamp = exports->timeStamp; // Needed for load and save.
H A Dpecoffexport.cpp351 exports.timeStamp = now;
H A Delfexport.cpp721 exports.timeStamp = getBuildTime();
H A Dmachoexport.cpp483 exports.timeStamp = getBuildTime();
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DFinalPolyML.sml824 type timeStamp = Time.time; type
825 val firstTimeStamp : timeStamp = Time.zeroTime;
830 val timeStampTable: timeStamp ptable = create()
834 fun lastMade (objectName : string) : timeStamp =
854 val sourceDateEpoch : timeStamp option =
864 val newTimeStamp : unit -> timeStamp = case sourceDateEpoch of
868 val fileTimeStamp : string -> timeStamp = case sourceDateEpoch of
1006 List.foldl (fn (s: string, t: timeStamp) =>
1009 val timeStamp = maxTime(newest, newTimeStamp()); value
1012 updateMakeData(name, timeStamp, depend
[all...]

Completed in 99 milliseconds