Searched refs:old_value (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsave_vec.cpp62 void SaveVec::reset(Handle old_value) argument
64 ASSERT(old_value >= save_vec && old_value <= save_vec_addr);
65 save_vec_addr = old_value;
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/
H A Dhol_defaxiomsScript.sml4075 let old_value =
4090 List [add current_time (unary_minus old_value); state]),
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dhol_defaxiomsScript.sml4037 let old_value =
4052 List [add current_time (unary_minus old_value); state]),
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dhol_defaxiomsScript.sml4033 let old_value =
4048 List [add current_time (unary_minus old_value); state]),

Completed in 157 milliseconds