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

1234567891011>>

/seL4-l4v-master/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-master/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-master/HOL4/src/probability/
H A Dselftest.sml5 val _ = tpp_expected {input = "-y * z : extreal", output = "-y * z",
8 val _ = tpp_expected {input = "~y * z : extreal", output = "-y * z",
/seL4-l4v-master/l4v/misc/scripts/
H A Dgen_isabelle_root.py19 parser.add_option("-o", "--output", dest="output",
20 help="output file", metavar="FILE")
45 if options.output == None:
46 parser.error("Require an output filename.")
53 output_dir = os.path.dirname(options.output)
56 with open(options.output, "w") as output:
63 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-master/graph-refine/graph-to-graph/wcet_scripts/
H A Dunspecified_pre_cond.py21 output = open(output_name, 'w') variable
33 output.write("%s Cond %s Err Op UnspecifiedPrecond Bool 0\n" % (x[0], x[2]))
35 output.write(line)
36 output.close()
/seL4-l4v-master/HOL4/src/TeX/
H A Dwarning_stream.sml2 (fn s => (TextIO.output(TextIO.stdErr, s);
/seL4-l4v-master/l4v/tools/autocorres/tools/stats/
H A DMakefile14 python stats.py -R $(REPEATS) --root ../../.. --output $@ $<
17 python stats.py -R $(REPEATS) --root ../../.. --output $@ $<
/seL4-l4v-master/HOL4/examples/bootstrap/
H A Dcompiler_proofsScript.sml13 ���input output.
14 (input, compiler_asm) asm_terminates output ���
15 output = compiler input
28 (compiler_str, compiler_asm) asm_terminates output ���
29 output = compiler_asm_str
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dmake_tables.py21 parser.add_argument('--output', '-o', type=argparse.FileType('w'),
22 default=sys.stdout, help='output file')
29 options.output.write('static map<wstring, wchar_t> ascii_to_unicode = {\n')
31 options.output.write(' { L"%s", L\'\\x%x\' },\n' %
33 options.output.write('};\n\n')
36 options.output.write('static map<wchar_t, wstring> unicode_to_ascii = {\n')
38 options.output.write(' { L\'\\x%x\', L"%s" },\n' %
40 options.output.write('};\n\n')
44 options.output.write('static const unsigned int ASCII_SEQ_MAX = %u;\n\n' %
H A Dtranslate.cpp91 wofstream output; member in class:Options
101 output.close();
109 {"output", required_argument, 0, 'o'},
135 if (options.output.is_open())
136 options.output.close();
137 options.output.open(optarg);
138 if (!options.output.is_open())
153 if (!options.output.is_open())
154 options.output.open("/dev/stdout");
172 return to_ascii(options.input, options.output);
[all...]
/seL4-l4v-master/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-master/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-master/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-master/seL4/manual/tools/
H A Dgen_env.py12 output = [] variable
16 print("Usage: gen_env.py <output file>")
32 output.append('\\newcommand{\\commitdate}{%s}' % (
34 output.append('\\newcommand{\\commityear}{%s}' % (
38 new_data = "\n".join(output) + "\n"
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A Ddynamic_output.scala4 Dynamic output, depending on caret focus: messages, state etc.
16 sealed case class State(do_update: Boolean = true, output: List[XML.Tree] = Nil)
23 case None => copy(output = Nil)
28 case None => copy(output = Nil)
30 copy(output =
33 else output)
38 if (st1.output != output) {
40 resources.output_pretty_message(Pretty.separate(st1.output))))
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Ddynamic_output.scala4 Dynamic output, depending on caret focus: messages, state etc.
16 sealed case class State(do_update: Boolean = true, output: List[XML.Tree] = Nil)
23 case None => copy(output = Nil)
28 case None => copy(output = Nil)
30 copy(output =
33 else output)
38 if (st1.output != output) {
40 resources.output_pretty_message(Pretty.separate(st1.output))))
/seL4-l4v-master/isabelle/Admin/lib/scripts/
H A Dchurn_pie8 output = PdfPages('chart.pdf')
21 output.savefig()
22 output.close()
/seL4-l4v-master/l4v/isabelle/Admin/lib/scripts/
H A Dchurn_pie8 output = PdfPages('chart.pdf')
21 output.savefig()
22 output.close()
/seL4-l4v-master/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-master/HOL4/tools/Holmake/tests/coproduct/testdir/
H A DsecondSimpleScript.sml9 (TextIO.output(TextIO.stdErr, "Detected existing bar!\n");
14 TextIO.output(ostrm, "Generated by secondSimpleScript.sml\n");
/seL4-l4v-master/HOL4/examples/Hoare-for-divergence/
H A Dwhile_langScript.sml26 Type output = ���: value list ���
27 Type state[pp] = ���: store # output ���
74 ���s p output.
76 output = LUB { fromList out | ���q t. RTC step (p,s) (q,t,out) }
78 diverges s p output
/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dpars_skl.py39 [input, output] = [bit.strip() for bit in instruct.split('-->')]
40 output_tmp = os.path.join(os.path.dirname(output), 'pars_skel.tmp')
83 print("%s -X-> %s" % (input, output))
100 # at this point, output_tmp should exist, but output might not exist
105 if os.path.exists(output):
108 lines2 = [line for line in open(output)]
111 print("IOError comparing {} and {}:\n{}".format(output_tmp, output, e))
114 #print('Warning: {} does not exist, assuming changed'.format(output))
121 os.unlink(output)
125 os.rename(output_tmp, output)
[all...]
/seL4-l4v-master/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-master/isabelle/src/Pure/Tools/
H A Dbuild_docker.scala31 output: Option[Path] = None,
78 output.foreach(File.write(_, dockerfile))
109 var output: Option[Path] = None
125 -o FILE output generated Dockerfile
142 "o:" -> (arg => output = Some(Path.explode(arg))),
155 no_build = no_build, entrypoint = entrypoint, output = output,

Completed in 226 milliseconds

1234567891011>>