Searched refs:locs (Results 1 - 18 of 18) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | ExportTree.sml | 57 and PTreferences(exp: bool, locs: location list): ptProperties = cast(0w10, exp, locs) 111 fun mapLocationProps locs = 118 List.map prop locs 124 fun definingLocationProps locs = 130 List.foldl prop [] locs
|
H A D | SIGNATURES.sml | 956 fun checkAndEnter (enter, lookup, kind, locs) (s: string, v) = 966 errorNear (lex, true, fn n => displaySigs(str, n), getDecLoc(locs v),
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | date.scala | 56 def variants(pats: List[String], locs: List[Locale] = Nil): List[DateTimeFormatter] = 59 if (locs.isEmpty) List(fmt) else locs.map(fmt.withLocale(_))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | date.scala | 56 def variants(pats: List[String], locs: List[Locale] = Nil): List[DateTimeFormatter] = 59 if (locs.isEmpty) List(fmt) else locs.map(fmt.withLocale(_))
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | GraphLangScript.sml | 191 (exec_next locs (IF guard n1 n2) s t w call = 192 if guard s then exec_next locs n1 s t w call 193 else exec_next locs n2 s t w call) /\ 194 (exec_next locs (ASM assert update jmp) s t w call = 198 (exec_next locs (CALL assert update name jmp) s t w call = 201 locs name <> NONE /\ 202 check_jump (Jump (THE (locs name))) t w /\ 352 IMPL_INST code locs (Inst n assert next) = 355 assert s /\ exec_next locs next s t w call ==> 363 ``IMPL_INST code locs (Ins [all...] |
H A D | func_decompileLib.sml | 81 val lemma = prove(``LIST_IMPL_INST ^code locs []``, 151 val pat = ``locs (name:string) = SOME (w:word32)`` 167 val lemma = prove(``EVERY (func_ok ^code locs) []``, 174 val th = th |> Q.INST [`locs`|->`fs_locs ^funcs`]
|
H A D | cond_cleanLib.sml | 10 val pat = ``IMPL_INST code locs (Inst ^loc assert next)``
|
H A D | graph_specsLib.sml | 273 val goal = ``(locs ^name = SOME ^pc2) ==> IMPL_INST ^(mk_code_term c) locs ^i`` 316 val goal = ``IMPL_INST ^(mk_code_term c) locs ^i`` 359 val goal = ``IMPL_INST ^(mk_code_term c) locs ^i``
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/ |
H A D | locationScript.sml | 9 locs = Locs locn locn
|
H A D | pegLib.sml | 28 ,``:('a,'b,'locs)parsetree``
|
H A D | pegexecScript.sml | 16 | returnTo of ('atok # locs) list => 'cvalue option list => kont 39 ('atok # locs) list => 'cvalue option list => 43 ('atok # locs) list => 'cvalue option list 44 | Result of (('atok # locs) list # 'cvalue) option
|
H A D | grammarScript.sml | 34 parsetree = Lf (('a,'b) symbol # 'locs) 35 | Nd ('b inf # 'locs) (parsetree list)
|
H A D | pegScript.sml | 16 | any of (('a # locs) -> 'c) 17 | tok of ('a -> bool) => (('a # locs) -> 'c)
|
H A D | simpleSexpParseScript.sml | 618 (Q.ISPEC`sexpPEG`(Q.GEN`G`(Q.ISPEC`��(c,l:locs). SX_SYM[c]`(Q.GEN`a`peg_eval_list_tok_every_imp))))))
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/ |
H A D | Makefile.in | 417 locs=`for p in $$list; do echo $$p; done | \ 420 test -z "$$locs" || { \ 421 echo rm -f $${locs}; \ 422 rm -f $${locs}; \
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | Makefile.in | 649 locs=`for p in $$list; do echo $$p; done | \ 652 test -z "$$locs" || { \ 653 echo rm -f $${locs}; \ 654 rm -f $${locs}; \
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | Makefile.in | 763 locs=`for p in $$list; do echo $$p; done | \ 766 test -z "$$locs" || { \ 767 echo rm -f $${locs}; \ 768 rm -f $${locs}; \ 798 locs=`for p in $$list; do echo $$p; done | \ 801 test -z "$$locs" || { \ 802 echo rm -f $${locs}; \ 803 rm -f $${locs}; \
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/ |
H A D | CODEGEN_PARSETREE.sml | 210 | getDeclLoc (_ :: locs) = getDeclLoc locs
|
Completed in 140 milliseconds