Files
drwxr-xr-x | 4096 | root | root | /usr/lib/coq/user-contrib/Flocq |
drwxr-xr-x | 4096 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli |
drwxr-xr-x | 4096 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc |
drwxr-xr-x | 4096 | root | root | /usr/lib/coq/user-contrib/Flocq/Core |
-rw-r--r-- | 1119 | root | root | /usr/lib/coq/user-contrib/Flocq/Flocq_version.v |
-rw-r--r-- | 23695 | root | root | /usr/lib/coq/user-contrib/Flocq/Flocq_version.vo |
drwxr-xr-x | 4096 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop |
-rw-r--r-- | 55546 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.v |
-rw-r--r-- | 436914 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.vo |
-rw-r--r-- | 18835 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.v |
-rw-r--r-- | 167348 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.vo |
-rw-r--r-- | 163770 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.v |
-rw-r--r-- | 1633710 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.vo |
-rw-r--r-- | 28055 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.v |
-rw-r--r-- | 132908 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.vo |
-rw-r--r-- | 18023 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_bracket.v |
-rw-r--r-- | 111335 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_bracket.vo |
-rw-r--r-- | 1786 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_digits.v |
-rw-r--r-- | 39726 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_digits.vo |
-rw-r--r-- | 4821 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_div.v |
-rw-r--r-- | 66499 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_div.vo |
-rw-r--r-- | 3881 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_ops.v |
-rw-r--r-- | 49621 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_ops.vo |
-rw-r--r-- | 28420 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_round.v |
-rw-r--r-- | 140726 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_round.vo |
-rw-r--r-- | 6306 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.v |
-rw-r--r-- | 72486 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.vo |
-rw-r--r-- | 985 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore.v |
-rw-r--r-- | 35274 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore.vo |
-rw-r--r-- | 2291 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.v |
-rw-r--r-- | 40037 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.vo |
-rw-r--r-- | 8383 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.v |
-rw-r--r-- | 113728 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.vo |
-rw-r--r-- | 6771 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.v |
-rw-r--r-- | 63377 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.vo |
-rw-r--r-- | 8882 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.v |
-rw-r--r-- | 82061 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.vo |
-rw-r--r-- | 51660 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.v |
-rw-r--r-- | 186228 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.vo |
-rw-r--r-- | 20992 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Zaux.v |
-rw-r--r-- | 110324 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Zaux.vo |
-rw-r--r-- | 3045 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.v |
-rw-r--r-- | 41661 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.vo |
-rw-r--r-- | 28245 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.v |
-rw-r--r-- | 153940 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.vo |
-rw-r--r-- | 11134 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.v |
-rw-r--r-- | 63891 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.vo |
-rw-r--r-- | 56095 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.v |
-rw-r--r-- | 207895 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.vo |
-rw-r--r-- | 29176 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.v |
-rw-r--r-- | 105641 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.vo |
-rw-r--r-- | 14604 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.v |
-rw-r--r-- | 95030 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.vo |
-rw-r--r-- | 61178 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.v |
-rw-r--r-- | 225432 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.vo |
-rw-r--r-- | 4384 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.v |
-rw-r--r-- | 45410 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.vo |
-rw-r--r-- | 9434 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.v |
-rw-r--r-- | 75258 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.vo |
-rw-r--r-- | 6986 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.v |
-rw-r--r-- | 64740 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.vo |
-rw-r--r-- | 7551 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.v |
-rw-r--r-- | 54551 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.vo |
-rw-r--r-- | 21134 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.v |
-rw-r--r-- | 95519 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.vo |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/coq-flocq |
-rw-r--r-- | 88 | root | root | /usr/share/doc/coq-flocq/AUTHORS |
-rw-r--r-- | 7651 | root | root | /usr/share/doc/coq-flocq/COPYING |
-rw-r--r-- | 8415 | root | root | /usr/share/doc/coq-flocq/NEWS |
-rw-r--r-- | 405 | root | root | /usr/share/doc/coq-flocq/README |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/coq-flocq/html |
-rw-r--r-- | 377775 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_IEEE.html |
-rw-r--r-- | 93713 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_IEEE_bits.html |
-rw-r--r-- | 729186 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_double_round.html |
-rw-r--r-- | 89554 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Appli.Fappli_rnd_odd.html |
-rw-r--r-- | 133720 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_bracket.html |
-rw-r--r-- | 7633 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_digits.html |
-rw-r--r-- | 17548 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_div.html |
-rw-r--r-- | 33071 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_ops.html |
-rw-r--r-- | 190098 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_round.html |
-rw-r--r-- | 17454 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Calc.Fcalc_sqrt.html |
-rw-r--r-- | 3620 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore.html |
-rw-r--r-- | 10735 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FIX.html |
-rw-r--r-- | 39226 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FLT.html |
-rw-r--r-- | 29156 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FLX.html |
-rw-r--r-- | 27189 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FTZ.html |
-rw-r--r-- | 336994 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_Raux.html |
-rw-r--r-- | 163236 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_Zaux.html |
-rw-r--r-- | 44204 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_defs.html |
-rw-r--r-- | 147796 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_digits.html |
-rw-r--r-- | 76812 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_float_prop.html |
-rw-r--r-- | 280409 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_generic_fmt.html |
-rw-r--r-- | 182418 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_rnd.html |
-rw-r--r-- | 33808 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_rnd_ne.html |
-rw-r--r-- | 213399 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_ulp.html |
-rw-r--r-- | 6995 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Flocq_version.html |
-rw-r--r-- | 17295 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_Sterbenz.html |
-rw-r--r-- | 21842 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_div_sqrt_error.html |
-rw-r--r-- | 28183 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_mult_error.html |
-rw-r--r-- | 36954 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_plus_error.html |
-rw-r--r-- | 167751 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_relative.html |
-rw-r--r-- | 6005 | root | root | /usr/share/doc/coq-flocq/html/coqdoc.css |
-rw-r--r-- | 565528 | root | root | /usr/share/doc/coq-flocq/html/index.html |
-rw-r--r-- | 6787 | root | root | /usr/share/doc/coq-flocq/html/toc.html |