| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | protoparamshadow.c | 7 int var; variable
11 int realone(int var) argument
22 int var = 4; variable
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | Single_Assignment.sml | 10 val var: string -> 'a var value
26 fun var name = Var function
[all...] |
| H A D | Synchronized.sml | 10 val var: string -> 'a -> 'a var value
30 fun var name x = Var function
[all...] |
| H A D | Thread_Data.sml | 10 val var: unit -> 'a var value
23 fun var () : 'a var = Var (Universal.tag ()); function
|
| /seL4-l4v-master/HOL4/examples/lambda/basics/ |
| H A D | NEWLib.sml | 9 val var = mk_var(vname, string_ty) value
|
| /seL4-l4v-master/HOL4/examples/temporal_deep/src/examples/ |
| H A D | ibm.sml | 212 val var = mk_var (s, type_of replace); value
|
| /seL4-l4v-master/HOL4/src/num/arith/src/ |
| H A D | Sol_ranges.sml | 164 val var = hd vars value
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | fdd.h | 87 inline bdd fdd_ithvarpp(int var, int val) argument
90 inline bdd fdd_ithsetpp(int var) argument
93 inline bdd fdd_domainpp(int var) argument
96 inline int fdd_scanvar(const bdd &r, int var) argument
[all...] |
| H A D | bddio.c | 542 int key,var,low,high,root=0,n; local
|
| H A D | cppext.cxx | 98 BDD *var = NEW(BDD,width); local
|
| /seL4-l4v-master/HOL4/examples/temporal_deep/src/tools/ |
| H A D | congToolsLib.sml | 37 val var = mk_var ("x", hol_type) value
|
| /seL4-l4v-master/HOL4/src/HolQbf/ |
| H A D | QDimacs.sml | 257 val (var, body) = boolSyntax.dest_forall tm value
|
| H A D | QbfLibrary.sml | 53 val ((var, body), is_forall) = (boolSyntax.dest_forall t, true) value
137 val var = boolSyntax.dest_neg lit value
[all...] |
| H A D | QbfCertificate.sml | 220 val (var,lits',deps) = value
|
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | SolverTypes.h | 44 explicit Lit(Var var, bool sgn = false) : x((var+var) + (int)sgn) {} argument
61 inline int var (Lit p) { return p.x >> 1; } function
|
| H A D | Main.C | 33 int var = abs(parsed_lit)-1; local
[all...] |
| /seL4-l4v-master/HOL4/examples/muddy/ |
| H A D | bvec.sig | 10 val var: fdd.precision -> bdd.varnum -> int -> bvec value
|
| H A D | bvec.sml | 16 val var: precision -> varnum -> int -> bvec = app3 (symb "mlbvec_var") value
|
| /seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
| H A D | ltl.lisp | |
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | IR.sml | 169 let val (var, rhs) = dest_let exp; value
|
| /seL4-l4v-master/HOL4/src/integer/ |
| H A D | jrhCore.sml | 47 val (var, body) = dest_exists tm value
101 val (var, body) = dest_exists tm value
178 val (var, body) = dest_exists tm value
[all...] |
| /seL4-l4v-master/HOL4/src/real/ |
| H A D | Diff.sml | 109 val var = variant (frees tm) lreal value
|
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | translateLib.sml | 74 val var = rhs o concl value
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Term.sig | 13 type var = Name.name type
|
| /seL4-l4v-master/HOL4/examples/pgcl/src/ |
| H A D | wpTools.sml | 102 val var = genvar (type_of wlp_post) value
|