Searched refs:output (Results 1 - 25 of 470) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/developers/
H A Drecord-script.sh9 output=$1
22 done) | script $output "$@"
H A DforTeX.pl5 if (m/\(\* remove output end \*\)/) {
10 if (m/\(\* remove output begin \*\)/) {
11 s/\(\* remove output begin \*\)/ .../;
/seL4-l4v-10.1.1/HOL4/tools/quote-filter/
H A Dselftest.sml3 val _ = system "./quote-filter input temp-output"
5 val result = system "diff temp-output desired-output"
/seL4-l4v-10.1.1/l4v/misc/scripts/
H A Dgen_isabelle_root.py23 parser.add_option("-o", "--output", dest="output",
24 help="output file", metavar="FILE")
46 if options.output == None:
47 parser.error("Require an output filename.")
54 output_dir = os.path.dirname(options.output)
57 with open(options.output, "w") as output:
64 session_name = os.path.splitext(os.path.basename(options.output))[0]
66 return os.path.splitext(os.path.relpath(file, os.path.dirname(options.output)))[
[all...]
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/wcet_scripts/
H A Dunspecified_pre_cond.py24 output = open(output_name, 'w') variable
36 output.write("%s Cond %s Err Op UnspecifiedPrecond Bool 0\n" % (x[0], x[2]))
38 output.write(line)
39 output.close()
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A Dwarning_stream.sml2 (fn s => (TextIO.output(TextIO.stdErr, s);
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/
H A DMakefile18 python stats.py -R $(REPEATS) --root ../../.. --output $@ $<
21 python stats.py -R $(REPEATS) --root ../../.. --output $@ $<
H A Dstats.py124 parser.add_argument('-o', '--output', metavar='OUTPUT',
133 output = open(args.output, "w") variable
134 output.write("Processing %s\n\n" % args.output)
188 output.write("\n")
189 output.write("%d input line(s) of code\n" % lines_of_code)
190 output.write("%d function(s)\n" % num_functions)
191 output.write("\n")
192 output
[all...]
/seL4-l4v-10.1.1/l4v/misc/filemerge/faster/
H A Dmake_tables.py23 parser.add_argument('--output', '-o', type=argparse.FileType('w'),
24 default=sys.stdout, help='output file')
31 options.output.write('static map<wstring, wchar_t> ascii_to_unicode = {\n')
33 options.output.write(' { L"%s", L\'\\x%x\' },\n' %
35 options.output.write('};\n\n')
38 options.output.write('static map<wchar_t, wstring> unicode_to_ascii = {\n')
40 options.output.write(' { L\'\\x%x\', L"%s" },\n' %
42 options.output.write('};\n\n')
46 options.output.write('static const unsigned int ASCII_SEQ_MAX = %u;\n\n' %
H A Dtranslate.cpp96 wofstream output; member in class:Options
106 output.close();
114 {"output", required_argument, 0, 'o'},
140 if (options.output.is_open())
141 options.output.close();
142 options.output.open(optarg);
143 if (!options.output.is_open())
158 if (!options.output.is_open())
159 options.output.open("/dev/stdout");
177 return to_ascii(options.input, options.output);
[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/phony_tgt/
H A DphonytgtScript.sml7 val _ = tprint "Building output though all file exists"
9 val _ = OS.FileSys.remove "output" handle _ => ()
12 if OS.FileSys.access("output",[]) then OK()
21 val _ = tprint "Not building output as all file exists"
23 val _ = OS.FileSys.remove "output" handle _ => ()
26 if OS.FileSys.access("output",[]) then die "FAILED!"
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Draw_output_dockable.scala4 Dockable window for raw process output (stdout).
28 case output: Prover.Output =>
30 text_area.append(XML.content(output.message))
31 if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Draw_output_dockable.scala4 Dockable window for raw process output (stdout).
28 case output: Prover.Output =>
30 text_area.append(XML.content(output.message))
31 if (!output.is_stdout && !output.is_stderr) text_area.append("\n")
/seL4-l4v-10.1.1/seL4/manual/tools/
H A Dgen_env.py18 output = [] variable
22 print("Usage: gen_env.py <output file>")
38 output.append('\\newcommand{\\commitdate}{%s}' % (
40 output.append('\\newcommand{\\commityear}{%s}' % (
44 new_data = "\n".join(output) + "\n"
H A Dparse_doxygen_xml.py86 """Lookup refid in ref_dict and output the api function reference"""
115 output = ""
117 output += self.parse_para(item, ref_dict)
118 return output
205 output = "%s %s" % (ret_type, name)
207 output = "inline " + output
209 output = "static " + output
211 return output
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Ddynamic_output.scala4 Dynamic output, depending on caret focus: messages, state etc.
15 sealed case class State(do_update: Boolean = true, output: List[XML.Tree] = Nil)
22 case None => copy(output = Nil)
27 case None => copy(output = Nil)
29 copy(output =
32 else output)
37 if (st1.output != output) {
39 resources.output_pretty_message(Pretty.separate(st1.output))))
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Ddynamic_output.scala4 Dynamic output, depending on caret focus: messages, state etc.
15 sealed case class State(do_update: Boolean = true, output: List[XML.Tree] = Nil)
22 case None => copy(output = Nil)
27 case None => copy(output = Nil)
29 copy(output =
32 else output)
37 if (st1.output != output) {
39 resources.output_pretty_message(Pretty.separate(st1.output))))
/seL4-l4v-10.1.1/isabelle/Admin/lib/scripts/
H A Dchurn_pie8 output = PdfPages('chart.pdf')
21 output.savefig()
22 output.close()
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/scripts/
H A Dchurn_pie8 output = PdfPages('chart.pdf')
21 output.savefig()
22 output.close()
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/nullary_tgt/
H A Dnullary_tgtScript.sml6 val _ = tprint "Testing creation of output file via Holmake"
9 val _ = OS.FileSys.remove "output" handle _ => ()
12 if OS.FileSys.access("output", []) then OK()
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dmsvcc.sh52 output=
185 output="-Fo$2"
187 output="-Fe$2"
190 args="$args $output"
192 args="$args $output -Fd$outdir/$base -Fp$outdir/$base -Fa$outdir/$base"
237 output="$(echo $output | sed 's%/F[dpa][^ ]*%%g')"
238 args="-nologo $safeseh $single $output $ppsrc"
244 # required to fix ml64 broken output?
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dpars_skl.py43 [input, output] = [bit.strip() for bit in instruct.split('-->')]
44 output_tmp = os.path.join(os.path.dirname(output), 'pars_skel.tmp')
87 print("%s -X-> %s" % (input, output))
104 # at this point, output_tmp should exist, but output might not exist
109 if os.path.exists(output):
112 lines2 = [line for line in open(output)]
115 print("IOError comparing {} and {}:\n{}".format(output_tmp, output, e))
118 #print('Warning: {} does not exist, assuming changed'.format(output))
125 os.unlink(output)
129 os.rename(output_tmp, output)
[all...]
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A DwinNT-systeml.sml80 fun output s = TextIO.output(ostrm, s) function
85 output "@echo off\n";
86 output "rem The bare HOL script\n";
87 output "rem (automatically generated by HOL configuration)\n\n";
88 output (String.concat["call ", mosml, " -P full -I ", sigobj, " ",
97 fun output s = TextIO.output(ostrm, s) function
104 output "@echo off\n";
105 output "re
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala30 output: Option[Path] = None,
75 output.foreach(File.write(_, dockerfile))
106 var output: Option[Path] = None
122 -o FILE output generated Dockerfile
146 "o:" -> (arg => output = Some(Path.explode(arg))),
159 no_build = no_build, entrypoint = entrypoint, output = output,
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala30 output: Option[Path] = None,
75 output.foreach(File.write(_, dockerfile))
106 var output: Option[Path] = None
122 -o FILE output generated Dockerfile
146 "o:" -> (arg => output = Some(Path.explode(arg))),
159 no_build = no_build, entrypoint = entrypoint, output = output,

Completed in 99 milliseconds

1234567891011>>