/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | builtins.c | 20 int acc = i < 0 ? i : 0; local
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 477 val acc = subgoalProof :: acc value
|
H A D | Useful.sml | 270 val acc = if List.null row then acc else List.rev row :: acc value 791 val acc = {filename = filename} :: acc value [all...] |
H A D | Tptp.sml | 1976 val acc = addFof NegatedConjectureRole (th,acc) value 2034 val acc = (initialNormalization, Normalize.initialCnf) value 2035 val acc = List.foldl addCnfAxiom acc cnfAxioms value 2036 val acc = List.foldl addFofAxiom acc fofAxioms value [all...] |
H A D | Term.sml | 163 val acc = (List.rev path, tm) :: acc value 304 val acc = (List.rev path, tm) :: acc value 315 val acc = (List.rev path, tm) :: acc value [all...] |
H A D | Rule.sml | 709 val (acc,apart) = value [all...] |
H A D | Proof.sml | 385 val acc = (th, thmToInference th) :: acc value [all...] |
H A D | Print.sml | 509 val acc = if p = p' then add t a acc else new t a acc value 519 val acc = new t a [] value 521 val (acc,_) = List.foldl layer (acc,p) ios value [all...] |
H A D | Normalize.sml | 960 val acc value [all...] |
H A D | Model.sml | 608 val acc = if Word.andb (s,0w1) = 0w0 then acc else acc + 1 value 797 val acc = f (V,acc) value 1187 val acc = value 1209 val acc = if pred i then i :: acc else acc value 1225 val acc = pertTerm M target tm acc value 1242 val acc = value [all...] |
H A D | Clause.sml | 177 val acc = addEq lit Rewrite.RightToLeft (r,l) acc value 178 val acc = addEq lit Rewrite.LeftToRight (l,r) acc value [all...] |
H A D | Active.sml | 589 val acc = [] value 590 val acc = LiteralSet.foldl (deduceResolution literals cl) acc lits value 591 val acc = List.foldl (deduceParamodulationWith subterms cl) acc eqns value 592 val acc = List.foldl (deduceParamodulationInto equations cl) acc subtms value 593 val acc = List.rev acc value 826 and acc = cl :: acc value [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 477 val acc = subgoalProof :: acc value
|
H A D | Useful.sml | 270 val acc = if List.null row then acc else List.rev row :: acc value 791 val acc = {filename = filename} :: acc value [all...] |
H A D | Tptp.sml | 1976 val acc = addFof NegatedConjectureRole (th,acc) value 2034 val acc = (initialNormalization, Normalize.initialCnf) value 2035 val acc = List.foldl addCnfAxiom acc cnfAxioms value 2036 val acc = List.foldl addFofAxiom acc fofAxioms value [all...] |
H A D | Term.sml | 163 val acc = (List.rev path, tm) :: acc value 304 val acc = (List.rev path, tm) :: acc value 315 val acc = (List.rev path, tm) :: acc value [all...] |
H A D | Rule.sml | 709 val (acc,apart) = value [all...] |
H A D | Proof.sml | 385 val acc = (th, thmToInference th) :: acc value [all...] |
H A D | Print.sml | 509 val acc = if p = p' then add t a acc else new t a acc value 519 val acc = new t a [] value 521 val (acc,_) = List.foldl layer (acc,p) ios value [all...] |
H A D | Normalize.sml | 960 val acc value [all...] |
H A D | Model.sml | 608 val acc = if Word.andb (s,0w1) = 0w0 then acc else acc + 1 value 797 val acc = f (V,acc) value 1187 val acc = value 1209 val acc = if pred i then i :: acc else acc value 1225 val acc = pertTerm M target tm acc value 1242 val acc = value [all...] |
H A D | Clause.sml | 177 val acc = addEq lit Rewrite.RightToLeft (r,l) acc value 178 val acc = addEq lit Rewrite.LeftToRight (l,r) acc value [all...] |
H A D | Active.sml | 589 val acc = [] value 590 val acc = LiteralSet.foldl (deduceResolution literals cl) acc lits value 591 val acc = List.foldl (deduceParamodulationWith subterms cl) acc eqns value 592 val acc = List.foldl (deduceParamodulationInto equations cl) acc subtms value 593 val acc = List.rev acc value 826 and acc = cl :: acc value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 435 XtAccelerators acc; /* C value */ member in class:X_Acc_Object 1009 XtAccelerators acc = GetAcc(taskData, (X_Object *)P); local 2311 static Handle EmptyAcc(TaskData *taskData, XtTranslations acc) argument 5830 XtAccelerators acc; member in union:__anon117::__anon118 [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Socket.sml | 361 fun acc sock = doCall (58, RunCall.unsafeCast sock) function
|