Searched refs:with (Results 1 - 25 of 468) sorted by relevance

1234567891011>>

/barrelfish-master/lib/openssl-1.0.0d/test/
H A Dtestssl38 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 Dtest.bat84 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 Dtestce.bat130 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 Dopium_light_kernel_patch.pl6 * 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 Dtest_algo.pl6 % create list with "region(Base, Size)" elements
H A Dplat_VE_A15x4_A7x4.pl11 % Platform with 4 A15 cores and 4 A7
14 % The A7 runs fine with the A15 CPU driver.
H A Ddevice_db_ahcitest.pl1 % Load the ahci_test program with a higher priority than ahcid
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dxml_utilities.pl216 * 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 Drandom.pl18 % 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 Ddata.pl19 % No solution for 20/3 with (1) but a solution for 20/3 with (5)
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dm_map.pl137 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 Dscheduler.pl6 % 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 Dic_probing_tests.pl6 % 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 Dprobing_tests.pl6 % 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 Dnot_equals.pl6 % 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 Dic_make_overlap_bivs.pl6 % 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 Dmake_overlap_bivs.pl6 % 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 Dpthreads-vms.com3 $! WARNING: only tested with DEC C so far.
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dbranch_and_bound.pl7 % 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 Dumsstyle.tex6 % 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 Dprintfcommon.h13 * 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 DGlossary.tex5 %% 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 Dpaging_arch.h22 # error NXE is only supported with PAE!
/barrelfish-master/usr/eclipseclp/JavaInterface/tests/
H A Dqueue_example_1.pl6 % in compliance with the License. You may obtain a copy of the License
27 % Example program for using queues with JavaInterface module
H A Dqueue_example_2.pl6 % in compliance with the License. You may obtain a copy of the License
27 % Example program for using queues with JavaInterface module

Completed in 96 milliseconds

1234567891011>>