Searched refs:NOW (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/isabelle/Admin/cronjob/ |
H A D | plain_identify | 37 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 D | plain_identify | 37 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 D | temporalSyntax.sml | 18 val (now_tm, mk_now, dest_now, is_now) = s1 "NOW"
|
H A D | temporalScript.sml | 21 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 D | temporal_stateScript.sml | 14 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 D | wrapper.c | 121 printf("Jitawa -- test version (built %s)\n", NOW);
|
/seL4-l4v-10.1.1/HOL4/src/enumfset/ |
H A D | totoScript.sml | 980 (* silly, but might be prudent to have. SUPPRESSED FOR NOW. *)
|
Completed in 111 milliseconds