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

/seL4-l4v-10.1.1/isabelle/Admin/cronjob/
H A Dplain_identify37 NOW="$(date --rfc-3339=ns)"
38 LOG_DIR="$HOME/cronjob/log/$(date -d "$NOW" "+%Y")"
39 LOG_SECONDS="$(($(date -d "$NOW" +"%s") - $(date -d 'today 00:00:00' "+%s")))"
40 LOG_NAME="plain_identify_$(date -d "$NOW" "+%Y-%m-%d").$(printf "%05d" "$LOG_SECONDS").log"
46 date -d "$NOW" "+%a %b %-d %H:%M:%S %Z %Y"
/seL4-l4v-10.1.1/l4v/isabelle/Admin/cronjob/
H A Dplain_identify37 NOW="$(date --rfc-3339=ns)"
38 LOG_DIR="$HOME/cronjob/log/$(date -d "$NOW" "+%Y")"
39 LOG_SECONDS="$(($(date -d "$NOW" +"%s") - $(date -d 'today 00:00:00' "+%s")))"
40 LOG_NAME="plain_identify_$(date -d "$NOW" "+%Y-%m-%d").$(printf "%05d" "$LOG_SECONDS").log"
46 date -d "$NOW" "+%a %b %-d %H:%M:%S %Z %Y"
/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DtemporalSyntax.sml18 val (now_tm, mk_now, dest_now, is_now) = s1 "NOW"
H A DtemporalScript.sml21 val NOW_def = Define `NOW p ^f seq = f p (seq 0)`
30 (EVENTUALLY (NOW post)) ^f ^seq`
35 (T_IMPLIES (NOW pre)
36 (T_OR_F (NEXT (EVENTUALLY (NOW post))) err))`;
45 TEMPORAL model code (T_IMPLIES (NOW pre) (EVENTUALLY (NOW post)))`,
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A Dtemporal_stateScript.sml14 TEMPORAL (to_set,next,instr,$=,K F) c (T_IMPLIES (NOW p) (NEXT (NOW q)))`
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/bin/
H A Dwrapper.c121 printf("Jitawa -- test version (built %s)\n", NOW);
/seL4-l4v-10.1.1/HOL4/src/enumfset/
H A DtotoScript.sml980 (* silly, but might be prudent to have. SUPPRESSED FOR NOW. *)

Completed in 111 milliseconds