| /seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
| H A D | simple.c | 7 unsigned max(unsigned a, unsigned b) function
|
| H A D | alloc.c | 29 static word_t max(word_t a, word_t b) function
|
| /seL4-l4v-master/l4v/tools/autocorres/doc/quickstart/ |
| H A D | minmax.c | 22 unsigned max(unsigned a, unsigned b) function
|
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | Solver.C | 118 int max = level[var(ps[1])]; variable
|
| /seL4-l4v-master/HOL4/examples/hardware/hol88/mos-count/ |
| H A D | toplevel.ml | 96 let max = 2 EXP (n + 1) in var in function:%
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | Dynarray.sml | 47 fun max (x, y: int) = if x > y then x else y function
|
| H A D | Arbintcore.sig | 42 val max : int * int -> int value
|
| /seL4-l4v-master/HOL4/examples/ARM/v4/ |
| H A D | run_arm_evalScript.sml | 20 val max = value
|
| /seL4-l4v-master/l4v/tools/autocorres/experiments/alloc-proof/ |
| H A D | alloc_simp.c | 21 word_t max; member in struct:heap
25 void init_heap(struct heap *heap, word_t max) argument
|
| H A D | alloc_lite.c | 18 static word_t max(word_t a, word_t b) function
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibOmegaint.sig | 37 val max : int * int -> int value
|
| H A D | mlibArbint.sig | 43 val max : int * int -> int value
|
| H A D | mlibArbint.sml | 117 fun max (i,j) = if i < j then j else i function
|
| H A D | mlibSubsume.sml | 200 val max = length flits value
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | mp_then.sml | 38 val max = ith |> concl |> strip_forall |> #2 |> conj length value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
| H A D | Nat.sig | 47 val max: nat * nat -> nat value
|
| H A D | Nat.sml | 57 fun max (a, b) = if a < b then b else a function
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | Arbrat.sig | 42 val max : rat * rat -> rat value
|
| /seL4-l4v-master/HOL4/src/portableML/mosml/ |
| H A D | Arbintcore.sig | 40 val max : int * int -> int value
|
| H A D | Arbintcore.sml | 117 fun max (i,j) = if i < j then j else i function
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | locking.cpp | 254 bool PSemaphore::Init(unsigned init, unsigned max) argument
|
| H A D | statistics.cpp | 119 #undef max macro
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | INTEGER.sml | 48 val max : (int * int) -> int value
|
| H A D | WordSignature.sml | 56 val max : (word * word) -> word value
|
| /seL4-l4v-master/HOL4/src/num/arith/src/ |
| H A D | Sup_Inf.sml | 331 and max = eval_max_bound (tl bl) value
|