Searched refs:points (Results 1 - 25 of 60) sorted by relevance

123

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DSpline.java62 Vector points; field in class:Spline
94 points=pts;
111 for (i=1;i<=points.size()-4;i+=3) {
112 p0=(Point)(points.elementAt(i));
113 p1=(Point)(points.elementAt(i+1));
114 p2=(Point)(points.elementAt(i+2));
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java62 Vector points; field in class:Spline
94 points=pts;
111 for (i=1;i<=points.size()-4;i+=3) {
112 p0=(Point)(points.elementAt(i));
113 p1=(Point)(points.elementAt(i+1));
114 p2=(Point)(points.elementAt(i+2));
/seL4-l4v-10.1.1/HOL4/examples/miller/subtypes/
H A DsubtypeTools.sig50 (* Entry points for tools *)
56 (* Entry points for users *)
92 (* Entry points for users *)
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A Dho_proverTools.sig71 (* Entry points for tools *)
80 (* Entry points for users *)
/seL4-l4v-10.1.1/HOL4/examples/temporal_deep/src/model_check/
H A DmodelCheckLib.sig35 (*Checks that the given ltl-formulas are equivalent at the first point of time. Since there are past ltl operators this does not mean that they are equivalent for all points of time!*)
38 (*Checks that the given ltl-formulas are equivalent at all points of time.*)
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dtraps.S14 # On kernel entry, ESP points to the end of the thread's registers array.
470 # ESP points to the end of an array that just holds the general purpose registers
499 # ESP : points to tss.esp0 which points to the end of the thread's registers array
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/
H A Dsysv.S150 ! A0StP now points to the first (or return) argument + 4
160 ! A0FrP points to the initial stack without the reserved space for the
161 ! cifs->bytes, whilst A0StP points to the stack after the space allocation
229 ! At this point, the stack pointer points right after the argument
258 ! arguments. The stack pointer points to an empty space
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dbase_tokens.sml91 | _ => raise LEX_ERR ("Decimal fraction with too many decimal points: "^s,
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/
H A Dcomputer.ml59 % signals which map points in time to values. %
H A Dproof6.ml209 % NEXT_ABS_THM is a theorem stating that two successive points on the %
210 % instruction set level time scale correspond to two points on the %
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DPath.sml76 (* Passing 0 as the size will retrieve the number of points. *)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DDEBUGGERSIG.sml60 (* Create a local break point and check the global and local break points. *)
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics/document/
H A Dpreface.tex4 starting points for defining new logics. Each logic is distributed with
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics/document/
H A Dpreface.tex4 starting points for defining new logics. Each logic is distributed with
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootLib.sml783 (* Get some points-to to front *)
992 (*here we abort if the points to is trivially present*)
1138 (*resort points to to front and insert tag if necessary*)
1187 (*destruct and search for points to*)
1211 (*destruct and search for points to*)
1308 (*destruct and search for points to*)
1329 (*destruct and search for points to*)
1417 (*destruct and search for points to*)
1465 (*destruct and search for points-to / array*)
1474 (*resort points
[all...]
/seL4-l4v-10.1.1/HOL4/src/IndDef/
H A DIndDefLib.sml180 the standard entry-points
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Dwin64.S28 ;;; rax points to 'closure'
274 # rax points to 'closure'
/seL4-l4v-10.1.1/graph-refine/
H A Dtrace_refute.py294 for (stack, points, verdict) in verdicts.get (f, []):
298 if set (points) <= set (arc):
301 if set (arc) <= set (points):
/seL4-l4v-10.1.1/HOL4/src/1/
H A DwlogLib.sml197 (* Convenience entry points for var_wlog_then. *)
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DposetScript.sml282 (* Least and greatest fixed points. *)
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/
H A Dsets.tex38 points can be seen below.
455 Two syntactic points must be noted. In
996 \index{fixed points|(}%
1004 existence of these fixed points is guaranteed by the Knaster-Tarski
1065 \index{fixed points|)}
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/
H A Dsets.tex38 points can be seen below.
455 Two syntactic points must be noted. In
996 \index{fixed points|(}%
1004 existence of these fixed points is guaranteed by the Knaster-Tarski
1065 \index{fixed points|)}
/seL4-l4v-10.1.1/HOL4/examples/pgcl/src/
H A DexpectationScript.sml296 (* contains all it's limit points). *)
589 (* Fixed points of expectation transformers *)
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dtraps.S61 * Inside that is the 'currentThreadUserContext' that points to the first
667 # RSP points to the end of the VCPUs general purpose register array
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/
H A Dpydot.py890 points = ( quote_if_necessary( src) , quote_if_necessary( dst) )
892 self.obj_dict['points'] = points
900 return self.obj_dict['points'][0]
906 return self.obj_dict['points'][1]
1621 edge_src_set, edge_dst_set = zip( *[obj['points'] for obj in edge_obj_dicts] )

Completed in 260 milliseconds

123