Searched refs:reg_set (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/graph-refine/
H A Dinst_logic.py25 reg_set = set (['r%d' % i for i in range (16)]) variable
42 if bit2 in reg_set or bit2.startswith ('%'):
/seL4-l4v-master/HOL4/examples/ARM_security_properties/
H A Dswitching_lemmaScript.sml726 fn mode => fn reg => fn reg_set =>
740 Q.UNABBREV_TAC ([QUOTE reg_set])

Completed in 112 milliseconds