Tree @HEAD (Download .tar.gz)

• debian
• .gitignore
• AllFloat.v
• Closest.v
• Closest2Plus.v
• Closest2Prop.v
• ClosestMult.v
• ClosestPlus.v
• ClosestProp.v
• description
• Digit.v
• Faux.v
• Fbound.v
• Fcomp.v
• Finduct.v
• Float.v
• Fmin.v
• Fnorm.v
• Fodd.v
• Fop.v
• FPred.v
• Fprop.v
• Fround.v
• FroundMult.v
• FroundPlus.v
• FroundProp.v
• FSucc.v
• LICENSE
• Make
• Makefile
• MSB.v
• MSBProp.v
• Option.v
• Paux.v
• Power.v
• README
• Rpow.v
• sTactic.v
• Zdivides.v
• Zenum.v