Searched refs:datetime (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/manual/tools/
H A Dgen_env.py15 import datetime namespace
35 commit_date = datetime.datetime.strptime(commit_date_string.split()[0], "%Y-%m-%d")
/seL4-l4v-10.1.1/l4v/misc/regression/
H A Drun_tests.py20 import datetime namespace
181 start_time = datetime.datetime.now()
196 'real_time': datetime.datetime.now() - start_time,
320 'real_time': datetime.datetime.now() - start_time,
350 real_time = datetime.timedelta(seconds=int(real_time.total_seconds()))
354 cpu_time = datetime.timedelta(seconds=int(cpu_time))
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/
H A Dstats.py18 import datetime namespace
106 "time" : str(datetime.datetime.now()),
/seL4-l4v-10.1.1/l4v/misc/git-commit-emails/
H A Dcommit-email.py28 import datetime namespace
173 datetime.datetime.fromtimestamp(commit.authored_date)
/seL4-l4v-10.1.1/graph-refine/
H A Dstats.py202 import datetime namespace
204 return (seconds, str (datetime.timedelta (seconds = int (seconds))))

Completed in 52 milliseconds