Searched refs:src (Results 1 - 25 of 328) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dprime.h41 unsigned int bdd_prime_gte(unsigned int src);
42 unsigned int bdd_prime_lte(unsigned int src);
H A Dprime.c44 #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 DMakefile50 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 DMakefile.FILES2 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 Dfix_metis_license4 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 DMakefile50 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 DMakefile.FILES2 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 Dfix_metis_license4 perl -p -i~ -w -e 's/MIT license/BSD License/g' Makefile src/*.s* scripts/mlpp)
/seL4-l4v-master/isabelle/src/Pure/
H A Dbuild-jars12 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 Dbuild-jars12 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 Dmemcpy.c7 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 Dregenerate_cooper5 # 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 Dregenerate_cooper5 # 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 Dsyscalls.h15 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 Dstring.h12 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 Dscala_project.scala40 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 Dscala_project.scala40 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 Dstring.c18 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 Dmakefile6 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 Dmakefile6 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 Dmakefile6 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 Dsyscalls_mcs.h37 * @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 Dprettifier.pl6 if (m|^Working in directory /tmp/hol98/src/(.*)$|) {
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_copy_phase.cpp192 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 Dmakefile6 CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src
36 adder.o: ../../src/bdd.h

Completed in 146 milliseconds

1234567891011>>