-rw-r--r-- | 1098 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Flocq_version.v
|
-rw-r--r-- | 45212 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.v
|
-rw-r--r-- | 14379 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.v
|
-rw-r--r-- | 18023 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_bracket.v
|
-rw-r--r-- | 9412 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_digits.v
|
-rw-r--r-- | 4821 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_div.v
|
-rw-r--r-- | 3839 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_ops.v
|
-rw-r--r-- | 28385 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_round.v
|
-rw-r--r-- | 9031 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.v
|
-rw-r--r-- | 985 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore.v
|
-rw-r--r-- | 1991 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.v
|
-rw-r--r-- | 6140 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.v
|
-rw-r--r-- | 5736 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.v
|
-rw-r--r-- | 8366 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.v
|
-rw-r--r-- | 35369 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.v
|
-rw-r--r-- | 15352 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_Zaux.v
|
-rw-r--r-- | 3045 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.v
|
-rw-r--r-- | 21796 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.v
|
-rw-r--r-- | 10833 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.v
|
-rw-r--r-- | 43675 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.v
|
-rw-r--r-- | 29170 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.v
|
-rw-r--r-- | 14061 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.v
|
-rw-r--r-- | 26441 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.v
|
-rw-r--r-- | 4384 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.v
|
-rw-r--r-- | 9358 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.v
|
-rw-r--r-- | 6960 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.v
|
-rw-r--r-- | 6590 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.v
|
-rw-r--r-- | 18448 | root |
root |
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.v
|