Index of /xml/Sophia-Antipolis/Float/FroundProp

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]FRoundP/2005-07-05 08:13 -  
[ ]Fulp.con.types.xml.gz2004-04-09 00:30 202  
[ ]Fulp.con.xml.gz2004-04-09 00:30 349  
[ ]Fulp.con.body.xml.gz2004-04-09 00:30 569  
[ ]FulpSucCan_subproof.con.xml.gz2004-04-09 00:30 617  
[ ]FulpLe.con.xml.gz2004-04-09 00:30 644  
[ ]Fulp_zero.con.xml.gz2004-04-09 00:30 648  
[ ]RleMinR0.con.xml.gz2004-04-09 00:31 659  
[ ]RleMaxR0.con.xml.gz2004-04-09 00:31 661  
[ ]RoundedModeBounded.con.xml.gz2004-04-09 00:31 661  
[ ]FulpComp.con.xml.gz2004-04-09 00:30 679  
[ ]RoundedModeProjectorIdem.con.xml.gz2004-04-09 00:31 686  
[ ]FulpSuc.con.xml.gz2004-04-09 00:30 701  
[ ]FulpPred.con.xml.gz2004-04-09 00:30 702  
[ ]FUlp_Le_LSigB.con.xml.gz2004-04-09 00:31 729  
[ ]RleRoundedR0.con.xml.gz2004-04-09 00:31 750  
[ ]FulpSucCan.con.xml.gz2004-04-09 00:30 755  
[ ]isMaxComp.con.xml.gz2004-04-09 00:31 756  
[ ]RleRoundedLessR0.con.xml.gz2004-04-09 00:31 759  
[ ]isMinComp.con.xml.gz2004-04-09 00:31 759  
[ ]FulpPredCan.con.xml.gz2004-04-09 00:30 761  
[ ]MSBtoZero.con.xml.gz2004-04-09 00:31 797  
[ ]RoundedModeUlp.con.xml.gz2004-04-09 00:31 805  
[ ]RleBoundRoundr.con.xml.gz2004-04-09 00:31 836  
[ ]RleBoundRoundl.con.xml.gz2004-04-09 00:31 840  
[ ]MSBisMin.con.xml.gz2004-04-09 00:31 847  
[ ]RoundLSBMax.con.xml.gz2004-04-09 00:31 847  
[ ]RoundedModeProjectorIdemEq.con.xml.gz2004-04-09 00:31 853  
[ ]NroundN.con.xml.gz2004-04-09 00:31 857  
[ ]ZroundZ.con.xml.gz2004-04-09 00:31 864  
[ ]RoundAbsMonotonel.con.xml.gz2004-04-09 00:31 878  
[ ]RoundAbsMonotoner.con.xml.gz2004-04-09 00:31 879  
[ ]RoundedModeMult.con.xml.gz2004-04-09 00:31 888  
[ ]RoundedModeMultLess.con.xml.gz2004-04-09 00:31 890  
[ ]FulpLe_subproof.con.xml.gz2004-04-09 00:30 933  
[ ]RoundedModeMultAbs.con.xml.gz2004-04-09 00:31 953  
[ ]roundedModeLessMult.con.xml.gz2004-04-09 00:31 1.0K 
[ ]roundedModeMoreMult.con.xml.gz2004-04-09 00:31 1.0K 
[ ]RoundMSBmin.con.xml.gz2004-04-09 00:31 1.0K 
[ ]RoundMSBmax_subproof.con.xml.gz2004-04-09 00:31 1.0K 
[ ]RoundMSBmin_subproof.con.xml.gz2004-04-09 00:31 1.0K 
[ ]MSBBoundNotZero.con.xml.gz2004-04-09 00:31 1.0K 
[ ]RoundMSBmax.con.xml.gz2004-04-09 00:31 1.0K 
[ ]roundedModeAbsMult.con.xml.gz2004-04-09 00:31 1.0K 
[ ]RoundedModeErrorExpStrict_subproof.con.xml.gz2004-04-09 00:31 1.0K 
[ ]div2IsBetween.con.xml.gz2004-04-09 00:31 1.0K 
[ ]RoundedModeErrorExpStrict.con.xml.gz2004-04-09 00:31 1.0K 
[ ]PminPos.con.xml.gz2004-04-09 00:31 1.0K 
[ ]div2IsBetweenPos.con.xml.gz2004-04-09 00:31 1.1K 
[ ]MSBBoundNotZero_subproof0.con.xml.gz2004-04-09 00:31 1.2K 
[ ]MSBBoundNotZero_subproof1.con.xml.gz2004-04-09 00:31 1.3K 
[ ]MSBBoundNotZero_subproof2.con.xml.gz2004-04-09 00:31 1.3K 
[ ]MSBBoundNotZero_subproof.con.xml.gz2004-04-09 00:31 1.3K 
[ ]PminPos_subproof.con.xml.gz2004-04-09 00:31 1.4K 
[ ]InBinade_subproof0.con.xml.gz2004-04-09 00:31 1.5K 
[ ]roundedModeLessMult_subproof1.con.xml.gz2004-04-09 00:31 1.5K 
[ ]InBinade.con.xml.gz2004-04-09 00:31 1.5K 
[ ]roundedModeMoreMult_subproof1.con.xml.gz2004-04-09 00:31 1.6K 
[ ]InBinade_subproof.con.xml.gz2004-04-09 00:31 2.0K 
[ ]RoundedModeProjectorIdemEq.con.body.xml.gz2004-04-09 00:31 2.1K 
[ ]FulpSuc.con.body.xml.gz2004-04-09 00:30 2.1K 
[ ]FulpPred.con.body.xml.gz2004-04-09 00:30 2.2K 
[ ]roundedModeMoreMult_subproof0.con.xml.gz2004-04-09 00:31 2.3K 
[ ]roundedModeLessMult_subproof0.con.xml.gz2004-04-09 00:31 2.3K 
[ ]roundedModeMoreMult_subproof.con.xml.gz2004-04-09 00:31 2.3K 
[ ]roundedModeLessMult_subproof.con.xml.gz2004-04-09 00:31 2.3K 
[ ]RleRoundedLessR0.con.body.xml.gz2004-04-09 00:31 2.4K 
[ ]RleRoundedR0.con.body.xml.gz2004-04-09 00:31 2.4K 
[ ]RoundedModeProjectorIdemEq.con.types.xml.gz2004-04-09 00:31 2.4K 
[ ]RleRoundedR0.con.types.xml.gz2004-04-09 00:31 2.4K 
[ ]RleRoundedLessR0.con.types.xml.gz2004-04-09 00:31 2.4K 
[ ]RleBoundRoundr.con.body.xml.gz2004-04-09 00:31 2.5K 
[ ]FulpSuc.con.types.xml.gz2004-04-09 00:30 2.5K 
[ ]FulpPred.con.types.xml.gz2004-04-09 00:30 2.5K 
[ ]RleBoundRoundl.con.body.xml.gz2004-04-09 00:31 2.6K 
[ ]FulpComp.con.types.xml.gz2004-04-09 00:30 2.6K 
[ ]RoundedModeProjectorIdem.con.body.xml.gz2004-04-09 00:31 2.6K 
[ ]Fulp_zero.con.body.xml.gz2004-04-09 00:30 2.6K 
[ ]FulpComp.con.body.xml.gz2004-04-09 00:30 2.7K 
[ ]RoundedModeProjectorIdem.con.types.xml.gz2004-04-09 00:31 2.9K 
[ ]ZroundZ.con.body.xml.gz2004-04-09 00:31 2.9K 
[ ]RoundedModeBounded.con.body.xml.gz2004-04-09 00:31 3.0K 
[ ]NroundN.con.types.xml.gz2004-04-09 00:31 3.0K 
[ ]RleBoundRoundr.con.types.xml.gz2004-04-09 00:31 3.0K 
[ ]NroundN.con.body.xml.gz2004-04-09 00:31 3.1K 
[ ]RoundAbsMonotoner.con.types.xml.gz2004-04-09 00:31 3.1K 
[ ]RleBoundRoundl.con.types.xml.gz2004-04-09 00:31 3.1K 
[ ]RoundAbsMonotonel.con.types.xml.gz2004-04-09 00:31 3.1K 
[ ]FulpLe.con.body.xml.gz2004-04-09 00:30 3.6K 
[ ]INDEX2005-07-05 08:12 3.6K 
[ ]RoundedModeBounded.con.types.xml.gz2004-04-09 00:31 3.6K 
[ ]ZroundZ.con.types.xml.gz2004-04-09 00:31 3.6K 
[ ]MSBtoZero.con.types.xml.gz2004-04-09 00:31 3.6K 
[ ]RoundAbsMonotoner.con.body.xml.gz2004-04-09 00:31 3.7K 
[ ]RoundAbsMonotonel.con.body.xml.gz2004-04-09 00:31 3.7K 
[ ]RleMinR0.con.body.xml.gz2004-04-09 00:31 3.8K 
[ ]MSBtoZero.con.body.xml.gz2004-04-09 00:31 3.8K 
[ ]RleMaxR0.con.body.xml.gz2004-04-09 00:31 3.8K 
[ ]RoundMSBmax.con.body.xml.gz2004-04-09 00:31 3.8K 
[ ]RoundMSBmax.con.types.xml.gz2004-04-09 00:31 3.9K 
[ ]RleMaxR0.con.types.xml.gz2004-04-09 00:31 3.9K 
[ ]RoundLSBMax.con.body.xml.gz2004-04-09 00:31 3.9K 
[ ]RleMinR0.con.types.xml.gz2004-04-09 00:31 4.0K 
[ ]roundedModeLessMult_subproof1.con.types.xml.gz2004-04-09 00:31 4.7K 
[ ]roundedModeMoreMult_subproof1.con.types.xml.gz2004-04-09 00:31 4.7K 
[ ]FulpSucCan_subproof.con.types.xml.gz2004-04-09 00:30 4.8K 
[ ]RoundLSBMax.con.types.xml.gz2004-04-09 00:31 4.8K 
[ ]RoundedModeErrorExpStrict.con.body.xml.gz2004-04-09 00:31 4.9K 
[ ]PminPos_subproof.con.types.xml.gz2004-04-09 00:31 4.9K 
[ ]RoundedModeErrorExpStrict.con.types.xml.gz2004-04-09 00:31 5.0K 
[ ]RoundedModeErrorExpStrict_subproof.con.types.xml.gz2004-04-09 00:31 5.2K 
[ ]FulpSucCan_subproof.con.body.xml.gz2004-04-09 00:30 5.6K 
[ ]roundedModeLessMult_subproof1.con.body.xml.gz2004-04-09 00:31 5.6K 
[ ]roundedModeMoreMult_subproof1.con.body.xml.gz2004-04-09 00:31 5.6K 
[ ]Fulp_zero.con.types.xml.gz2004-04-09 00:30 5.7K 
[ ]RoundMSBmax_subproof.con.types.xml.gz2004-04-09 00:31 5.9K 
[ ]RoundMSBmin_subproof.con.types.xml.gz2004-04-09 00:31 5.9K 
[ ]PminPos_subproof.con.body.xml.gz2004-04-09 00:31 6.0K 
[ ]RoundedModeErrorExpStrict_subproof.con.body.xml.gz2004-04-09 00:31 6.0K 
[ ]isMinComp.con.body.xml.gz2004-04-09 00:31 6.1K 
[ ]isMaxComp.con.body.xml.gz2004-04-09 00:31 6.1K 
[ ]MSBBoundNotZero_subproof1.con.types.xml.gz2004-04-09 00:31 6.1K 
[ ]MSBBoundNotZero_subproof.con.types.xml.gz2004-04-09 00:31 6.1K 
[ ]MSBBoundNotZero_subproof0.con.types.xml.gz2004-04-09 00:31 6.1K 
[ ]MSBBoundNotZero_subproof2.con.types.xml.gz2004-04-09 00:31 6.1K 
[ ]isMinComp.con.types.xml.gz2004-04-09 00:31 6.2K 
[ ]isMaxComp.con.types.xml.gz2004-04-09 00:31 6.2K 
[ ]InBinade_subproof0.con.types.xml.gz2004-04-09 00:31 6.2K 
[ ]FUlp_Le_LSigB.con.body.xml.gz2004-04-09 00:31 6.3K 
[ ]roundedModeLessMult_subproof0.con.types.xml.gz2004-04-09 00:31 6.3K 
[ ]roundedModeLessMult_subproof.con.types.xml.gz2004-04-09 00:31 6.3K 
[ ]roundedModeMoreMult_subproof.con.types.xml.gz2004-04-09 00:31 6.4K 
[ ]roundedModeMoreMult_subproof0.con.types.xml.gz2004-04-09 00:31 6.4K 
[ ]FulpLe.con.types.xml.gz2004-04-09 00:30 6.6K 
[ ]InBinade_subproof.con.types.xml.gz2004-04-09 00:31 6.7K 
[ ]roundedModeAbsMult.con.types.xml.gz2004-04-09 00:31 7.3K 
[ ]roundedModeAbsMult.con.body.xml.gz2004-04-09 00:31 7.4K 
[ ]roundedModeLessMult_subproof0.con.body.xml.gz2004-04-09 00:31 7.4K 
[ ]roundedModeLessMult_subproof.con.body.xml.gz2004-04-09 00:31 7.4K 
[ ]roundedModeMoreMult_subproof.con.body.xml.gz2004-04-09 00:31 7.4K 
[ ]roundedModeMoreMult_subproof0.con.body.xml.gz2004-04-09 00:31 7.4K 
[ ]MSBisMin.con.body.xml.gz2004-04-09 00:31 7.5K 
[ ]RoundMSBmin_subproof.con.body.xml.gz2004-04-09 00:31 7.5K 
[ ]RoundMSBmax_subproof.con.body.xml.gz2004-04-09 00:31 7.5K 
[ ]InBinade_subproof0.con.body.xml.gz2004-04-09 00:31 7.6K 
[ ]FulpSucCan.con.types.xml.gz2004-04-09 00:30 7.6K 
[ ]RoundedModeMult.con.body.xml.gz2004-04-09 00:31 7.6K 
[ ]MSBBoundNotZero_subproof0.con.body.xml.gz2004-04-09 00:31 7.8K 
[ ]MSBBoundNotZero_subproof1.con.body.xml.gz2004-04-09 00:31 7.8K 
[ ]MSBBoundNotZero_subproof.con.body.xml.gz2004-04-09 00:31 7.8K 
[ ]RoundedModeMultLess.con.body.xml.gz2004-04-09 00:31 7.8K 
[ ]MSBBoundNotZero_subproof2.con.body.xml.gz2004-04-09 00:31 7.8K 
[ ]FulpPredCan.con.types.xml.gz2004-04-09 00:30 7.9K 
[ ]FulpSucCan.con.body.xml.gz2004-04-09 00:30 8.1K 
[ ]MSBisMin.con.types.xml.gz2004-04-09 00:31 8.1K 
[ ]FulpPredCan.con.body.xml.gz2004-04-09 00:30 8.2K 
[ ]InBinade_subproof.con.body.xml.gz2004-04-09 00:31 8.2K 
[ ]FulpLe_subproof.con.types.xml.gz2004-04-09 00:30 8.9K 
[ ]RoundedModeMultLess.con.types.xml.gz2004-04-09 00:31 9.0K 
[ ]RoundedModeMult.con.types.xml.gz2004-04-09 00:31 9.3K 
[ ]RoundedModeMultAbs.con.body.xml.gz2004-04-09 00:31 10K 
[ ]FUlp_Le_LSigB.con.types.xml.gz2004-04-09 00:31 10K 
[ ]RoundedModeMultAbs.con.types.xml.gz2004-04-09 00:31 11K 
[ ]FulpLe_subproof.con.body.xml.gz2004-04-09 00:30 11K 
[ ]RoundMSBmin.con.body.xml.gz2004-04-09 00:31 14K 
[ ]div2IsBetween.con.body.xml.gz2004-04-09 00:31 15K 
[ ]div2IsBetween.con.types.xml.gz2004-04-09 00:31 17K 
[ ]RoundedModeUlp.con.body.xml.gz2004-04-09 00:31 18K 
[ ]MSBBoundNotZero.con.body.xml.gz2004-04-09 00:31 19K 
[ ]RoundedModeUlp.con.types.xml.gz2004-04-09 00:31 20K 
[ ]MSBBoundNotZero.con.types.xml.gz2004-04-09 00:31 22K 
[ ]RoundMSBmin.con.types.xml.gz2004-04-09 00:31 26K 
[ ]InBinade.con.body.xml.gz2004-04-09 00:31 28K 
[ ]roundedModeLessMult.con.body.xml.gz2004-04-09 00:31 29K 
[ ]roundedModeLessMult.con.types.xml.gz2004-04-09 00:31 31K 
[ ]InBinade.con.types.xml.gz2004-04-09 00:31 32K 
[ ]roundedModeMoreMult.con.body.xml.gz2004-04-09 00:31 38K 
[ ]div2IsBetweenPos.con.body.xml.gz2004-04-09 00:31 39K 
[ ]roundedModeMoreMult.con.types.xml.gz2004-04-09 00:31 39K 
[ ]div2IsBetweenPos.con.types.xml.gz2004-04-09 00:31 42K 
[ ]PminPos.con.body.xml.gz2004-04-09 00:31 76K 
[ ]PminPos.con.types.xml.gz2004-04-09 00:31 85K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80