/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | threads.tex | 192 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 D | simplifier_trace_dockable.scala | 4 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 D | simplifier_trace_window.scala | 4 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 D | simplifier_trace_dockable.scala | 4 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 D | simplifier_trace_window.scala | 4 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 D | Waiting.sml | 158 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 D | Useful.sml | 68 fun trace mesg = !tracePrint mesg; function
|
H A D | Useful.sig | 27 val trace : string -> unit value
|
H A D | Subsume.sml | 282 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 D | Rule.sml | 164 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 D | Rewrite.sml | 209 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 D | Resolution.sml | 46 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 D | Proof.sml | 172 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 D | Print.sml | 1554 fun trace ppX nameX x = function 1555 Useful.trace (toString (ppOp2' sep ppString ppX) (nameX,x) ^ "\n");
|
H A D | Print.sig | 202 val trace : 'a pp -> string -> 'a -> unit value
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Waiting.sml | 158 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 D | Useful.sml | 68 fun trace mesg = !tracePrint mesg; function
|
H A D | Useful.sig | 27 val trace : string -> unit value
|
H A D | Subsume.sml | 282 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 D | Rule.sml | 164 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 D | Rewrite.sml | 209 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 D | Resolution.sml | 46 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 D | Proof.sml | 172 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 D | Print.sml | 1554 fun trace ppX nameX x = function 1555 Useful.trace (toString (ppOp2' sep ppString ppX) (nameX,x) ^ "\n");
|
H A D | Print.sig | 202 val trace : 'a pp -> string -> 'a -> unit value
|