/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | problems.sml | 678 "left and right sides."], value
|
H A D | KeyMap.sml | 221 and right = E value 270 val right = treeAppend right tree2 value 502 and right = treeDelete dkey right value 531 and right = treeMapPartial f right value 553 and right = treeMap f right value 584 and right = treeMerge f1 f2 fb r right value 622 and right = treeUnion f f2 r right value 658 and right = treeIntersect f r right value 691 and right = treeUnionDomain r right value 719 and right = treeIntersectDomain r right value 746 and right = treeDifferenceDomain right r value [all...] |
H A D | Map.sml | 213 and right = E value 262 val right = treeAppend right tree2 value 494 and right = treeDelete compareKey dkey right value 523 and right = treeMapPartial f right value 545 and right = treeMap f right value 576 and right = treeMerge compareKey f1 f2 fb r right value 614 and right = treeUnion compareKey f f2 r right value 650 and right = treeIntersect compareKey f r right value 683 and right = treeUnionDomain compareKey r right value 711 and right = treeIntersectDomain compareKey r right value 738 and right = treeDifferenceDomain compareKey right r value [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | problems.sml | 678 "left and right sides."], value
|
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
H A D | heap_wrap.c | 16 struct thing *right; member in struct:thing
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Heap.h | 28 static inline int right (int i) { return i+i + 1; } function
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | fdd.h | 102 inline bdd fdd_equalspp(int left, int right) argument [all...] |
H A D | bvec.c | 697 bvec bvec_mul(bvec left, bvec right) argument 843 int bvec_div(bvec left, bvec right, bvec *result, bvec *remainder) argument [all...] |
H A D | bvec.h | 229 bvec_add(const bvec &left, const bvec &right) argument 232 bvec_sub(const bvec &left, const bvec &right) argument 238 bvec_mul(const bvec &left, const bvec &right) argument 250 bvec_shl(const bvec &left, const bvec &right, const bdd &c) argument 256 bvec_shr(const bvec &left, const bvec &right, const bdd &c) argument 259 bvec_lth(const bvec &left, const bvec &right) argument 262 bvec_lte(const bvec &left, const bvec &right) argument 265 bvec_gth(const bvec &left, const bvec &right) argument 268 bvec_gte(const bvec &left, const bvec &right) argument 271 bvec_equ(const bvec &left, const bvec &right) argument 274 bvec_neq(const bvec &left, const bvec &right) argument [all...] |
H A D | fdd.c | 606 BDD fdd_equals(int left, int right) argument
|
H A D | reorder.c | 743 BddTree *right = left->next; local [all...] |
/seL4-l4v-master/HOL4/polyml/samplecode/Foreign/ |
H A D | ForeignTest.c | 39 struct _tree *left, *right; member in struct:_tree
|
/seL4-l4v-master/HOL4/src/portableML/poly/ |
H A D | Intmap.sml | [all...] |
/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | Binarymap.sml | [all...] |
/seL4-l4v-master/HOL4/developers/mlton-srcs/ |
H A D | Binarymap.sml | [all...] |
/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | int-binary-map.sml | [all...] |
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | int-binary-map.sml | [all...] |
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | int-binary-map.sml | [all...] |
/seL4-l4v-master/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | |
/seL4-l4v-master/l4v/isabelle/src/Doc/Intro/document/ |
H A D | getting.tex | |
/seL4-l4v-master/HOL4/src/HolSmt/ |
H A D | SmtLib_Theories.sml | 107 val right = String.explode right value 115 val right = String.implode (List.rev (drop_zeros (List.rev right))) value
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Map.sml | 421 and right = treeMapPartial cmp f right value 440 and right = treeMap f right value [all...] |
/seL4-l4v-master/HOL4/src/new-datatype/ |
H A D | NDatatype.sml | 213 val right = INST repl r'' value
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | gc_share_phase.cpp | 591 PolyObject *left = ENDOFLIST, *right = ENDOFLIST; local
|
/seL4-l4v-master/HOL4/src/pfl/ |
H A D | index.sml | 350 val right = mk_is_some(dest_the rapp) value
|