Searched defs:inc (Results 26 - 34 of 34) sorted by relevance
12
| /seL4-l4v-master/HOL4/examples/ARM/arm6-verification/ |
| H A D | coreScript.sml | 868 and inc = areg + 4w value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Model.sml | 773 fun inc vs V = function
793 val inc = incrementValuation N vars value
|
| H A D | Print.sml | 1507 fun inc {indent,line} acc = line :: nSpaces indent :: acc; function
|
| H A D | Useful.sml | 222 fun inc ((x,y),(xs,ys)) = (x :: xs, y :: ys); function
356 fun inc (v,x) = if mem v x then x else v :: x; function
363 fun inc (v,x) = if mem v t then x else v :: x function
370 fun inc (v,x) = if mem v t then v :: x else x function
377 fun inc (v,x) = if mem v t then x else v :: x function
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Model.sml | 773 fun inc vs V = function
793 val inc = incrementValuation N vars value
|
| H A D | Print.sml | 1507 fun inc {indent,line} acc = line :: nSpaces indent :: acc; function
|
| H A D | Useful.sml | 222 fun inc ((x,y),(xs,ys)) = (x :: xs, y :: ys); function
356 fun inc (v,x) = if mem v x then x else v :: x; function
363 fun inc (v,x) = if mem v t then x else v :: x function
370 fun inc (v,x) = if mem v t then v :: x else x function
377 fun inc (v,x) = if mem v t then x else v :: x function
[all...] |
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | Portable.sig | 193 val inc: int ref -> unit value
|
| H A D | Portable.sml | 553 fun inc r = (r := !r + 1) function
|
Completed in 384 milliseconds
12