Index of /xml/Lyon/IEEE754/Diadic

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Deq_x_shift_x.con.types.xml.gz2004-04-08 18:35 21K 
[ ]Deq_x_shift_x.con.body.xml.gz2004-04-08 18:35 19K 
[ ]Dcompare_zero.con.body.xml.gz2004-04-08 18:35 7.2K 
[ ]ZROUND_sup_spec.con.body.xml.gz2004-04-08 18:35 6.8K 
[ ]Dcompare_zero.con.types.xml.gz2004-04-08 18:35 6.1K 
[ ]ZROUND_correct.con.body.xml.gz2004-04-08 18:35 4.8K 
[ ]ZROUND_sup_spec.con.types.xml.gz2004-04-08 18:35 4.0K 
[ ]ZROUND.con.body.xml.gz2004-04-08 18:35 3.7K 
[ ]Dcompare_shift.con.types.xml.gz2004-04-08 18:35 3.4K 
[ ]Dcompare_shift.con.body.xml.gz2004-04-08 18:35 3.3K 
[ ]ZROUND_inf_spec.con.body.xml.gz2004-04-08 18:35 3.1K 
[ ]INDEX2005-07-05 08:11 2.5K 
[ ]ZROUND_correct.con.xml.gz2004-04-08 18:35 2.2K 
[ ]ROUND.con.body.xml.gz2004-04-08 18:35 2.1K 
[ ]ZROUND_inf_spec.con.types.xml.gz2004-04-08 18:35 1.8K 
[ ]Dlt_Zlt.con.types.xml.gz2004-04-08 18:35 1.7K 
[ ]Dgt_Zgt.con.types.xml.gz2004-04-08 18:35 1.7K 
[ ]Dge_Zge.con.types.xml.gz2004-04-08 18:35 1.7K 
[ ]Dle_Zle.con.types.xml.gz2004-04-08 18:35 1.7K 
[ ]Dge_Zge.con.body.xml.gz2004-04-08 18:35 1.6K 
[ ]Dlt_Zlt.con.body.xml.gz2004-04-08 18:35 1.6K 
[ ]Dle_Zle.con.body.xml.gz2004-04-08 18:35 1.6K 
[ ]Dgt_Zgt.con.body.xml.gz2004-04-08 18:35 1.6K 
[ ]Dle_refl.con.types.xml.gz2004-04-08 18:35 1.4K 
[ ]ROUND_spec.con.xml.gz2004-04-08 18:35 1.3K 
[ ]Dproj.con.body.xml.gz2004-04-08 18:35 1.2K 
[ ]Deq_shift.con.types.xml.gz2004-04-08 18:35 1.2K 
[ ]eq_Deq.con.types.xml.gz2004-04-08 18:35 1.2K 
[ ]eq_Deq.con.body.xml.gz2004-04-08 18:35 1.1K 
[ ]ZROUND_inf.con.body.xml.gz2004-04-08 18:35 1.0K 
[ ]ZROUND_sup.con.body.xml.gz2004-04-08 18:35 1.0K 
[ ]Deq_shift.con.body.xml.gz2004-04-08 18:35 939  
[ ]ANTIROUND.con.body.xml.gz2004-04-08 18:35 825  
[ ]Dle_refl.con.body.xml.gz2004-04-08 18:35 821  
[ ]Dadd.con.body.xml.gz2004-04-08 18:35 776  
[ ]Dcompare.con.body.xml.gz2004-04-08 18:35 730  
[ ]rounding_mode_rect.con.body.xml.gz2004-04-08 18:35 728  
[ ]diadic_rect.con.body.xml.gz2004-04-08 18:35 683  
[ ]rounding_mode_ind.con.types.xml.gz2004-04-08 18:35 675  
[ ]diadic_ind.con.types.xml.gz2004-04-08 18:35 673  
[ ]ZROUND_inf_spec.con.xml.gz2004-04-08 18:35 660  
[ ]ZROUND_sup_spec.con.xml.gz2004-04-08 18:35 642  
[ ]Deq_x_shift_x.con.xml.gz2004-04-08 18:35 615  
[ ]Dlt_bool.con.body.xml.gz2004-04-08 18:35 558  
[ ]Dneq_bool.con.body.xml.gz2004-04-08 18:35 557  
[ ]Dge_bool.con.body.xml.gz2004-04-08 18:35 557  
[ ]Deq_bool.con.body.xml.gz2004-04-08 18:35 556  
[ ]Dle_bool.con.body.xml.gz2004-04-08 18:35 555  
[ ]Dgt_bool.con.body.xml.gz2004-04-08 18:35 555  
[ ]Dcompare_zero.con.xml.gz2004-04-08 18:35 555  
[ ]diadic_ind.con.xml.gz2004-04-08 18:35 552  
[ ]Dcompare_shift.con.xml.gz2004-04-08 18:35 552  
[ ]Dlt.con.body.xml.gz2004-04-08 18:35 549  
[ ]diadic_rec.con.xml.gz2004-04-08 18:35 548  
[ ]Dneq.con.body.xml.gz2004-04-08 18:35 548  
[ ]Dge.con.body.xml.gz2004-04-08 18:35 548  
[ ]Deq.con.body.xml.gz2004-04-08 18:35 546  
[ ]Dgt.con.body.xml.gz2004-04-08 18:35 545  
[ ]Dle.con.body.xml.gz2004-04-08 18:35 544  
[ ]diadic_rect.con.xml.gz2004-04-08 18:35 542  
[ ]rounding_mode_ind.con.xml.gz2004-04-08 18:35 532  
[ ]rounding_mode_rect.con.xml.gz2004-04-08 18:35 528  
[ ]rounding_mode_rec.con.xml.gz2004-04-08 18:35 525  
[ ]NEG_ROUND.con.body.xml.gz2004-04-08 18:35 524  
[ ]Dle_Zle.con.xml.gz2004-04-08 18:35 524  
[ ]Dge_Zge.con.xml.gz2004-04-08 18:35 524  
[ ]Dlt_Zlt.con.xml.gz2004-04-08 18:35 523  
[ ]Dgt_Zgt.con.xml.gz2004-04-08 18:35 523  
[ ]POS_ROUND.con.body.xml.gz2004-04-08 18:35 509  
[ ]Dmult.con.body.xml.gz2004-04-08 18:35 508  
[ ]Deq_shift.con.xml.gz2004-04-08 18:35 507  
[ ]Dpred.con.body.xml.gz2004-04-08 18:35 493  
[ ]Dexp.con.body.xml.gz2004-04-08 18:35 493  
[ ]Rounding_mode_opp.con.body.xml.gz2004-04-08 18:35 492  
[ ]Dsucc.con.body.xml.gz2004-04-08 18:35 492  
[ ]Dnum.con.body.xml.gz2004-04-08 18:35 491  
[ ]Dshift.con.body.xml.gz2004-04-08 18:35 478  
[ ]Dopp.con.body.xml.gz2004-04-08 18:35 444  
[ ]Dabs.con.body.xml.gz2004-04-08 18:35 444  
[ ]is_Dzero.con.body.xml.gz2004-04-08 18:35 441  
[ ]eq_Deq.con.xml.gz2004-04-08 18:35 441  
[ ]Ddouble.con.body.xml.gz2004-04-08 18:35 431  
[ ]rounding_mode_ind.con.body.xml.gz2004-04-08 18:35 428  
[ ]rounding_mode_rec.con.body.xml.gz2004-04-08 18:35 425  
[ ]Dle_refl.con.xml.gz2004-04-08 18:35 424  
[ ]diadic_ind.con.body.xml.gz2004-04-08 18:35 413  
[ ]diadic_rec.con.body.xml.gz2004-04-08 18:35 410  
[ ]Dminus.con.body.xml.gz2004-04-08 18:35 403  
[ ]diadic.ind.xml.gz2004-04-08 18:35 392  
[ ]Dzero.con.body.xml.gz2004-04-08 18:35 391  
[ ]ZROUND_correct.con.types.xml.gz2004-04-08 18:35 368  
[ ]Dproj.con.xml.gz2004-04-08 18:35 364  
[ ]rounding_mode.ind.xml.gz2004-04-08 18:35 357  
[ ]Dsqrt.con.xml.gz2004-04-08 18:35 347  
[ ]ZROUND.con.xml.gz2004-04-08 18:35 340  
[ ]NEG_ROUND.con.xml.gz2004-04-08 18:35 340  
[ ]POS_ROUND.con.xml.gz2004-04-08 18:35 339  
[ ]ANTIROUND.con.xml.gz2004-04-08 18:35 338  
[ ]ROUND.con.xml.gz2004-04-08 18:35 331  
[ ]Ddiv.con.xml.gz2004-04-08 18:35 330  
[ ]ZROUND_sup.con.xml.gz2004-04-08 18:35 315  
[ ]ZROUND_inf.con.xml.gz2004-04-08 18:35 315  
[ ]Dneq_bool.con.xml.gz2004-04-08 18:35 314  
[ ]Dcompare.con.xml.gz2004-04-08 18:35 314  
[ ]Deq_bool.con.xml.gz2004-04-08 18:35 313  
[ ]Dlt_bool.con.xml.gz2004-04-08 18:35 312  
[ ]Dle_bool.con.xml.gz2004-04-08 18:35 312  
[ ]Dgt_bool.con.xml.gz2004-04-08 18:35 312  
[ ]Dge_bool.con.xml.gz2004-04-08 18:35 312  
[ ]Dshift.con.xml.gz2004-04-08 18:35 308  
[ ]Rounding_mode_opp.con.xml.gz2004-04-08 18:35 304  
[ ]Dneq.con.xml.gz2004-04-08 18:35 302  
[ ]Dlt.con.xml.gz2004-04-08 18:35 301  
[ ]Deq.con.xml.gz2004-04-08 18:35 301  
[ ]is_Dzero.con.xml.gz2004-04-08 18:35 300  
[ ]Dle.con.xml.gz2004-04-08 18:35 300  
[ ]Dgt.con.xml.gz2004-04-08 18:35 300  
[ ]Dge.con.xml.gz2004-04-08 18:35 300  
[ ]Dzero.con.xml.gz2004-04-08 18:35 296  
[ ]Dnum.con.xml.gz2004-04-08 18:35 295  
[ ]Dexp.con.xml.gz2004-04-08 18:35 295  
[ ]Dminus.con.xml.gz2004-04-08 18:35 292  
[ ]Dmult.con.xml.gz2004-04-08 18:35 289  
[ ]Dadd.con.xml.gz2004-04-08 18:35 288  
[ ]Ddouble.con.xml.gz2004-04-08 18:35 285  
[ ]Dsucc.con.xml.gz2004-04-08 18:35 281  
[ ]Dpred.con.xml.gz2004-04-08 18:35 281  
[ ]Dopp.con.xml.gz2004-04-08 18:35 280  
[ ]Dabs.con.xml.gz2004-04-08 18:35 280  
[ ]rounding_mode_rect.con.types.xml.gz2004-04-08 18:35 218  
[ ]rounding_mode_rec.con.types.xml.gz2004-04-08 18:35 216  
[ ]Rounding_mode_opp.con.types.xml.gz2004-04-08 18:35 216  
[ ]rounding_mode.ind.types.xml.gz2004-04-08 18:35 208  
[ ]diadic_rect.con.types.xml.gz2004-04-08 18:35 205  
[ ]ZROUND_sup.con.types.xml.gz2004-04-08 18:35 205  
[ ]ZROUND_inf.con.types.xml.gz2004-04-08 18:35 205  
[ ]ROUND_spec.con.types.xml.gz2004-04-08 18:35 205  
[ ]NEG_ROUND.con.types.xml.gz2004-04-08 18:35 204  
[ ]diadic_rec.con.types.xml.gz2004-04-08 18:35 203  
[ ]POS_ROUND.con.types.xml.gz2004-04-08 18:35 203  
[ ]ANTIROUND.con.types.xml.gz2004-04-08 18:35 203  
[ ]Dneq_bool.con.types.xml.gz2004-04-08 18:35 202  
[ ]is_Dzero.con.types.xml.gz2004-04-08 18:35 201  
[ ]Deq_bool.con.types.xml.gz2004-04-08 18:35 201  
[ ]Dlt_bool.con.types.xml.gz2004-04-08 18:35 200  
[ ]Dle_bool.con.types.xml.gz2004-04-08 18:35 200  
[ ]Dgt_bool.con.types.xml.gz2004-04-08 18:35 200  
[ ]Dge_bool.con.types.xml.gz2004-04-08 18:35 200  
[ ]Dcompare.con.types.xml.gz2004-04-08 18:35 200  
[ ]ZROUND.con.types.xml.gz2004-04-08 18:35 198  
[ ]Ddouble.con.types.xml.gz2004-04-08 18:35 198  
[ ]ROUND.con.types.xml.gz2004-04-08 18:35 196  
[ ]Dshift.con.types.xml.gz2004-04-08 18:35 196  
[ ]Dminus.con.types.xml.gz2004-04-08 18:35 196  
[ ]diadic.ind.types.xml.gz2004-04-08 18:35 195  
[ ]Dzero.con.types.xml.gz2004-04-08 18:35 195  
[ ]Dsqrt.con.types.xml.gz2004-04-08 18:35 195  
[ ]Dproj.con.types.xml.gz2004-04-08 18:35 195  
[ ]Dsucc.con.types.xml.gz2004-04-08 18:35 194  
[ ]Dpred.con.types.xml.gz2004-04-08 18:35 194  
[ ]Dmult.con.types.xml.gz2004-04-08 18:35 194  
[ ]Dopp.con.types.xml.gz2004-04-08 18:35 193  
[ ]Dneq.con.types.xml.gz2004-04-08 18:35 193  
[ ]Dexp.con.types.xml.gz2004-04-08 18:35 193  
[ ]Dadd.con.types.xml.gz2004-04-08 18:35 193  
[ ]Dabs.con.types.xml.gz2004-04-08 18:35 193  
[ ]Dnum.con.types.xml.gz2004-04-08 18:35 192  
[ ]Ddiv.con.types.xml.gz2004-04-08 18:35 192  
[ ]Dlt.con.types.xml.gz2004-04-08 18:35 191  
[ ]Dle.con.types.xml.gz2004-04-08 18:35 191  
[ ]Dgt.con.types.xml.gz2004-04-08 18:35 191  
[ ]Dge.con.types.xml.gz2004-04-08 18:35 191  
[ ]Deq.con.types.xml.gz2004-04-08 18:35 191  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80