All releases of Interval arithmetic for Ada

  •  12 Jun 2014 20:11
Avatar

    Release Notes: This version is compiled with GNAT 4.9.

    •  13 Feb 2012 17:43
    Avatar

      Release Notes: This version is packaged for Fedora and Debian 32- and 64-bit x86 architectures.

      •  16 Apr 2010 10:19
      Avatar

        Release Notes: Rounding behavior was changed in the case when a boundary is exact zero. It is left as is, even if the machine rounds, because rounding cannot change the sign.

        •  14 Jun 2009 11:55
        Avatar

          Release Notes: Installation instructions were added.

          •  07 Jul 2008 23:04
          Avatar

            Release Notes: The dimensioned intervals are not based on the version 2.8 of Units of Measurements for Ada. A bug is fixed in Get_Value_As for dimensioned intervals.

            •  16 Aug 2007 21:08
            Avatar

              Release Notes: This version is based on measurement units for Ada v 2.4. For GNAT Ada compiler users, GPS project files were included in two variants: with and without GTK+ support.

              •  11 May 2005 21:05
              Avatar

                Release Notes: Exponentiation operation was added. Documentation errors have been fixed. The functions Distance and Length now return an upper bound of the precise result. Is_In for operands of different units returns false. All operations were reviewed to contain the precise result where possible. Based on measurement units for Ada 2.0.

                •  28 Apr 2005 20:58
                Avatar

                  Release Notes: Dimensioned intervals are supported now.

                  •  20 Mar 2004 23:05
                  Avatar

                    Release Notes: The wording of the license texts was changed to comply with the GMGPL license.

                    Screenshot

                    Project Spotlight

                    episoder

                    A tool to tell you about new episodes of your favourite TV shows.

                    Screenshot

                    Project Spotlight

                    BalanceNG

                    A modern software IP load balancer.