Projects / barvinok / Releases

All releases of barvinok

  •  15 Apr 2014 17:51
Avatar

    Release Notes: This release supports NTL 6.0.0 and fixes some minor bugs.

    •  03 Dec 2012 11:52
    Avatar

      Release Notes: This release drops the cloog submodule in favor of the AST generator in isl.

      •  18 Dec 2011 13:44
      Avatar

        Release Notes: This release drops omega and includes pet.

        •  14 Jul 2011 19:39
        Avatar

          Release Notes: This release includes CLooG in the main distribution.

          •  18 Mar 2011 23:04
          Avatar

            Release Notes: This release further improves the iscc calculator and drops the piplib submodule. The barvinok_bound and barvinok_summate applications now accept input in isl notation.

            •  13 Sep 2010 10:48
            Avatar

              Release Notes: This releases fixes a small but annoying bug in iscc.

              •  10 Sep 2010 15:25
              Avatar

                Release Notes: This release mainly improves the iscc calculator. The calculator now operates on union sets and maps and supports a codegen operation if CLooG is available.

                •  29 Jun 2010 17:32
                Avatar

                  Release Notes: This release drops the Bernstein library and the Omega calculator in favor of similar functionality in isl.

                  •  11 Mar 2010 08:48
                  Avatar

                    Release Notes: This release adds a new isl-based calculator and fixes some minor bugs.

                    •  22 Jul 2009 14:11
                    Avatar

                      Release Notes: This release fixes some minor bugs and includes a more efficient implementation of the Laurent expansion based weighted counting.

                      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.