/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | prime.h | 41 unsigned int bdd_prime_gte(unsigned int src); 42 unsigned int bdd_prime_lte(unsigned int src);
|
H A D | prime.c | 44 #define isEven(src) (!((src) & 0x1)) 45 #define hasFactor(src,n) ( (((src)!=(n)) && ((src)%(n) == 0)) ) 46 #define BitIsSet(src,b) ( ((src) & (1<<(b))) != 0 ) 142 static unsigned int numberOfBits(unsigned int src) argument 146 if (src == 0) 150 if (BitIsSet(src, 158 isWitness(unsigned int witness, unsigned int src) argument 181 isMillerRabinPrime(unsigned int src) argument 201 hasEasyFactors(unsigned int src) argument 211 isPrime(unsigned int src) argument 224 bdd_prime_gte(unsigned int src) argument 236 bdd_prime_lte(unsigned int src) argument [all...] |
/seL4-l4v-master/isabelle/src/Tools/Metis/ |
H A D | Makefile | 50 src/Useful.sig src/Useful.sml \ 51 src/Lazy.sig src/Lazy.sml \ 52 src/Ordered.sig src/Ordered.sml \ 53 src/Map.sig src/Map.sml \ 54 src/KeyMap.sig src/KeyMa [all...] |
H A D | Makefile.FILES | 2 bin/mosml/Makefile.src: 7 sed "s/src\/PortablePolyml/PortableIsabelle/g" | \ 8 sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \ 9 sed "s/ src\/Options\.s[a-z][a-z]//g" \
|
H A D | fix_metis_license | 4 perl -p -i~ -w -e 's/MIT license/BSD License/g' Makefile src/*.s* scripts/mlpp)
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/ |
H A D | Makefile | 50 src/Useful.sig src/Useful.sml \ 51 src/Lazy.sig src/Lazy.sml \ 52 src/Ordered.sig src/Ordered.sml \ 53 src/Map.sig src/Map.sml \ 54 src/KeyMap.sig src/KeyMa [all...] |
H A D | Makefile.FILES | 2 bin/mosml/Makefile.src: 7 sed "s/src\/PortablePolyml/PortableIsabelle/g" | \ 8 sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \ 9 sed "s/ src\/Options\.s[a-z][a-z]//g" \
|
H A D | fix_metis_license | 4 perl -p -i~ -w -e 's/MIT license/BSD License/g' Makefile src/*.s* scripts/mlpp)
|
/seL4-l4v-master/isabelle/src/Pure/ |
H A D | build-jars | 12 src/Pure/Admin/afp.scala 13 src/Pure/Admin/build_cygwin.scala 14 src/Pure/Admin/build_doc.scala 15 src/Pure/Admin/build_fonts.scala 16 src/Pure/Admin/build_history.scala 17 src/Pure/Admin/build_jdk.scala 18 src/Pure/Admin/build_log.scala 19 src/Pure/Admin/build_polyml.scala 20 src/Pure/Admin/build_release.scala 21 src/Pur [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/ |
H A D | build-jars | 12 src/Pure/Admin/afp.scala 13 src/Pure/Admin/build_cygwin.scala 14 src/Pure/Admin/build_doc.scala 15 src/Pure/Admin/build_fonts.scala 16 src/Pure/Admin/build_history.scala 17 src/Pure/Admin/build_jdk.scala 18 src/Pure/Admin/build_log.scala 19 src/Pure/Admin/build_polyml.scala 20 src/Pure/Admin/build_release.scala 21 src/Pur [all...] |
/seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
H A D | memcpy.c | 7 void *memcpy(void *dest, void *src, unsigned long size) argument 10 char *d = (char *)dest, *s = (char *)src; 17 int *memcpy_int(int *dest, int *src) argument 19 return memcpy(dest, src, sizeof(*dest)); 29 struct my_structure *src) 31 return memcpy(dest, src, sizeof(*dest)); 28 memcpy_struct(struct my_structure *dest, struct my_structure *src) argument
|
/seL4-l4v-master/isabelle/Admin/lib/Tools/ |
H A D | regenerate_cooper | 5 # DESCRIPTION: regenerate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML from ~~/src/HOL/Decision_Proc/Cooper.thy 8 src='HOL-Decision_Procs.Cooper:code/cooper_procedure.ML' 9 dst='~~/src/HOL/Tools/Qelim/' 12 "${ISABELLE_TOOL}" export -x "${src}" -p 2 -O "${dst}" "${session}"
|
/seL4-l4v-master/l4v/isabelle/Admin/lib/Tools/ |
H A D | regenerate_cooper | 5 # DESCRIPTION: regenerate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML from ~~/src/HOL/Decision_Proc/Cooper.thy 8 src='HOL-Decision_Procs.Cooper:code/cooper_procedure.ML' 9 dst='~~/src/HOL/Tools/Qelim/' 12 "${ISABELLE_TOOL}" export -x "${src}" -p 2 -O "${dst}" "${session}"
|
/seL4-l4v-master/seL4/libsel4/arch_include/x86/sel4/arch/ |
H A D | syscalls.h | 15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument 17 return seL4_NBWait(src, sender); 20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument 22 seL4_Recv(src, sender); 24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument 26 return seL4_NBRecv(src, sender);
|
/seL4-l4v-master/seL4/include/ |
H A D | string.h | 12 word_t strlcpy(char *dest, const char *src, word_t size); 13 word_t strlcat(char *dest, const char *src, word_t size);
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 40 Path.explode("~~/src/Tools/jEdit/dist/Isabelle-jEdit.shasum")) 46 name != "src/Tools/jEdit/dist/jedit.jar" && 47 name != "src/Tools/jEdit/dist/jars/Isabelle-jEdit-base.jar" && 48 name != "src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar" 56 "src/Pure/" -> Path.explode("isabelle"), 57 "src/Tools/Graphview/" -> Path.explode("isabelle.graphview"), 58 "src/Tools/VSCode/" -> Path.explode("isabelle.vscode"), 59 "src/Tools/jEdit/src-base/" -> Path.explode("isabelle.jedit_base"), 60 "src/Tool [all...] |
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | scala_project.scala | 40 Path.explode("~~/src/Tools/jEdit/dist/Isabelle-jEdit.shasum")) 46 name != "src/Tools/jEdit/dist/jedit.jar" && 47 name != "src/Tools/jEdit/dist/jars/Isabelle-jEdit-base.jar" && 48 name != "src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar" 56 "src/Pure/" -> Path.explode("isabelle"), 57 "src/Tools/Graphview/" -> Path.explode("isabelle.graphview"), 58 "src/Tools/VSCode/" -> Path.explode("isabelle.vscode"), 59 "src/Tools/jEdit/src-base/" -> Path.explode("isabelle.jedit_base"), 60 "src/Tool [all...] |
/seL4-l4v-master/seL4/src/ |
H A D | string.c | 18 word_t strlcpy(char *dest, const char *src, word_t size) argument 21 for (len = 0; len + 1 < size && src[len]; len++) { 22 dest[len] = src[len]; 28 word_t strlcat(char *dest, const char *src, word_t size) argument 36 for (; len + 1 < size && *src; len++, src++) { 37 dest[len] = *src;
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/money/ |
H A D | makefile | 6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src 29 cd ../../src; make 36 money.o: ../../src/bvec.h ../../src/fdd.h ../../src/bdd.h
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/ |
H A D | makefile | 6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src 29 cd ../../src; make 36 statespace.o: ../../src/fdd.h
|
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
H A D | makefile | 6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src 29 cd ../../src; make 36 milner.o: ../../src/bdd.h
|
/seL4-l4v-master/seL4/libsel4/include/sel4/ |
H A D | syscalls_mcs.h | 37 * @param[in] src The capability to be invoked. 52 seL4_Recv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply); 97 * @param[in] src The capability to perform the receive on. 114 seL4_ReplyRecv(seL4_CPtr src, seL4_MessageInfo_t msgInfo, seL4_Word *sender, seL4_CPtr reply); 125 * @param[in] src The capability to receive on. 140 seL4_NBRecv(seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply); 159 * @param[in] src The capability to receive on. 168 seL4_NBSendRecv(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Word *sender, seL4_CPtr reply); 186 * @param[in] src The capability to receive on. 193 seL4_NBSendWait(seL4_CPtr dest, seL4_MessageInfo_t msgInfo, seL4_CPtr src, seL4_Wor [all...] |
/seL4-l4v-master/HOL4/developers/ |
H A D | prettifier.pl | 6 if (m|^Working in directory /tmp/hol98/src/(.*)$|) {
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | gc_copy_phase.cpp | 192 static bool FindNextSpace(LocalMemSpace *src, LocalMemSpace **dst, bool isMutable, GCTaskId *id) argument 196 if (*dst == src) 206 if (lSpace == src) 209 ASSERT(!isMutable || src->isMutable); 210 *dst = src; 224 isMutable ? "mutable" : "immutable", src, lSpace); 240 LocalMemSpace *src = *i; local 242 if (src->spaceOwner == 0) 245 if (src->spaceOwner == 0) 246 src [all...] |
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/ |
H A D | makefile | 6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src 36 adder.o: ../../src/bdd.h
|