Searched refs:setup (Results 26 - 35 of 35) sorted by relevance
12
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
| H A D | jit_codegenScript.sml | 23 (* compiler setup code *)
|
| H A D | jit_incrementalScript.sml | 21 (* compiler setup begins *)
42 (* compiler setup ends *)
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | prog_x64_extraScript.sml | 141 - SPEC is setup to say nothing if RSP hits Ghost_stack_top
|
| /seL4-l4v-10.1.1/l4v/misc/vim/ |
| H A D | isabelle.vim | 82 syn keyword IsabelleCommand setup
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Sledgehammer/document/ |
| H A D | root.tex | 161 already include properly setup executables for CVC4, E, SPASS, Vampire, veriT,
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Sledgehammer/document/ |
| H A D | root.tex | 161 already include properly setup executables for CVC4, E, SPASS, Vampire, veriT,
|
| /seL4-l4v-10.1.1/HOL4/Manual/Description/ |
| H A D | misc.tex | 1447 The default setup is roughly equivalent to overriding \texttt{\$Turnstile\$} to \texttt{\textbackslash{}HOLTokenTurnstile\{\}} followed by a space, giving a total width of \texttt{3}.
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Nitpick/document/ |
| H A D | root.tex | 156 %it should already include a properly setup version of Kodkodi.
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Nitpick/document/ |
| H A D | root.tex | 156 %it should already include a properly setup version of Kodkodi.
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | texinfo.tex | 2254 % Markup style setup for left and right quotes.
6005 % with the Texinfo input format setup at the end of this file.
|
Completed in 96 milliseconds
12