| /seL4-l4v-10.1.1/HOL4/tools/quote-filter/ |
| H A D | mlton-quote-filter.sml | 20 val out = TextIO.stdOut value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/acl2/ |
| H A D | m1_factorialScript.sml | 58 fun out s = TextIO.output(outstr, s); function
|
| /seL4-l4v-10.1.1/HOL4/examples/HolBdd/ |
| H A D | PrintBdd.sml | 72 let val out = BasicIO.open_out file value
|
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | Printbase.sml | 12 fun out s = TextIO.output(os, s) function
40 fun out s = TextIO.output(os, s) function
[all...] |
| H A D | Doc2Html.sml | 87 fun out s = TextIO.output(ostrm,s) function
[all...] |
| H A D | Doc2Txt.sml | 10 fun out(str,s) = TextIO.output(str, s) function
[all...] |
| H A D | Doc2Tex.sml | 13 fun out(str,s) = TextIO.output(str, s) function
[all...] |
| H A D | HOLPage.sml | 51 fun out s = TextIO.output(os, s) function
[all...] |
| /seL4-l4v-10.1.1/l4v/misc/filemerge/faster/ |
| H A D | translate.cpp | 32 static int to_ascii(wifstream &in, wofstream &out) { argument
50 static int to_unicode(wifstream &in, wofstream &out) { argument
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | DiskThms.sml | 8 fun out s = add_string s function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/STE/Examples/ |
| H A D | Comparator-for-STE-Reduction.sml | 87 val out = (T, "out", ``xnor a0 b0 /\ xnor a1 b1``, 1, 2); value
[all...] |
| H A D | Comparator.sml | 99 val out = (T, "out", ``(a0:bool=b0)/\(a1=b1)``, 1, 2); value
119 val out = (T, "out", `` value
139 val out = (T, "out", ``(a0:bool=b0)/\\(a1=b1)``, 1, 2); value
159 val out = (T, "out", ``T``, 1, 2); value
179 val out = (T, "out", ``T``, 1, 2); value
199 val out = (T, "out", ``T``, 1, 2); value
219 val out = (T, "out", ``T``, 1, 2); value
239 val out = (T, "out", ``F``, 1, 2); value
[all...] |
| /seL4-l4v-10.1.1/seL4/src/machine/ |
| H A D | io.c | 78 char out[sizeof(unsigned long) * 2 + 3]; local
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | File.C | 88 void putUInt(File& out, uint64 val) argument
[all...] |
| H A D | File.h | 137 static inline void putInt (File& out, int64 val) { putUInt(out, encode64(val)); } argument
|
| /seL4-l4v-10.1.1/HOL4/examples/PSL/1.01/parser.mosmlyacc/ |
| H A D | Main.sml | 40 fun out s = output(outstr,s) function
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/tile/ |
| H A D | ffi.c | 73 assign_to_ffi_arg(ffi_sarg *out, void *in, const ffi_type *type, argument
226 UINT64 *out; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/HolSat/ |
| H A D | dimacsTools.sml | 246 fun out s = output(outstr,s) function
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | Hol_pp.sml | 266 fun out s = TextIO.output(ostrm, s) function
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | SharingTables.sml | 40 val out = PP.add_string value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Feedback.sml | 65 fun out strm s = (TextIO.output(strm, s); TextIO.flushOut strm) function
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/ |
| H A D | emit_eval.sml | 389 fun out l = TextIO.output (!traceOut, String.concat (l @ ["\n"])) function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/dev/ |
| H A D | vsynth.sml | 247 fun out s = TextIO.output(outstr,s) function
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | 249 val out = TextIO.openOut result value
|
| H A D | ProcessMultiplexor.sml | 175 val out = mkTIO_instream outinfd value
[all...] |