| /seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
| H A D | symbol.scala | 4 Detecting and recoding Isabelle symbols.
19 // counting Isabelle symbols, starting from 1
309 private lazy val symbols =
319 /* read symbols */
344 private val symbols: List[(Symbol, Properties.T)] =
357 val properties: Map[Symbol, Properties.T] = Map(symbols: _*)
370 Map((for ((sym @ Name(a), props) <- symbols) yield sym -> (a, argument(sym, props))): _*)
374 symbols.map({ case (sym, props) =>
384 (sym, props) <- symbols
392 (sym, props) <- symbols
[all...] |
| H A D | comment.scala | 19 lazy val symbols: Set[Symbol.Symbol] =
44 one(symbols)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
| H A D | symbol.scala | 4 Detecting and recoding Isabelle symbols.
19 // counting Isabelle symbols, starting from 1
309 private lazy val symbols =
319 /* read symbols */
344 private val symbols: List[(Symbol, Properties.T)] =
357 val properties: Map[Symbol, Properties.T] = Map(symbols: _*)
370 Map((for ((sym @ Name(a), props) <- symbols) yield sym -> (a, argument(sym, props))): _*)
374 symbols.map({ case (sym, props) =>
384 (sym, props) <- symbols
392 (sym, props) <- symbols
[all...] |
| H A D | comment.scala | 19 lazy val symbols: Set[Symbol.Symbol] =
44 one(symbols)
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/O1/ |
| H A D | target.py | 10 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
22 symbols.update (lsymbs)
35 assert logic.aligned_address_sanity (afunctions, symbols, 4)
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/O2/ |
| H A D | target.py | 11 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
23 symbols.update (lsymbs)
36 assert logic.aligned_address_sanity (afunctions, symbols, 4)
|
| /seL4-l4v-10.1.1/l4v/misc/filemerge/faster/ |
| H A D | make_tables.py | 27 with open(os.path.join(MY_DIR, '../../../isabelle/etc/symbols')) as f:
32 for sym in t.symbols:
39 for s in t.symbols:
45 ascii_seq_max = max(len(s.ascii_text) for s in t.symbols)
|
| /seL4-l4v-10.1.1/graph-refine/example/ |
| H A D | target.py | 10 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
|
| /seL4-l4v-10.1.1/graph-refine/loop-example/synth/ |
| H A D | target.py | 10 from target_objects import symbols, sections, rodata, pairings, danger_set namespace
|
| /seL4-l4v-10.1.1/graph-refine/seL4-example/ |
| H A D | target.py | 10 from target_objects import symbols, sections, rodata, pairings namespace
33 assert logic.aligned_address_sanity (afunctions, symbols, 4)
|
| /seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/ |
| H A D | isasymbols.py | 42 self.symbols = []
87 self.symbols.append(Symbol(**fields))
95 for symbol in self.symbols:
106 for s in self.symbols}
126 for s in self.symbols
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Term.sig | 72 (* The size of a term in symbols. *)
75 val symbols : term -> int value
159 (* Infix symbols *)
167 (* Binder symbols *)
171 (* Bracket symbols *)
|
| H A D | Problem.sig | 19 symbols : int,
|
| H A D | Atom.sig | 44 (* The size of an atom in symbols. *)
47 val symbols : atom -> int value
|
| H A D | Literal.sml | 64 (* The size of a literal in symbols. *)
67 fun symbols ((_,atm) : literal) = Atom.symbols atm; function
246 val symbols = value
248 fun f (lit,z) = Literal.symbols lit + z
|
| H A D | Formula.sig | 116 (* The size of a formula in symbols. *)
119 val symbols : formula -> int value
|
| H A D | Literal.sig | 58 (* The size of a literal in symbols. *)
61 val symbols : literal -> int value
|
| H A D | Problem.sml | 25 fun syms (cl,n) = n + LiteralSet.symbols cl
33 symbols = List.foldl syms 0 cls,
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Term.sig | 72 (* The size of a term in symbols. *)
75 val symbols : term -> int value
159 (* Infix symbols *)
167 (* Binder symbols *)
171 (* Bracket symbols *)
|
| H A D | Problem.sig | 19 symbols : int,
|
| H A D | Atom.sig | 44 (* The size of an atom in symbols. *)
47 val symbols : atom -> int value
|
| H A D | Literal.sml | 64 (* The size of a literal in symbols. *)
67 fun symbols ((_,atm) : literal) = Atom.symbols atm; function
246 val symbols = value
248 fun f (lit,z) = Literal.symbols lit + z
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | objdump.py | 43 target_objects.symbols.update (syms)
51 from target_objects import symbols, sections, trace namespace
56 (addr, size, _) = symbols[nm]
|
| H A D | target_objects.py | 29 symbols = {} variable
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | look.sml | 102 (* scanRhs : look at a list of symbols, scanning past nullable
103 nonterminals, applying addSymbol to the symbols scanned *)
116 symbols. *)
161 fun prefix symbols =
164 (symbols,nil)
|