| /seL4-l4v-10.1.1/HOL4/src/HolQbf/ |
| H A D | QbfTrace.sml | 14 val trace = ref 2 value
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Trace.sig | 19 val trace : int * action -> unit value
|
| H A D | Trace.sml | 28 fun trace x = (!trace_hook) x function
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | objdump.py | 51 from target_objects import symbols, sections, trace namespace
|
| H A D | inst_logic.py | 19 from target_objects import functions, trace, pairings, pre_pairings, printout namespace
|
| H A D | pseudo_compile.py | 25 from target_objects import symbols, trace namespace
|
| H A D | target_objects.py | 78 def trace (s, push = 0): function
|
| H A D | graph-refine.py | 21 from target_objects import trace, tracer, printout namespace
|
| H A D | problem.py | 13 from target_objects import functions, pairings, trace, printout namespace
|
| H A D | trace_refute.py | 20 from target_objects import functions, trace, pairings, symbols, printout namespace
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Exn.sig | 29 val trace: (exn -> string) -> (string -> unit) -> (unit -> 'a) -> 'a value
|
| H A D | Exn.sml | 80 fun trace exn_message output e = function
|
| H A D | Multithreading.sml | 16 val trace: int ref value
76 val trace = ref 0; value
|
| /seL4-l4v-10.1.1/HOL4/src/HolSmt/ |
| H A D | Library.sml | 20 val trace = ref 2 value
|
| /seL4-l4v-10.1.1/HOL4/src/compute/src/ |
| H A D | groundEval.sml | 106 fun trace(x, LZT(s,t)) = print (nspaces x ^ s ^ term_to_string t ^ "\n") function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/miller/formalize/ |
| H A D | numContext.sml | 37 fun trace l s = if l > !trace_level then () else say (s ^ "\n"); function
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | TermParse.sml | 321 fun trace tinfo (m:'a in_env) : 'a in_env = fn env => function
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Feedback.sig | 56 val trace : string * int -> ('a -> 'b) -> 'a -> 'b value
|
| H A D | Feedback.sml | 307 fun trace (nm, i) f x = function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/ |
| H A D | ho_basicTools.sml | 45 fun trace l s = if l > !trace_level then () else say (s ^ "\n"); function
|
| H A D | skiTools.sml | 30 fun trace _ _ = (); function
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
| H A D | emit_eval.sml | 699 val trace value
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| 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 | Print.sig | 202 val trace : 'a pp -> string -> 'a -> unit value
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | subtypeTools.sml | 257 and trace = 2 value
|