Searched refs:incr (Results 1 - 14 of 14) sorted by relevance
| /seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
| H A D | trace_demo.c | 10 void incr(int *p) function
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | profiling.h | 49 extern void addSynchronousCount(POLYCODEPTR pc, POLYUNSIGNED incr);
|
| H A D | profiling.cpp | 208 // Adds incr to the profile count for the function pointed at by
210 void addSynchronousCount(POLYCODEPTR fpc, POLYUNSIGNED incr) argument
220 profObject->Set(0, PolyWord::FromUnsigned(profObject->Get(0).AsUnsigned() + incr));
|
| /seL4-l4v-master/HOL4/src/tactictoe/src/ |
| H A D | tttRecord.sml | 97 incr n_tactic_replayed;
137 val _ = incr n_proof_parsed
143 then (incr n_proof_replayed; (gl,v))
173 incr n_proof; calls_glob := [];
233 fun ttt_after_save_state () = incr savestate_level
257 (debug "record proof: ignored"; incr n_proof_ignored; tac2 g)
|
| H A D | tttUnfold.sml | 613 val _ = incr n_store_thm
637 val _ = incr n_store_thm
|
| /seL4-l4v-master/HOL4/examples/pgcl/src/ |
| H A D | syntaxScript.sml | 122 `For i init cond incr c =
124 (While cond (Seq (Program c) (Assign i incr)))`;
|
| /seL4-l4v-master/graph-refine/ |
| H A D | rep_graph.py | 86 def incr (self, incr): member in class:VisitCount
88 n = self.n + incr
93 opts = [vc.incr (incr) for vc in self.opts]
977 def incr (self, vcount, n, incr): member in class:GraphSlice
979 vcount2[n] = vcount2[n].incr (incr)
988 vcount = self.incr (vcoun
[all...] |
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | Redblackset.sml | 150 fun incr x a ZERO = ONE(x, a, ZERO) function
151 | incr x a (ONE(y, b, ds)) = TWO(x, a, y, b, ds)
152 | incr z c (TWO(y, b, x, a, ds)) =
153 ONE(z, c, incr y (BLACK(x, a, b)) ds)
155 fun insertMax(a, digits) = incr a LEAF digits
|
| /seL4-l4v-master/HOL4/src/prekernel/ |
| H A D | Lexis.sml | 242 fun incr() = project (cnt()) function
244 incr
|
| /seL4-l4v-master/HOL4/src/holyhammer/ |
| H A D | hhTranslate.sml | 43 incr iref; r
|
| /seL4-l4v-master/HOL4/examples/AI_tasks/ |
| H A D | mleCombinLib.sml | 197 fun incra c = (incr i; if (combin_size c > 100 orelse !i > n)
|
| /seL4-l4v-master/HOL4/src/AI/ |
| H A D | aiLib.sig | 204 val incr : int ref -> unit value
|
| H A D | aiLib.sml | 174 fun incr x = x := (!x) + 1 function
658 val _ = incr vi
|
| /seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
| H A D | smlParallel.sml | 177 incr oldn;
|
Completed in 213 milliseconds