/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md4/ |
H A D | md4_dgst.c | 127 R1(A,B,C,D,X( 0), 3,0x5A827999L); 128 R1(D,A,B,C,X( 4), 5,0x5A827999L); 129 R1(C,D,A,B,X( 8), 9,0x5A827999L); 130 R1(B,C,D,A,X(12),13,0x5A827999L); 131 R1(A,B,C,D,X( 1), 3,0x5A827999L); 132 R1(D,A,B,C,X( 5), 5,0x5A827999L); 133 R1(C,D,A,B,X( 9), 9,0x5A827999L); 134 R1(B,C,D,A,X(13),13,0x5A827999L); 135 R1(A,B,C,D,X( 2), 3,0x5A827999L); 136 R1( [all...] |
H A D | md4_locl.h | 106 #define R1(a,b,c,d,k,s,t) { \ macro
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | cumulative_examples.pl | 141 [D1,R1] :: [6,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,O3,D3,R3,O4,D4,R4,O5,D5,R5,O6,D6,R6,O7,D7,R7], 240 % Vars = [D1,R1,D [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). 95 R1 = 1
|
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). 94 R1 = 1
|
H A D | ic_probing_for_scheduling.pl | 416 Resources=[R1,R2,R3], 417 ic:(R1::1..2), R2=2, R3=1,
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/md5/ |
H A D | md5_dgst.c | 127 R1(A,B,C,D,X( 1), 5,0xf61e2562L); 128 R1(D,A,B,C,X( 6), 9,0xc040b340L); 129 R1(C,D,A,B,X(11),14,0x265e5a51L); 130 R1(B,C,D,A,X( 0),20,0xe9b6c7aaL); 131 R1(A,B,C,D,X( 5), 5,0xd62f105dL); 132 R1(D,A,B,C,X(10), 9,0x02441453L); 133 R1(C,D,A,B,X(15),14,0xd8a1e681L); 134 R1(B,C,D,A,X( 4),20,0xe7d3fbc8L); 135 R1(A,B,C,D,X( 9), 5,0x21e1cde6L); 136 R1( [all...] |
H A D | md5_locl.h | 117 #define R1(a,b,c,d,k,s,t) { \ macro
|
/barrelfish-2018-10-04/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)); 28 1, 6, 11, 0, 5, 10, 15, 4, 9, 14, 3, 8, 13, 2, 7, 12, # R1 62 &mov($tmp1,&Np($c)) if $pos == 1; # next tmp1 for R1 71 sub R1 subroutine 75 &comment("R1 $ki"); 219 &comment("R1 section"); 220 &R1(-1,$A,$B,$C,$D,$X,16, 5,0xf61e2562); 221 &R1( 0,$D,$A,$B,$C,$X,17, 9,0xc040b340); 222 &R1( 0,$C,$D,$A,$B,$X,18,14,0x265e5a51); 223 &R1( [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/ |
H A D | digin.pl | 61 add(t(L,Y,R), X, t(L,Y,R1)) :- 63 add(R, X, R1). 69 addroot(t(L,Y,R), X, t(t(L,Y,R1), X,R2)) :- 71 addroot(R, X, t(R1,X,R2)).
|
/barrelfish-2018-10-04/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, 1037 X isdr R1 where Cond, 1040 'KB_isd_noproj_where'( R1 [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 */ 623 /* R1 <-- RelExpr delete result of general query */ 642 /* R1 <-- R2 where C i.e. difference operation */ 685 ** R1 :+: R2 union 686 ** R1 [all...] |
H A D | linearize.pl | 220 linearize(E1, C0, C1, L1, L0, R1, R0, Mod), 221 linearize(E2, C1, C, L, L1, R, R1, Mod). 225 linearize(E1, C0, C1, L1, L0, R1, R0, Mod), 226 linearize((-1)*E2, C1, C, L, L1, R, R1, Mod). 258 resubstitute_free_nonlinears(ProdR,L2,R0,R1), 264 R = [Aux=E1LinExpr*E2LinExpr|R1] 314 R1=[LHS=RHS|R0] 318 LHS=RHS,R1=R0 320 resubstitute_free_nonlinears(More,Lin,R1,R). 327 linearize(E, C0, C1, L1, L0, R1, R [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) :- 149 repair_heap(t(K1,D1,L1,R1), t(K2,D2,L2,R2), t(K1,D1,L3,t(K2,D2,L2,R2)), N) :- !, 150 repair_heap(L1, R1, L3, M), 152 repair_heap(t(K1,D1,L1,R1), t, t(K1,D1,L3,t), N) :- !, 153 repair_heap(L1, R1, L [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).
|
H A D | paddy.pl | 641 make_fold(F,Ff,Indf), may_reunfold_def(Indf,Ff,R,F1,R1), 642 unfold(II,u,(I:-F1,R1),no_prune) 682 (read_table(Rk,[I1,R1,Ind],aux_table), getval(transformed(Ind),1), 683 variant(R,R1), R=R1, internal_check(R,I1,I+F) -> 763 internal_check(R1,I1,Rest) :- 764 not (varof(V,R1), not occurs(V,I1), occurs(V,Rest)). 801 may_reunfold_def(Ind,Ff,R,F1,R1) :- 803 getval(clau(Id),(Ff,T)), first_rest1(T,R,F1,R1) 804 ; F1=Ff, R1 [all...] |
H A D | ordset.pl | 259 compare(R1, X, Y), 260 ( R1 == (=) -> 262 ; R1 == (<) ->
|
/barrelfish-2018-10-04/usr/eclipseclp/ |
H A D | PACK | 747 StrCpy \$R1 \$R0 1 751 IntCmp \$R1 1 lbl_cmp_jre_minor_ver lbl_no_jre lbl_set_jre_home 758 StrCpy \$R1 \$R0 \$R2 2 760 IntCmp \$R1 2 lbl_set_jre_home lbl_no_jre lbl_set_jre_home 763 ReadRegStr \$R1 HKLM \"\$R3\\\$R0\" JavaHome 764 WriteRegStr HKLM \"Software\\IC-Parc\\Eclipse\\\${VER_MAJOR}\" JRE_HOME \$R1\$R4
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | read.pl | 112 ambigop(F, L1, O1, R1, L2, O2) :- 114 infixop(F, L1, O1, R1), !. 265 ambigop(F, L1, O1, R1, L2, O2), !, 266 ( exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S) 270 infixop(F, L1, O1, R1), !, 271 exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S).
|
H A D | distfix.pl | 150 ambigop(F, L1, O1, R1, L2, O2) :- 152 infixop(F, L1, O1, R1), !. 311 ambigop(F, L1, O1, R1, L2, O2), !, 312 ( exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S) 316 infixop(F, L1, O1, R1), !, 317 exprtl([infixop(F,L1,O1,R1)|S1], 0, Term, Precedence, Answer, S).
|
H A D | assoc.pl | 130 map_assoc(Pred, t(Key,Val,L0,R0), t(Key,Ans,L1,R1), Module) :- 133 map_assoc(Pred, R0, R1, Module).
|
/barrelfish-2018-10-04/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# [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/ |
H A D | puzzle_bool.pl | 102 add(I,J,N,B,L,R1) , 103 add(I-1,J,N,B,R1,R2) ,
|
H A D | diaz_bool.pl | 289 at_least_one1(L,R1), 290 or(X,R1,R).
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/ |
H A D | set.pl | 134 seteval(S1, R1), 135 union_s(R, R1,Re). 138 seteval(S1, R1), 139 inter_s(R, R1, Re). 142 seteval(S1, R1), 143 diff_s(R, R1, Re). 150 seteval(S1, R1), 151 dis_s(R, R1). 167 seteval(S1, R1), 168 sub_s(R, R1) [all...] |