Searched defs:al (Results 1 - 15 of 15) sorted by relevance
/seL4-l4v-master/HOL4/examples/HolCheck/ |
H A D | holCheckTools.sml | 42 val al = List.length apl value
|
H A D | bddTools.sml | 93 let val al = bdd.getAssignment (bdd.toAssignment_ b) value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/model/ |
H A D | m0AssemblerLib.sml | 186 val al = BitsN.fromNat (14, 4) value
|
H A D | m0.sig | 422 val al: BitsN.nbit * string value
|
H A D | m0.sml | 3662 val al = (BitsN.B(0xE,4),"") value
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibThm.sml | 243 val (al,m) = maps g (deps th) m value
|
/seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
H A D | smlParallel.sml | 325 val (al,bl) = partition (isSome o snd) (map_assoc f runningl) value
|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
H A D | libraries.tex | [all...] |
/seL4-l4v-master/HOL4/examples/ARM_security_properties/ |
H A D | switching_lemmaScript.sml | 1951 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 D | helperLib.sml | 629 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 D | m0_stepLib.sml | 1649 fun al () = List.tabulate (8, fn i => dp i) @ [dp 12, dp 14] function
|
/seL4-l4v-master/HOL4/src/quotient/src/ |
H A D | quotient.sml | 4068 val (al,ar) = dest_eq body value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/ |
H A D | arm_stepLib.sml | 2863 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 D | arm.sig | 1143 val al: BitsN.nbit * string value
|
H A D | arm.sml | 23267 val al = (BitsN.B(0xE,4),"") value
|
Completed in 333 milliseconds