Searched refs:trace (Results 1 - 25 of 260) sorted by last modified time

1234567891011

/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dthreads.tex192 Debug exceptions are used to deliver trace and debug related events to threads.
193 Breakpoints, watchpoints, trace-events and instruction-performance sampling
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dsimplifier_trace_dockable.scala4 Dockable window with interactive simplifier trace.
67 val trace = Simplifier_Trace.generate_trace(current_results)
68 new Simplifier_Trace_Window(view, current_snapshot, trace)
175 new Button("Show trace") {
H A Dsimplifier_trace_window.scala4 Trace window with tree-style view of the simplifier trace.
137 view: View, snapshot: Document.Snapshot, trace: Simplifier_Trace.Trace) extends Frame
149 private val tree = trace.entries.headOption match {
152 Simplifier_Trace_Window.walk_trace(trace.entries, Map(first.parent -> tree))
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dsimplifier_trace_dockable.scala4 Dockable window with interactive simplifier trace.
67 val trace = Simplifier_Trace.generate_trace(current_results)
68 new Simplifier_Trace_Window(view, current_snapshot, trace)
175 new Button("Show trace") {
H A Dsimplifier_trace_window.scala4 Trace window with tree-style view of the simplifier trace.
137 view: View, snapshot: Document.Snapshot, trace: Simplifier_Trace.Trace) extends Frame
149 private val tree = trace.entries.headOption match {
152 Simplifier_Trace_Window.walk_trace(trace.entries, Map(first.parent -> tree))
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DWaiting.sml158 val () = Print.trace Clause.pp "Waiting.clauseWeight: cl" cl
167 val () = trace ("Waiting.clauseWeight: dist = " ^
169 val () = trace ("Waiting.clauseWeight: symbolsW = " ^
171 val () = trace ("Waiting.clauseWeight: variablesW = " ^
173 val () = trace ("Waiting.clauseWeight: literalsW = " ^
175 val () = trace ("Waiting.clauseWeight: modelsW = " ^
181 val () = trace ("Waiting.clauseWeight: weight = " ^
227 val () = Print.trace pp "Waiting.add: waiting" waiting
228 val () = Print.trace (Print.ppList Clause.pp) "Waiting.add: cls" cls
234 val () = Print.trace p
[all...]
H A DUseful.sml68 fun trace mesg = !tracePrint mesg; function
H A DUseful.sig27 val trace : string -> unit value
H A DSubsume.sml282 val () = Print.trace ppCl "Subsume.subsumes: cl" cl
286 NONE => trace "Subsume.subsumes: not subsumed\n"
288 (Print.trace ppCl "Subsume.subsumes: subsuming cl" cl;
289 Print.trace ppSub "Subsume.subsumes: subsuming sub" sub)
298 val () = Print.trace ppCl "Subsume.strictlySubsumes: cl" cl
302 NONE => trace "Subsume.subsumes: not subsumed\n"
304 (Print.trace ppCl "Subsume.subsumes: subsuming cl" cl;
305 Print.trace ppSub "Subsume.subsumes: subsuming sub" sub)
H A DRule.sml164 val () = trace (s ^ ": " ^ Term.toString tm ^ " --> " ^
170 (trace (s ^ ": " ^ Term.toString tm ^ " --> Error: " ^ err ^ "\n");
759 val () = Print.trace LiteralSet.pp "Rule.factor': cl" cl
766 val () = Print.trace ppEdgesSize "Rule.factor': |edges|" edges
767 val () = Print.trace ppEdges "Rule.factor': edges" edges
772 val () = Print.trace ppResult "Rule.factor': result" result
H A DRewrite.sml209 val () = Print.trace pp "Rewrite.add: result" rw
403 val () = Print.trace Thm.pp "Rewrite.rewriteIdRule': th" th
407 val () = Print.trace Thm.pp "Rewrite.rewriteIdRule': result" result
600 val () = Print.trace ppPl "Rewrite.rebuild: rpl" rpl
601 val () = Print.trace ppPl "Rewrite.rebuild: spl" spl
644 val () = Print.trace pp "Rewrite.reduce': rw" rw
650 val () = Print.trace ppResult "Rewrite.reduce': result" result
H A DResolution.sml46 val () = Print.trace Print.ppException "Resolution.new: exception" e
80 val () = Print.trace Active.pp "Resolution.iterate: active" active
81 val () = Print.trace Waiting.pp "Resolution.iterate: waiting" waiting
97 val () = Print.trace Clause.pp "Resolution.iterate: cl" cl
H A DProof.sml172 val () = Print.trace LiteralSet.pp "reconstructSubst: cl" cl
173 val () = Print.trace LiteralSet.pp "reconstructSubst: cl'" cl'
221 val () = Print.trace LiteralSet.pp "Proof.reconstructEquality: cl" cl
271 val () = Print.trace ppCands
309 val () = Print.trace Thm.pp "Proof.thmToInference: th" th
318 val () = Print.trace ppThmInf "Proof.thmToInference: thmInf" thmInf
324 val () = Print.trace ppInference "Proof.thmToInference: inf" inf
395 val () = Print.trace Print.ppInt "Proof.proof: unnecessary clauses" (LiteralSetMap.size ths)
404 val () = Print.trace Thm.pp "Proof.proof: th" th
409 val () = Print.trace Prin
[all...]
H A DPrint.sml1554 fun trace ppX nameX x = function
1555 Useful.trace (toString (ppOp2' sep ppString ppX) (nameX,x) ^ "\n");
H A DPrint.sig202 val trace : 'a pp -> string -> 'a -> unit value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DWaiting.sml158 val () = Print.trace Clause.pp "Waiting.clauseWeight: cl" cl
167 val () = trace ("Waiting.clauseWeight: dist = " ^
169 val () = trace ("Waiting.clauseWeight: symbolsW = " ^
171 val () = trace ("Waiting.clauseWeight: variablesW = " ^
173 val () = trace ("Waiting.clauseWeight: literalsW = " ^
175 val () = trace ("Waiting.clauseWeight: modelsW = " ^
181 val () = trace ("Waiting.clauseWeight: weight = " ^
227 val () = Print.trace pp "Waiting.add: waiting" waiting
228 val () = Print.trace (Print.ppList Clause.pp) "Waiting.add: cls" cls
234 val () = Print.trace p
[all...]
H A DUseful.sml68 fun trace mesg = !tracePrint mesg; function
H A DUseful.sig27 val trace : string -> unit value
H A DSubsume.sml282 val () = Print.trace ppCl "Subsume.subsumes: cl" cl
286 NONE => trace "Subsume.subsumes: not subsumed\n"
288 (Print.trace ppCl "Subsume.subsumes: subsuming cl" cl;
289 Print.trace ppSub "Subsume.subsumes: subsuming sub" sub)
298 val () = Print.trace ppCl "Subsume.strictlySubsumes: cl" cl
302 NONE => trace "Subsume.subsumes: not subsumed\n"
304 (Print.trace ppCl "Subsume.subsumes: subsuming cl" cl;
305 Print.trace ppSub "Subsume.subsumes: subsuming sub" sub)
H A DRule.sml164 val () = trace (s ^ ": " ^ Term.toString tm ^ " --> " ^
170 (trace (s ^ ": " ^ Term.toString tm ^ " --> Error: " ^ err ^ "\n");
759 val () = Print.trace LiteralSet.pp "Rule.factor': cl" cl
766 val () = Print.trace ppEdgesSize "Rule.factor': |edges|" edges
767 val () = Print.trace ppEdges "Rule.factor': edges" edges
772 val () = Print.trace ppResult "Rule.factor': result" result
H A DRewrite.sml209 val () = Print.trace pp "Rewrite.add: result" rw
403 val () = Print.trace Thm.pp "Rewrite.rewriteIdRule': th" th
407 val () = Print.trace Thm.pp "Rewrite.rewriteIdRule': result" result
600 val () = Print.trace ppPl "Rewrite.rebuild: rpl" rpl
601 val () = Print.trace ppPl "Rewrite.rebuild: spl" spl
644 val () = Print.trace pp "Rewrite.reduce': rw" rw
650 val () = Print.trace ppResult "Rewrite.reduce': result" result
H A DResolution.sml46 val () = Print.trace Print.ppException "Resolution.new: exception" e
80 val () = Print.trace Active.pp "Resolution.iterate: active" active
81 val () = Print.trace Waiting.pp "Resolution.iterate: waiting" waiting
97 val () = Print.trace Clause.pp "Resolution.iterate: cl" cl
H A DProof.sml172 val () = Print.trace LiteralSet.pp "reconstructSubst: cl" cl
173 val () = Print.trace LiteralSet.pp "reconstructSubst: cl'" cl'
221 val () = Print.trace LiteralSet.pp "Proof.reconstructEquality: cl" cl
271 val () = Print.trace ppCands
309 val () = Print.trace Thm.pp "Proof.thmToInference: th" th
318 val () = Print.trace ppThmInf "Proof.thmToInference: thmInf" thmInf
324 val () = Print.trace ppInference "Proof.thmToInference: inf" inf
395 val () = Print.trace Print.ppInt "Proof.proof: unnecessary clauses" (LiteralSetMap.size ths)
404 val () = Print.trace Thm.pp "Proof.proof: th" th
409 val () = Print.trace Prin
[all...]
H A DPrint.sml1554 fun trace ppX nameX x = function
1555 Useful.trace (toString (ppOp2' sep ppString ppX) (nameX,x) ^ "\n");
H A DPrint.sig202 val trace : 'a pp -> string -> 'a -> unit value

Completed in 99 milliseconds

1234567891011