/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | Makefile.am | 17 src/aarch64/ffi.c src/aarch64/ffitarget.h src/aarch64/sysv.S \ 18 src/alpha/ffi.c src/alpha/osf.S \ 19 src/alpha/ffitarget.h src/arc/ffi.c src/arc/arcompact.S \ 20 src/arc/ffitarget.h src/ar [all...] |
H A D | Makefile.in | 93 @FFI_DEBUG_TRUE@am__append_1 = src/debug.c 94 @MIPS_TRUE@am__append_2 = src/mips/ffi.c src/mips/o32.S src/mips/n32.S 95 @BFIN_TRUE@am__append_3 = src/bfin/ffi.c src/bfin/sysv.S 96 @X86_TRUE@am__append_4 = src/x86/ffi.c src/x86/sysv.S src/x86/win32.S 97 @X86_FREEBSD_TRUE@am__append_5 = src/x8 [all...] |
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
H A D | memcpy.c | 11 void *memcpy(void *dest, void *src, unsigned long size) { argument 13 char *d = (char*)dest, *s = (char*)src; 20 int *memcpy_int(int *dest, int *src) { argument 21 return memcpy(dest, src, sizeof(*dest)); 31 struct my_structure *src) { 32 return memcpy(dest, src, sizeof(*dest)); 30 memcpy_struct(struct my_structure *dest, struct my_structure *src) argument
|
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
H A D | syscalls.h | 22 seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument 24 seL4_Recv(src, sender); 28 seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument 30 return seL4_NBRecv(src, sender);
|
/seL4-l4v-10.1.1/seL4/src/ |
H A D | string.c | 22 word_t strlcpy(char *dest, const char *src, word_t size) argument 25 for (len = 0; len + 1 < size && src[len]; len++) { 26 dest[len] = src[len]; 32 word_t strlcat(char *dest, const char *src, word_t size) argument 40 for (; len + 1 < size && *src; len++, src++) { 41 dest[len] = *src;
|
/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/HOL4/developers/ |
H A D | prettifier.pl | 6 if (m|^Working in directory /tmp/hol98/src/(.*)$|) {
|
/seL4-l4v-10.1.1/seL4/include/ |
H A D | string.h | 17 word_t strlcpy(char *dest, const char *src, word_t size); 18 word_t strlcat(char *dest, const char *src, word_t size);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | gc_copy_phase.cpp | 187 static bool FindNextSpace(LocalMemSpace *src, LocalMemSpace **dst, bool isMutable, GCTaskId *id) 191 if (*dst == src) 201 if (lSpace == src) 204 ASSERT(!isMutable || src->isMutable); 205 *dst = src; 219 isMutable ? "mutable" : "immutable", src, lSpace); 235 LocalMemSpace *src = *i; 237 if (src->spaceOwner == 0) 240 if (src->spaceOwner == 0) 241 src [all...] |
/seL4-l4v-10.1.1/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
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
H A D | makefile | 6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src 36 milner.o: ../../src/bdd.h
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/queen/ |
H A D | makefile | 6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src 36 queen.o: ../../src/bdd.h
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/ |
H A D | makefile | 6 CFLAGS = -O3 -pedantic -Wall -ansi -L../../src -I../../src 36 milner.o: ../../src/bdd.h
|
/seL4-l4v-10.1.1/HOL4/developers/docfiles/ |
H A D | gen-implemented.sh | 5 # corresponding structure str (or fun) exists somewhere in src/ 14 for path in `find $holdir/src -name "*.sig" \! -name "*Theory.sig"`
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ |
H A D | fpu.h | 83 static inline void loadFpuState(user_fpu_state_t *src) argument 86 asm volatile("fxrstor %[src]" :: [src] "m"(*src)); 89 asm volatile("xrstors %[src]" :: [src] "m"(*src), "d"(xsave_features_high()), "a"(xsave_features_low())); 91 asm volatile("xrstor %[src]" :: [src] "m"(*src), " [all...] |