/barrelfish-master/lib/openssl-1.0.0d/crypto/dso/ |
H A D | dso_beos.c | 238 char *translated; local 251 translated = OPENSSL_malloc(rsize); 252 if(translated == NULL) 261 sprintf(translated, "lib%s.so", filename); 263 sprintf(translated, "%s.so", filename); 266 sprintf(translated, "%s", filename); 267 return(translated);
|
H A D | dso_dl.c | 326 char *translated; local 338 translated = OPENSSL_malloc(rsize); 339 if(translated == NULL) 348 sprintf(translated, "lib%s%s", filename, extension); 350 sprintf(translated, "%s%s", filename, extension); 353 sprintf(translated, "%s", filename); 354 return(translated);
|
H A D | dso_dlfcn.c | 371 char *translated; local 384 translated = OPENSSL_malloc(rsize); 385 if(translated == NULL) 394 sprintf(translated, "lib%s" DSO_ext, filename); 396 sprintf(translated, "%s" DSO_ext, filename); 399 sprintf(translated, "%s", filename); 400 return(translated);
|
H A D | dso_win32.c | 632 char *translated; local 641 translated = OPENSSL_malloc(len + 5); 644 translated = OPENSSL_malloc(len + 1); 645 if(translated == NULL) 652 sprintf(translated, "%s.dll", filename); 654 sprintf(translated, "%s", filename); 655 return(translated);
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | builtins.tex | 71 recognised by the compiler and translated into specific abstract machine
|
H A D | kernel.tex | 1622 They are all translated into a predicate that takes an additional
|
/barrelfish-master/usr/skb/programs/ |
H A D | decoding_net4_tests.pl | 182 % Case with a node configuration necessary, the translated node fits in 208 % Case with a node configuration necessary, the translated node spans
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | fdsets.tex | 213 When such set expressions occur, they are translated into auxiliary
|
H A D | extchr.tex | 762 is translated into:
|
H A D | eplex.tex | 144 \item When they contain exactly one variable, they are translated into
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | apply_macros.pl | 44 calls are translated into calls of the auxiliary predicates.")
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | chr.pl | 458 %%% Special case for rules which have been translated for keeping heads
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | page_mappings_arch.c | 475 00b: Untranslated requests are translated using second-level
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | setsolver.tex | 249 When such set expressions occur, they are translated into auxiliary
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | domain.pl | 292 % translated to "pair domains", a very powerful extension of usual domains
|
H A D | ech.pl | 681 CurrentHead is the head of the translated Prolog goal for the current 1231 creates a new clause head (NewRuleHead) for a translated rule called with a
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umslanguage.tex | 97 which is translated into 144 When structures are printed, they are not translated back into the
|
H A D | umsmacros.tex | 619 A grammar rule is translated to a Prolog clause by adding two arguments
|
/barrelfish-master/doc/008-tracing/ |
H A D | Tracing.tex | 254 \caption{Pleco files get translated into both a C header file and a JSON 305 translated into a header file, but also into a JSON file, we want to have a look
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 382 that the collection is indeed translated into the required {\eclipse} 404 these will be translated to type {\tt integer} on the {\eclipse} side. 769 translated into EXDR format and this is written to the destination 807 causes each atom to be translated into EXDR format and the translation
|
/barrelfish-master/doc/003-hake/ |
H A D | Hake.tex | 522 the Makefile - they are translated into the GNU make construct
|
/barrelfish-master/doc/026-device-queues/ |
H A D | devif.tex | 765 \texttt{devq\_enqueue()} now, the region and buffer id are translated to an buffer table
|
/barrelfish-master/usr/eclipseclp/documents/search/ |
H A D | search.tex | 1453 the initial constraints on the variables are simply translated into nogood
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 543 \index{argument checking}It is a good idea, at least for the top-level queries, to verify all parameters systematically. In the specification, we have defined various constraints that the input data must satisfy. Most of these constraints can be translated without too much work into checks that verify the constraints. A separate module for error checking can handle this work and leave the application core to rely on the correctness of the data.
|