Files
drwxr-xr-x | 0 | root | root | /usr/lib/coq/user-contrib/Flocq |
drwxr-xr-x | 0 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli |
drwxr-xr-x | 0 | root | root | /usr/lib/coq/user-contrib/Flocq/Calc |
drwxr-xr-x | 0 | 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-- | 23884 | root | root | /usr/lib/coq/user-contrib/Flocq/Flocq_version.vo |
drwxr-xr-x | 0 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop |
-rw-r--r-- | 55511 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.v |
-rw-r--r-- | 441805 | 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-- | 171342 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.vo |
-rw-r--r-- | 163780 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.v |
-rw-r--r-- | 1504894 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.vo |
-rw-r--r-- | 27539 | root | root | /usr/lib/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.v |
-rw-r--r-- | 137455 | 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-- | 111397 | 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-- | 39882 | 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-- | 66770 | 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-- | 49639 | 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-- | 146721 | 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-- | 72665 | 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-- | 41813 | 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-- | 46587 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.vo |
-rw-r--r-- | 8411 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.v |
-rw-r--r-- | 120405 | 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-- | 69884 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.vo |
-rw-r--r-- | 8884 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.v |
-rw-r--r-- | 88557 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.vo |
-rw-r--r-- | 51732 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.v |
-rw-r--r-- | 186398 | 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-- | 110366 | 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-- | 41548 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.vo |
-rw-r--r-- | 28249 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.v |
-rw-r--r-- | 153943 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.vo |
-rw-r--r-- | 11136 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.v |
-rw-r--r-- | 63973 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.vo |
-rw-r--r-- | 55268 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.v |
-rw-r--r-- | 204361 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.vo |
-rw-r--r-- | 29153 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.v |
-rw-r--r-- | 105458 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.vo |
-rw-r--r-- | 14605 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.v |
-rw-r--r-- | 101436 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.vo |
-rw-r--r-- | 59475 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.v |
-rw-r--r-- | 225448 | root | root | /usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.vo |
-rw-r--r-- | 4379 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.v |
-rw-r--r-- | 45699 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.vo |
-rw-r--r-- | 9502 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.v |
-rw-r--r-- | 81875 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.vo |
-rw-r--r-- | 6937 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.v |
-rw-r--r-- | 71155 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.vo |
-rw-r--r-- | 15230 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.v |
-rw-r--r-- | 91510 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.vo |
-rw-r--r-- | 21174 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.v |
-rw-r--r-- | 102137 | root | root | /usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.vo |
drwxr-xr-x | 0 | 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-- | 8649 | root | root | /usr/share/doc/coq-flocq/NEWS |
-rw-r--r-- | 405 | root | root | /usr/share/doc/coq-flocq/README |
drwxr-xr-x | 0 | root | root | /usr/share/doc/coq-flocq/html |
-rw-r--r-- | 377466 | 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-- | 89937 | 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-- | 39335 | 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-- | 27048 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_FTZ.html |
-rw-r--r-- | 336087 | 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-- | 76606 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Core.Fcore_float_prop.html |
-rw-r--r-- | 279484 | 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-- | 220771 | 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-- | 27559 | root | root | /usr/share/doc/coq-flocq/html/Flocq.Prop.Fprop_mult_error.html |
-rw-r--r-- | 69224 | 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-- | 572957 | root | root | /usr/share/doc/coq-flocq/html/index.html |
-rw-r--r-- | 6787 | root | root | /usr/share/doc/coq-flocq/html/toc.html |