/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | ptr_auxupd.c | 9 int tmp = 5; local
|
H A D | ptr_umm.c | 9 int tmp = *i; local
|
H A D | automatic_modifies.c | 52 int tmp = mrec2(); local
|
H A D | mutrec_modifies.c | 63 int tmp = h(x); local
|
H A D | kmalloc.c | 124 word_t* tmp; local 167 word_t* tmp; local [all...] |
/seL4-l4v-master/l4v/tools/c-parser/testfiles/errors/ |
H A D | addrlocal.c | 9 int tmp; local
|
/seL4-l4v-master/HOL4/src/datatype/mutrec/ |
H A D | mutrecLib.sml | 11 let val (tmp as {New_Ty_Existence_Thm, value
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Sort.h | 40 T tmp; local 63 T tmp; local
|
H A D | Proof.C | 178 ClauseId Proof::parseRoot(vec<Lit>& clause, File& fp, uint64 tmp, std::ofstream* fout) { argument 219 parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id, std::ofstream* fout) argument 306 uint64 tmp = getUInt(fp); local 381 uint64 tmp; local [all...] |
H A D | Global.h | 62 T* tmp = (T*)malloc(size * sizeof(T)); local 67 T* tmp = (T*)realloc((void*)ptr, size * sizeof(T)); local
|
H A D | Solver.h | 192 bool solve() { vec<Lit> tmp; return solve(tmp); } local
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/ |
H A D | statespace.cxx | 26 bdd tmp = bddfalse; local
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
H A D | milner.cxx | 74 tmp; local
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | pairs.c | 104 int tmp; local
|
H A D | bvec.c | 753 bvec newRemainder, tmp, sub = bvec_build(divisor.bitnum, bddfalse); local 795 bvec tmp = bvec_build(e.bitnum, 0); local 1231 BDD tmp = bdd_addref( bvec_lte(l,r) ); local 1250 BDD tmp = bdd_addref( bvec_lth(l,r) ); local 1307 BDD tmp = bdd_addref( bvec_equ(l,r) ); local [all...] |
H A D | fdd.c | 380 int v=1, tmp; local 577 BDD tmp; local 892 BDD res=bddtrue, tmp; local 933 bdd res = bddtrue, tmp; local [all...] |
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
H A D | kmalloc.c | 126 word_t *tmp; local 165 word_t *tmp; local [all...] |
/seL4-l4v-master/HOL4/src/HolSat/ |
H A D | minisatParse.sml | 148 let val tmp = sat_getint fin value
|
H A D | dimacsTools.sml | 255 val tmp = FileSys.tmpName() value 289 val (tmp,cnf,svm,sva) = value
|
/seL4-l4v-master/HOL4/developers/ |
H A D | generateBuildSummary.sml | 24 val tmp = OS.FileSys.tmpName() value
|
/seL4-l4v-master/HOL4/examples/PSL/1.01/parser.mosmlyacc/ |
H A D | Main.sml | 37 val tmp = FileSys.tmpName() value
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/ |
H A D | slist.h | 167 { ite tmp=*this; if (next) next=next->next; return tmp; } local
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/ |
H A D | solitare.cxx | 92 bdd all_other_idle(int src, int tmp, int dst) argument 107 bdd make_move(int src, int tmp, int dst) argument 146 bdd tmp; local 170 bdd tmp; local [all...] |
/seL4-l4v-master/seL4/src/arch/x86/machine/ |
H A D | breakpoint.c | 60 word_t tmp; local 558 convertedTypeAndAccess_t tmp; local
|
/seL4-l4v-master/HOL4/examples/dev/sw2/ |
H A D | regAlloc.sml | 545 val tmp = List.map value
|