/barrelfish-master/lib/openssl-1.0.0d/crypto/md4/ |
H A D | md4_dgst.c | 144 R2(A,B,C,D,X( 0), 3,0x6ED9EBA1L); 145 R2(D,A,B,C,X( 8), 9,0x6ED9EBA1L); 146 R2(C,D,A,B,X( 4),11,0x6ED9EBA1L); 147 R2(B,C,D,A,X(12),15,0x6ED9EBA1L); 148 R2(A,B,C,D,X( 2), 3,0x6ED9EBA1L); 149 R2(D,A,B,C,X(10), 9,0x6ED9EBA1L); 150 R2(C,D,A,B,X( 6),11,0x6ED9EBA1L); 151 R2(B,C,D,A,X(14),15,0x6ED9EBA1L); 152 R2(A,B,C,D,X( 1), 3,0x6ED9EBA1L); 153 R2( [all...] |
H A D | md4_locl.h | 110 #define R2(a,b,c,d,k,s,t) { \ macro
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/md5/ |
H A D | md5_dgst.c | 144 R2(A,B,C,D,X( 5), 4,0xfffa3942L); 145 R2(D,A,B,C,X( 8),11,0x8771f681L); 146 R2(C,D,A,B,X(11),16,0x6d9d6122L); 147 R2(B,C,D,A,X(14),23,0xfde5380cL); 148 R2(A,B,C,D,X( 1), 4,0xa4beea44L); 149 R2(D,A,B,C,X( 4),11,0x4bdecfa9L); 150 R2(C,D,A,B,X( 7),16,0xf6bb4b60L); 151 R2(B,C,D,A,X(10),23,0xbebfbc70L); 152 R2(A,B,C,D,X(13), 4,0x289b7ec6L); 153 R2( [all...] |
H A D | md5_locl.h | 122 #define R2(a,b,c,d,k,s,t) { \ macro
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | cumulative_examples.pl | 142 [D2,R2] :: [4,2], 146 LR = [R1,R2,R3,R4,R5,R6], 156 D1 ## R1, D2 ## R2, D3 ## R3, D4 ## R4, D5 ## R5, D6 ## R6, 174 LR = [R1,R2,R3,R4], 191 Vars = [O1,D1,R1,O2,D2,R2,O3,D3,R3,O4,D4,R4], 207 LR = [R1,R2,R3,R4,R5,R6,R7], 228 R1 #> R2, R2 #> R3, R3 #> R4, R4 #> R5, R5 #> R6, R6 #> R7, 232 % [R1,R2,R3,R4,R5,R6,R7] = [11,10,9,7,3,2,1], 239 Vars = [O1,D1,R1,O2,D2,R2,O [all...] |
H A D | ic_make_overlap_bivs.pl | 114 Task2 = task with [start:S2,duration:D2,resource:R2], 116 OutBivs=[R2|InBivs]. 117 % If R2 is a variable, then Biv isn't really bivalued! 121 Task2 = task with [start:S2,duration:D2,resource:R2], 122 get_domain_as_list(R2,R2DomList), 127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1), 146 set_biv(S1,S2,D2,R2,Biv,Susp) 151 set_biv(S1,S2,D2,R2,Biv,Susp) :- 153 Biv=R2, 182 Task2 = task with [start:S2,duration:D2,resource:R2], [all...] |
H A D | make_overlap_bivs.pl | 114 Task2 = task with [start:S2,duration:D2,resource:R2], 116 OutBivs=[R2|InBivs]. 117 % If R2 is a variable, then Biv isn't really bivalued! 121 Task2 = task with [start:S2,duration:D2,resource:R2], 122 fd:dom(R2,R2DomList), 127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1), 146 set_biv(S1,S2,D2,R2,Biv,Susp) 151 set_biv(S1,S2,D2,R2,Biv,Susp) :- 153 Biv=R2, 182 Task2 = task with [start:S2,duration:D2,resource:R2], [all...] |
H A D | ic_probing_tests.pl | 87 [eclipse]: R1 :: 1..3, R2 :: 2..3, R3=1, 88 ex2([X,Y,Z],[1,5,6],[10,5,5],[R1,R2,R3],3,[granularity(1),priority(5)],Cost). 96 R2 = 2
|
H A D | probing_tests.pl | 86 [eclipse]: R1 :: 1..3, R2 :: 2..3, R3=1, 87 ex2([X,Y,Z],[1,5,6],[10,5,5],[R1,R2,R3],3,[granularity(1),priority(5)],Cost). 95 R2 = 2
|
H A D | ic_probe_search.pl | 115 Task2 = task with [start:S2,duration:D2,resource:R2], 118 Biv=R2,
|
H A D | ic_probing_for_scheduling.pl | 416 Resources=[R1,R2,R3], 417 ic:(R1::1..2), R2=2, R3=1,
|
H A D | probe_search.pl | 116 Task2 = task with [start:S2,duration:D2,resource:R2], 119 Biv=R2,
|
H A D | probing_for_scheduling.pl | 416 Resources=[R1,R2,R3], 417 fd:(R1::1..2), R2=2, R3=1,
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/md5/asm/ |
H A D | md5-586.pl | 25 %Ltmp1=("R0",&Np($C), "R1",&Np($C), "R2",&Np($C), "R3",&Np($D)); 29 5, 8, 11, 14, 1, 4, 7, 10, 13, 0, 3, 6, 9, 12, 15, 2, # R2 94 sub R2 subroutine 101 &comment("R2 $ki"); 119 &comment("R2 $ki"); 238 &comment("R2 section"); 239 &R2( 0,-1,$A,$B,$C,$D,$X,32, 4,0xfffa3942); 240 &R2( 1, 0,$D,$A,$B,$C,$X,33,11,0x8771f681); 241 &R2( 2, 0,$C,$D,$A,$B,$X,34,16,0x6d9d6122); 242 &R2( [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | kb.pl | 767 ** Rel isdr <[A1, .., Am] :^:> R1 :+: R2 <where Cond> % union 768 ** Rel isdr <[A1, .., Am] :^:> R1 :-: R2 <where Cond> % difference 769 ** Rel isdr <[A1, .., Am] :^:> R1 :*: R2 where Cond % join 772 ** Rel expand <[A1, .., Am] :^:> R1 :+: R2 <where Cond> % union 773 ** Rel expand <[A1, .., Am] :^:> R1 :-: R2 <where Cond> % difference 774 ** Rel expand <[A1, .., Am] :^:> R1 :*: R2 where Cond % join 1035 'KB_isd_noproj_where'( R1 :+: R2, Cond, X) :- !, 1036 R1 <@@> R2, 1038 X <+++ R2 where Cond. 1040 'KB_isd_noproj_where'( R1 :-: R2, Con [all...] |
H A D | db.pl | 359 ** R1 and R2 have combatible schemas iff there corresponding 507 ** [A1, .., Am] :^: R1 :*: R2 where Cond % join with proj. 508 ** [A1, .., Am] :^: R1 :+: R2 where Cond % union with projection 509 ** [A1, .., Am] :^: R1 :-: R2 where Cond % difference with projection 612 /* R1 <-- R2 remove tuples in Expr (relation) from OutRel */ 618 /* R1 <-- R2 where C delete result of selection */ 642 /* R1 <-- R2 where C i.e. difference operation */ 685 ** R1 :+: R2 union 686 ** R1 :-: R2 difference 687 ** R1 :*: R2 joi [all...] |
H A D | heaps.pl | 106 add_to_heap(N, Key, Datum, t(K1,D1,L1,R1), t(K2,D2,L2,R2)) :- 110 add_to_heap(E, M, K3, D3, L1, R1, L2, R2). 115 add_to_heap(1, N, Key, Datum, L, R1, L, R2) :- !, 116 add_to_heap(N, Key, Datum, R1, R2). 144 repair_heap(t(K1,D1,L1,R1), t(K2,D2,L2,R2), t(K2,D2,t(K1,D1,L1,R1),R3), N) :- 147 repair_heap(L2, R2, R3, M), 149 repair_heap(t(K1,D1,L1,R1), t(K2,D2,L2,R2), t(K1,D1,L3,t(K2,D2,L2,R2)), N) :- !, 155 repair_heap(t, t(K2,D2,L2,R2), t(K2,D2,t,R3), N) :- !, 156 repair_heap(L2, R2, R [all...] |
H A D | megalog.pl | 991 bang_join_temp(R1, R2, CondT, ProjL, RelOut) :- 992 bang_join(R1, R2, CondT, ProjL, RelOut, 0). 993 bang_join_temp(R1, R2, CondT, ProjL, RelOut, Action) :- 994 bang_join(R1, R2, CondT, ProjL, RelOut, Action). 996 bang_diff_temp(R1, R2, CondT, ProjL, RelOut) :- 997 bang_diff(R1, R2, CondT, ProjL, RelOut, 0). 998 bang_diff_temp(R1, R2, CondT, ProjL, RelOut, Action) :- 999 bang_diff(R1, R2, CondT, ProjL, RelOut, Action).
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | digin.pl | 69 addroot(t(L,Y,R), X, t(t(L,Y,R1), X,R2)) :- 71 addroot(R, X, t(R1,X,R2)).
|
/barrelfish-master/usr/skb/programs/ |
H A D | decoding_net3_multid.pl | 1154 route(N2Region, ResRegion, R2), 1156 union(R1,R2,Route). 1172 route(N2Region, ResRegion, R2), 1175 union(R1,R2,Route). 1186 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]}, 1189 common_free_buffer([memory, [Size]], R1, R2, Dest, _), 1206 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]}, 1209 common_free_map([memory, [Size]], R1, R2, ResR, _), 1213 mark_range_in_use(R2), 1383 route(NextRegion, DstRegion, R2), [all...] |
H A D | decoding_net2.pl | 839 route(N2Region, ResRegion, R2), 841 union(R1,R2,Route). 857 route(N2Region, ResRegion, R2), 860 union(R1,R2,Route). 871 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]}, 874 common_free_buffer([memory, [Size]], R1, R2, Dest, _), 891 R2 = region{node_id: N2Id, blocks: [memory, [block{base:R2Addr}]]}, 894 common_free_map([memory, [Size]], R1, R2, ResR, _), 898 mark_range_in_use(R2), 1068 route(NextRegion, DstRegion, R2), [all...] |
H A D | decoding_net3.pl | 1232 route(N2Region, ResRegion, R2), 1234 union(R1,R2,Route). 1250 route(N2Region, ResRegion, R2), 1253 union(R1,R2,Route). 1264 R2 = region{node_id: N2Id, blocks: [memory, block{base:R2Addr}]}, 1267 common_free_buffer([memory, [Size]], R1, R2, Dest, _), 1284 R2 = region{node_id: N2Id, blocks: [memory, block{base:R2Addr}]}, 1287 common_free_map([memory, [Size]], R1, R2, ResR, _), 1291 mark_range_in_use(R2), 1427 route_new(S, NextRegions, DstRegions, R2), [all...] |
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 442 taskResource(S1,E1,R1,S2,E2,R2) :- 443 ne(R1,R2). 444 taskResource(S1,E1,R1,S2,E2,R2) :- 445 R1=R2, S1 >= E2. 446 taskResource(S1,E1,R1,S2,E2,R2) :- 447 R1=R2, S2 >= E1. 1711 fdTaskResource(S1,E1,R1,S2,E2,R2) :- 1712 R1 ## R2. 1713 fdTaskResource(S1,E1,R1,S2,E2,R2) :- 1714 R1#=R2, S [all...] |
/barrelfish-master/usr/eclipseclp/ |
H A D | PACK | 755 StrLen \$R2 \$R0 758 StrCpy \$R1 \$R0 \$R2 2
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | puzzle_bool.pl | 103 add(I-1,J,N,B,R1,R2) , 104 add(I+1,J,N,B,R2,R3) ,
|