Searched refs:null (Results 1 - 25 of 570) sorted by relevance

1234567891011>>

/seL4-l4v-master/isabelle/Admin/
H A Dbuild_history7 "$THIS/build" jars > /dev/null || exit $?
H A Dbuild60 pushd "$ISABELLE_HOME/lib/browser" >/dev/null
62 popd >/dev/null
68 pushd "$ISABELLE_HOME" >/dev/null
70 popd >/dev/null
/seL4-l4v-master/l4v/isabelle/Admin/
H A Dbuild_history7 "$THIS/build" jars > /dev/null || exit $?
H A Dbuild60 pushd "$ISABELLE_HOME/lib/browser" >/dev/null
62 popd >/dev/null
68 pushd "$ISABELLE_HOME" >/dev/null
70 popd >/dev/null
/seL4-l4v-master/HOL4/help/src-sml/
H A DFlash.sml21 val null = (donowt, donowt) value
24 SOME "emacs" => null
25 | SOME "dumb" => null
27 | NONE => null
/seL4-l4v-master/l4v/camkes/glue-spec/document/imgs/
H A DMakefile21 ${Q}which inkscape >/dev/null 2>/dev/null || { echo "You need inkscape installed to build these images" >&2 ; exit 1 ; }
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/
H A Dchanged.sh40 if cmp $TMP_FILE $TARGET_FILE > /dev/null 2> /dev/null; then
/seL4-l4v-master/seL4/libsel4/tools/
H A Dchanged.sh40 if cmp $TMP_FILE $TARGET_FILE > /dev/null 2> /dev/null; then
/seL4-l4v-master/seL4/tools/
H A Dchanged.sh40 if cmp $TMP_FILE $TARGET_FILE > /dev/null 2> /dev/null; then
/seL4-l4v-master/l4v/isabelle/lib/Tools/
H A Dconsole13 if type -p "$ISABELLE_LINE_EDITOR" > /dev/null
H A Dversion63 "${HG:-hg}" -R "$ISABELLE_HOME" log -r "p1()" --template="{node|short}\n" 2>/dev/null || echo undefined
H A Dclient63 if type -p "$ISABELLE_LINE_EDITOR" > /dev/null
/seL4-l4v-master/isabelle/lib/Tools/
H A Dconsole13 if type -p "$ISABELLE_LINE_EDITOR" > /dev/null
H A Dversion63 "${HG:-hg}" -R "$ISABELLE_HOME" log -r "p1()" --template="{node|short}\n" 2>/dev/null || echo undefined
H A Dclient63 if type -p "$ISABELLE_LINE_EDITOR" > /dev/null
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DGraphView.java21 Vertex v = null;
26 Vertex highlighted = null;
54 gra3.layout(null);
61 if (highlighted!=null) highlighted.drawBox(g,Color.white);
81 if (highlighted!=null) {
83 highlighted=null;
86 if (v!=null) v.removeButtons(g);
87 if (v2!=null) v2.drawButtons(g);
136 if (vx.getUp()==c) vx.setUp(null);
137 if (vx.getDown()==c) vx.setDown(null);
[all...]
H A DGraphBrowserFrame.java44 if (graphDir != null)
47 if (fd.getFile() == null) return;
73 if (psDir!=null)
76 if (fd.getFile()==null) return;
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphView.java21 Vertex v = null;
26 Vertex highlighted = null;
54 gra3.layout(null);
61 if (highlighted!=null) highlighted.drawBox(g,Color.white);
81 if (highlighted!=null) {
83 highlighted=null;
86 if (v!=null) v.removeButtons(g);
87 if (v2!=null) v2.drawButtons(g);
136 if (vx.getUp()==c) vx.setUp(null);
137 if (vx.getDown()==c) vx.setDown(null);
[all...]
H A DGraphBrowserFrame.java44 if (graphDir != null)
47 if (fd.getFile() == null) return;
73 if (psDir!=null)
76 if (fd.getFile()==null) return;
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dbar.c29 returnvalue.p = null;
/seL4-l4v-master/HOL4/polyml/
H A Dinstall-sh330 trap 'ret=$?; rmdir "$tmpdir/a/b" "$tmpdir/a" "$tmpdir" 2>/dev/null; exit $ret' 0
337 exec $mkdirprog $mkdir_mode -p -- "$tmpdir/a/b") >/dev/null 2>&1
361 rmdir ./$mkdir_mode ./-p ./-- "$tmpdir" 2>/dev/null
459 old=`LC_ALL=C ls -dlL "$dst" 2>/dev/null` &&
460 new=`LC_ALL=C ls -dlL "$dsttmp" 2>/dev/null` &&
466 $cmpprog "$dst" "$dsttmp" >/dev/null 2>&1
471 $doit $mvcmd -f "$dsttmp" "$dst" 2>/dev/null ||
484 $doit $rmcmd -f "$dst" 2>/dev/null ||
485 { $doit $mvcmd -f "$dst" "$rmtmp" 2>/dev/null &&
486 { $doit $rmcmd -f "$rmtmp" 2>/dev/null;
[all...]
/seL4-l4v-master/HOL4/examples/acl2/tests/
H A Ddoit26 rm -f diffout diffout.old 2> /dev/null ; \
70 pushd round-trip > /dev/null
75 popd > /dev/null
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/
H A Ddoit19 pushd $lisp_dir > /dev/null
21 popd > /dev/null
/seL4-l4v-master/HOL4/src/boss/theory_tests/
H A DonelineScript.sml34 val _ = assert (null o hyp) oneline_aevery_aux
61 val _ = assert (null o hyp) oneline_complete0
73 val _ = assert null (hyp oneline_complete1a)
86 val _ = assert (null o hyp) oneline_complete1b
96 val _ = assert (null o hyp) oneline_complete2
105 val _ = assert (null o hyp) oneline_ADEL
113 val _ = assert (null o hyp) oneline_bar
121 val _ = assert (null o hyp) oneline_foo1
/seL4-l4v-master/l4v/camkes/adl-spec/document/imgs/
H A DMakefile32 ${Q}which inkscape &>/dev/null || { echo "You need inkscape installed to build these images" >&2 ; exit 1 ; }

Completed in 203 milliseconds

1234567891011>>