Searched refs:main (Results 1 - 25 of 340) sorted by relevance

1234567891011>>

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dswitch_unsigned_signed.c7 int main(unsigned int x) function
H A Dparse_typecast.c7 unsigned main(unsigned int j, int d) function
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dmosml_holdeptool.sml1 val _ = holdeptool.main()
/seL4-l4v-master/HOL4/tools/cmp/
H A Dmosmlcmp.sml1 val _ = cmp.main();
/seL4-l4v-master/HOL4/tools/
H A Dmlton-build.sml1 val _ = build.main()
/seL4-l4v-master/HOL4/tools/set_mtime/
H A Dmosmlmtime.sml1 val _ = set_mtime.main();
/seL4-l4v-master/HOL4/tools/unicode-grep/
H A Dugrep_mosml.sml1 val _ = ugrep.main()
/seL4-l4v-master/HOL4/developers/
H A Dmosml-comparelogs.sml1 val _ = comparelogs.main()
H A Dmosmlgbs.sml3 val _ = main()
/seL4-l4v-master/HOL4/help/src-sml/
H A DrunDoc2Html.sml1 val _ = Doc2Html.main()
H A DrunDoc2Tex.sml1 val _ = Doc2Tex.main()
H A DrunDoc2Txt.sml1 val _ = Doc2Txt.main()
H A Drunmakebase.sml1 val _ = makebase.main()
/seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/
H A Dstruct_init.c15 int main(void) function
H A Dvoidptrptr.c11 int main(void) { function
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dmain.sml1 structure main = structure
11 fun main args = function
16 val _ = main (CommandLine.arguments())
/seL4-l4v-master/HOL4/src/opentheory/logging/
H A Dskico.sml3 fun main() = let function
9 val _ = PolyML.export("skico",main)
/seL4-l4v-master/HOL4/src/opentheory/postbool/
H A Dholdecide.sml3 fun main() = let function
9 val _ = PolyML.export("holdecide",main)
/seL4-l4v-master/HOL4/examples/machine-code/graph/loop/
H A Dexample.c20 main (void) { function
/seL4-l4v-master/HOL4/examples/machine-code/graph/loop-m0/
H A Dexample.c20 main (void) { function
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/
H A Dplus.c21 int main(int argc, char **argv) function
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Dprotocol_dockable.scala40 /* main */
42 private val main =
56 PIDE.session.all_messages += main
57 PIDE.session.global_options += main
62 PIDE.session.all_messages -= main
63 PIDE.session.global_options -= main
H A Draw_output_dockable.scala24 /* main */
26 private val main =
35 override def init() { PIDE.session.raw_output_messages += main }
36 override def exit() { PIDE.session.raw_output_messages -= main }
H A Dsyslog_dockable.scala33 /* main */
35 private val main =
40 PIDE.session.syslog_messages += main
46 PIDE.session.syslog_messages -= main
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Dprotocol_dockable.scala40 /* main */
42 private val main =
56 PIDE.session.all_messages += main
57 PIDE.session.global_options += main
62 PIDE.session.all_messages -= main
63 PIDE.session.global_options -= main

Completed in 136 milliseconds

1234567891011>>