/barrelfish-master/lib/openssl-1.0.0d/test/ |
H A D | testssl | 38 echo test sslv2 with server authentication 42 echo test sslv2 with client authentication 45 echo test sslv2 with both client and server authentication 52 echo test sslv3 with server authentication 55 echo test sslv3 with client authentication 58 echo test sslv3 with both client and server authentication 64 echo test sslv2/sslv3 with server authentication 67 echo test sslv2/sslv3 with client authentication 70 echo test sslv2/sslv3 with both client and server authentication 76 echo test sslv2 with serve [all...] |
/barrelfish-master/lib/openssl-1.0.0d/ms/ |
H A D | test.bat | 84 echo test sslv2 with server authentication 88 echo test sslv2 with client authentication 92 echo test sslv2 with both client and server authentication 100 echo test sslv3 with server authentication 104 echo test sslv3 with client authentication 108 echo test sslv3 with both client and server authentication 116 echo test sslv2/sslv3 with server authentication 120 echo test sslv2/sslv3 with client authentication 124 echo test sslv2/sslv3 with both client and server authentication 132 echo test sslv2/sslv3 with 102 [all...] |
H A D | testce.bat | 130 echo test sslv2 with server authentication 134 echo test sslv2 with client authentication 138 echo test sslv2 with both client and server authentication 146 echo test sslv3 with server authentication 150 echo test sslv3 with client authentication 154 echo test sslv3 with both client and server authentication 162 echo test sslv2/sslv3 with server authentication 166 echo test sslv2/sslv3 with client authentication 170 echo test sslv2/sslv3 with both client and server authentication 178 echo test sslv2/sslv3 with 102 [all...] |
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | opium_light_kernel_patch.pl | 6 * in compliance with the License. You may obtain a copy of the License 116 TraceLine = trace_line with [ port:Port, frame:Frame ], 117 Frame = tf with [invoc:Call,goal:Goal,depth:Depth,module:M], 124 TraceLine = trace_line with port:Port. 128 TraceLine = trace_line with frame:(tf with invoc:Call). 132 TraceLine = trace_line with frame:(tf with depth:Depth). 136 TraceLine = trace_line with frame:Frame, 137 Frame = tf with [goa [all...] |
/barrelfish-master/usr/skb/programs/ |
H A D | test_algo.pl | 6 % create list with "region(Base, Size)" elements
|
H A D | plat_VE_A15x4_A7x4.pl | 11 % Platform with 4 A15 cores and 4 A7 14 % The A7 runs fine with the A15 CPU driver.
|
H A D | device_db_ahcitest.pl | 1 % Load the ahci_test program with a higher priority than ahcid
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | xml_utilities.pl | 216 * lists of character codes, and Lowercase is identical to MixedCase with
229 "Aacute"-[193], % latin capital letter A with acute,
230 "aacute"-[225], % latin small letter a with acute,
231 "Acirc"-[194], % latin capital letter A with circumflex,
232 "acirc"-[226], % latin small letter a with circumflex,
236 "Agrave"-[192], % latin capital letter A with grave
237 "agrave"-[224], % latin small letter a with grave
243 "Aring"-[197], % latin capital letter A with ring above
244 "aring"-[229], % latin small letter a with ring above
246 "Atilde"-[195], % latin capital letter A with tild [all...] |
H A D | random.pl | 18 % given an integer N >= 1, random(N, I) unifies I with a random 46 % given an non-empty List, random(List, Elem, Rest) unifies Elem with 47 % a random element of List and Rest with the other elements. 56 % rand_perm(List, Perm) unifies Perm with a random permutation
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | data.pl | 19 % No solution for 20/3 with (1) but a solution for 20/3 with (5)
|
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_map.pl | 137 entry with key Key. 140 This predicate should only be called with maps created by other 153 summary: "Succeeds if Key and Value unify with a key/value pair from Map.", 154 fail_if: "Fails if Key and Value do not unify with a key/value pair from Map.", 159 Tries to unify Key and Value with key/value pairs from the map Map. 166 This predicate should only be called with maps created by other 181 fail_if: "Fails if Key does not appear in Map or if Value does not unify with the corresponding value found.", 186 This predicate searches the map Map for an entry with key Key. 188 value with Value. 191 This predicate should only be called with map [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | scheduler.pl | 6 % in compliance with the License. You may obtain a copy of the License 71 format_scheduler(schedule with [timemin:Min, timemax:Max], schedule(Min..Max)). 122 Schedule = schedule with [handle:S, resources:Rs], 127 alt_res_set(schedule with handle:S, Resources, Resource) :- 144 starts_after_end(activity with handle:A1, activity with handle:A2, Constraint) :- 148 starts_after_end(activity with handle:A1, (activity with handle:A2)+Delay, Constraint) :- 162 consumes(activity with handle:A, Capacity of resource(Resource, ilc('CapResource')), Constraint) :- 169 consumes(activity with handl [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probing_tests.pl | 6 % in compliance with the License. You may obtain a copy of the License 39 Found a solution with cost 9 60 Found a solution with cost 9 70 Found a solution with cost 9 79 Found a solution with cost 4 89 Found a solution with cost 4 121 Found a solution with cost 12 122 Found a solution with cost 11 123 Found a solution with cost 9 130 Found a solution with cos [all...] |
H A D | probing_tests.pl | 6 % in compliance with the License. You may obtain a copy of the License 38 Found a solution with cost 9 59 Found a solution with cost 9 69 Found a solution with cost 9 78 Found a solution with cost 4 88 Found a solution with cost 4 119 Found a solution with cost 12 120 Found a solution with cost 11 121 Found a solution with cost 9 128 Found a solution with cos [all...] |
H A D | not_equals.pl | 6 % in compliance with the License. You may obtain a copy of the License 39 % This succeeds with the following queries: 45 % and fails with: 90 AX = not_equals with ne:NeX, 99 AY = not_equals with ne:NeY, 131 Attr = not_equals with ne:[], 151 Attr = not_equals with ne: List, 165 AttrX = not_equals with ne:NeX, 166 AttrY = not_equals with ne:NeY, 182 Attr = not_equals with n [all...] |
H A D | ic_make_overlap_bivs.pl | 6 % in compliance with the License. You may obtain a copy of the License 56 Options= options with priority:Priority, 105 Task1 = task with resource:R, 108 Task1 = task with start:S1, 109 Task2 = task with [start:S2,duration:D2], 113 Task1 = task with start:S1, 114 Task2 = task with [start:S2,duration:D2,resource:R2], 119 Options = options with priority:Priority, 120 Task1 = task with start:S1, 121 Task2 = task with [star [all...] |
H A D | make_overlap_bivs.pl | 6 % in compliance with the License. You may obtain a copy of the License 56 Options= options with priority:Priority, 105 Task1 = task with resource:R, 108 Task1 = task with start:S1, 109 Task2 = task with [start:S2,duration:D2], 113 Task1 = task with start:S1, 114 Task2 = task with [start:S2,duration:D2,resource:R2], 119 Options = options with priority:Priority, 120 Task1 = task with start:S1, 121 Task2 = task with [star [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/threads/ |
H A D | pthreads-vms.com | 3 $! WARNING: only tested with DEC C so far.
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | branch_and_bound.pl | 7 % in compliance with the License. You may obtain a copy of the License 38 optimization. It can be used with any nondeterministic search routine 56 Found a solution with cost 500 57 Found a solution with cost 400 58 Found a solution with cost 200 59 Found no solution with cost -1.0Inf .. 199 67 generator of solutions with different values for the variable Cal, 70 good solutions (i.e. solutions with smaller cost), and finally delivers 71 the minimum-cost solution with Cal=200. 76 Found a solution with cos [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsstyle.tex | 6 % in compliance with the License. You may obtain a copy of the License 35 \item Filenames\index{file name} are of the form \notation{[a-z][a-z_]+} with 38 \item Each module is documented with comment directives. 40 included in the source with a \emph{comment include} directive. This helps to 50 \notation{[A-Z_][a-zA-Z]*[0-9]*}. Separate words with capital letters. Digits 53 their names start with \notation{_}. The final program must not generate 55 \item Each exported predicate is documented with a comment 60 \item Predicates which are not exported should be documented with a single line 62 \item The sequence of predicates in a file is top-down with a (possibly empty) 65 \notation{flow_structures.ecl}) and are documented with commen [all...] |
/barrelfish-master/lib/libc/stdio/ |
H A D | printfcommon.h | 13 * Redistribution and use in source and binary forms, with or without 20 * documentation and/or other materials provided with the distribution. 111 * Pad with blanks or zeroes. 'with' should point to either the blanks array 115 io_pad(struct io_state *iop, int howmany, const CHAR * __restrict with, argument 122 if (io_print(iop, with, n, locale)) 131 * or padding with 'with' as necessary. 135 int len, const CHAR * __restrict with, locale_t locale) 148 return (io_pad(iop, len - p_len, with, local 134 io_printandpad(struct io_state *iop, const CHAR *p, const CHAR *ep, int len, const CHAR * __restrict with, locale_t locale) argument [all...] |
/barrelfish-master/doc/001-glossary/ |
H A D | Glossary.tex | 5 %% style file and template with much gratitude. 32 \vhEntry{2.0}{01.12.2013}{TR}{Updated with new developments}
|
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/ |
H A D | paging_arch.h | 22 # error NXE is only supported with PAE!
|
/barrelfish-master/usr/eclipseclp/JavaInterface/tests/ |
H A D | queue_example_1.pl | 6 % in compliance with the License. You may obtain a copy of the License 27 % Example program for using queues with JavaInterface module
|
H A D | queue_example_2.pl | 6 % in compliance with the License. You may obtain a copy of the License 27 % Example program for using queues with JavaInterface module
|