/seL4-l4v-10.1.1/HOL4/developers/ |
H A D | record-script.sh | 9 output=$1 22 done) | script $output "$@"
|
H A D | forTeX.pl | 5 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 D | selftest.sml | 3 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 D | gen_isabelle_root.py | 23 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 D | unspecified_pre_cond.py | 24 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 D | warning_stream.sml | 2 (fn s => (TextIO.output(TextIO.stdErr, s);
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/stats/ |
H A D | Makefile | 18 python stats.py -R $(REPEATS) --root ../../.. --output $@ $< 21 python stats.py -R $(REPEATS) --root ../../.. --output $@ $<
|
H A D | stats.py | 124 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 D | make_tables.py | 23 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 D | translate.cpp | 96 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 D | phonytgtScript.sml | 7 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 D | raw_output_dockable.scala | 4 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 D | raw_output_dockable.scala | 4 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 D | gen_env.py | 18 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 D | parse_doxygen_xml.py | 86 """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 D | dynamic_output.scala | 4 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 D | dynamic_output.scala | 4 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 D | churn_pie | 8 output = PdfPages('chart.pdf') 21 output.savefig() 22 output.close()
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/scripts/ |
H A D | churn_pie | 8 output = PdfPages('chart.pdf') 21 output.savefig() 22 output.close()
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/nullary_tgt/ |
H A D | nullary_tgtScript.sml | 6 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 D | msvcc.sh | 52 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 D | pars_skl.py | 43 [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 D | winNT-systeml.sml | 80 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 D | build_docker.scala | 30 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 D | build_docker.scala | 30 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,
|