Searched defs:al (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/HOL4/examples/HolCheck/
H A DholCheckTools.sml42 val al = List.length apl value
H A DbddTools.sml93 let val al = bdd.getAssignment (bdd.toAssignment_ b) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/
H A Dm0AssemblerLib.sml186 val al = BitsN.fromNat (14, 4) value
H A Dm0.sig422 val al: BitsN.nbit * string value
H A Dm0.sml3662 val al = (BitsN.B(0xE,4),"") value
/seL4-l4v-master/HOL4/src/metis/
H A DmlibThm.sml243 val (al,m) = maps g (deps th) m value
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlParallel.sml325 val (al,bl) = partition (isSome o snd) (map_assoc f runningl) value
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dlibraries.tex[all...]
/seL4-l4v-master/HOL4/examples/ARM_security_properties/
H A Dswitching_lemmaScript.sml1951 val (al,ar,arb)= decompose_term take_undef_exception_body; value
1994 val (al,_,body)= decompose_term body; value
2030 val (al,ar,arb)= decompose_term te_body; value
2064 val (al,ar,arb)= decompose_term te_body; value
2099 val (al,ar,arb)= decompose_term te_body; value
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sml629 val al = find_matches x ys [] value
1285 val al = find_matches x ys [] value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml1649 fun al () = List.tabulate (8, fn i => dp i) @ [dp 12, dp 14] function
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml4068 val (al,ar) = dest_eq body value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml2863 val al = List.concat (List.tabulate (8, fn i => dp i) @ [dp 12, dp 14]) value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sig1143 val al: BitsN.nbit * string value
H A Darm.sml23267 val al = (BitsN.B(0xE,4),"") value

Completed in 333 milliseconds