Projects / barvinok / Releases

RSS All releases of barvinok

  •  15 Apr 2014 21:24

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

    •  03 Dec 2012 22:14

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

      •  18 Dec 2011 17:20

        Release Notes: This release drops omega and includes pet.

        •  14 Jul 2011 21:25

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

          •  19 Mar 2011 01:28

            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 11:36

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

              •  11 Sep 2010 11:44

                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 22:16

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

                  •  11 Mar 2010 11:47

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

                    •  22 Jul 2009 15:04

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

                      Screenshot

                      Project Spotlight

                      r6rs-protobuf

                      Protocol Buffers for R6RS Scheme.

                      Screenshot

                      Project Spotlight

                      Ada EL

                      A library which implements an expression language similar to JSP and JSF.