/seL4-l4v-master/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-master/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-master/HOL4/src/probability/ |
H A D | selftest.sml | 5 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 D | gen_isabelle_root.py | 19 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 D | unspecified_pre_cond.py | 21 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 D | warning_stream.sml | 2 (fn s => (TextIO.output(TextIO.stdErr, s);
|
/seL4-l4v-master/l4v/tools/autocorres/tools/stats/ |
H A D | Makefile | 14 python stats.py -R $(REPEATS) --root ../../.. --output $@ $< 17 python stats.py -R $(REPEATS) --root ../../.. --output $@ $<
|
/seL4-l4v-master/HOL4/examples/bootstrap/ |
H A D | compiler_proofsScript.sml | 13 ���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 D | make_tables.py | 21 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 D | translate.cpp | 91 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 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-master/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-master/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-master/seL4/manual/tools/ |
H A D | gen_env.py | 12 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 D | dynamic_output.scala | 4 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 D | dynamic_output.scala | 4 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 D | churn_pie | 8 output = PdfPages('chart.pdf') 21 output.savefig() 22 output.close()
|
/seL4-l4v-master/l4v/isabelle/Admin/lib/scripts/ |
H A D | churn_pie | 8 output = PdfPages('chart.pdf') 21 output.savefig() 22 output.close()
|
/seL4-l4v-master/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-master/HOL4/tools/Holmake/tests/coproduct/testdir/ |
H A D | secondSimpleScript.sml | 9 (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 D | while_langScript.sml | 26 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 D | pars_skl.py | 39 [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 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-master/isabelle/src/Pure/Tools/ |
H A D | build_docker.scala | 31 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,
|