2010-09-10 Sven Verdoolaegebarvinok 0.32barvinok-0.32
2010-09-10 Sven Verdoolaegeiscc: add lexicographic operators
2010-09-10 Sven Verdoolaegeupdate isl to version 0.04
2010-09-07 Sven Verdoolaegeiscc: add "source" operation
2010-09-06 Sven Verdoolaegeiscc: add support for strings
2010-09-06 Sven Verdoolaegeiscc: print error message on use of unknown identifier
2010-09-06 Sven Verdoolaegeiscc: support union sets in vertices operation
2010-09-06 Sven Verdoolaegeadd isl_list_concat
2010-09-05 Sven Verdoolaegebarvinok_bound: use isl to split periods
2010-09-05 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_split_periods
2010-08-31 Sven Verdoolaegedoc: mark PolyLib interface obsolescent
2010-08-31 Sven drop references to obsolete @bv_barvinok_b...
2010-08-31 Sven evalue_print_isl: print end-of-line
2010-08-30 Sven Verdoolaegeiscc: allow coercion of binary list into first element
2010-08-28 Sven Verdoolaegebarvinok_bound: convert to isl_pw_qpolynomial once
2010-08-28 Sven Verdoolaegebarvinok_bound: use isl to split on domain size
2010-08-26 Sven Verdoolaegeset sensible defaults with --polynomial-approximation...
2010-08-26 Sven Verdoolaegeisl_pw_qpolynomial_sum: reuse barvinok_options if avail...
2010-08-26 Sven Verdoolaegeisl_map_card: reuse barvinok_options if available in...
2010-08-26 Sven Verdoolaegeupdate isl for aligning parameters of union arguments...
2010-08-18 Sven Verdoolaegeiscc: add "join" operation on folds
2010-08-18 Sven Verdoolaegeiscc: add "join" operation on maps and folds
2010-08-18 Sven Verdoolaegeiscc: support addition on a pair of a fold and a quasip...
2010-08-18 Sven Verdoolaegeupdate isl for adding types to isl_{union_,}pw_qpolynom...
2010-08-18 Sven Verdoolaegeallow codegen on sets
2010-08-18 Sven Verdoolaegeiscc: codegen: detect strides
2010-08-18 Sven Verdoolaegeiscc: use simplified CLooG interface
2010-08-18 Sven Verdoolaegeupdate isl for rename of isl_pw_qpolynomial_fold_add
2010-08-18 Sven Verdoolaegeiscc.c: union_pw_qpolynomial_upper_bound: fix memory...
2010-08-18 Sven Verdoolaegesummate.c: fix typo in comment
2010-08-17 Sven Verdoolaegeisl_map_apply_pw_qpolynomial: fix typo
2010-08-10 Sven Verdoolaegeupdate isl from isl_union_map fixes
2010-08-10 Sven Verdoolaegeiscc: allow inverse on non-union maps again
2010-08-05 Sven Verdoolaegeiscc: add wrap and unwrap operations
2010-08-05 Sven Verdoolaegeadd isl_union_map_apply_union_pw_qpolynomial
2010-08-05 Sven Verdoolaegeisl_pw_qpolynomial_sum: handle isl_pw_qpolynomials...
2010-08-05 Sven Verdoolaegeupdate isl for nested dimension specifications
2010-08-05 Sven Verdoolaegeisl_map_card: postpone shuffling around of dimensions...
2010-08-05 Sven Verdoolaegeupdate isl for isl_basic_map_move_dims
2010-08-04 Sven Verdoolaegeisl_pw_qpolynomial_sum: push conversion to PolyLib...
2010-08-04 Sven Verdoolaegeisl_pw_qpolynomial_sum: check for unbounded domains
2010-08-02 Sven Verdoolaegeavoid use of isl_dim internals
2010-07-31 Sven Verdoolaegeiscc: support codegen operation if CLooG is available
2010-07-31 Sven Verdoolaegeiscc: switch to using unions
2010-07-31 Sven Verdoolaegeadd isl_union_pw_qpolynomial_sum
2010-07-31 Sven Verdoolaegeadd isl_union_map_card
2010-07-31 Sven Verdoolaegeisl_pw_qpolynomial_sum: take tuple names into account
2010-07-31 Sven Verdoolaegeisl_map_card: preserve full domain dimension information
2010-07-31 Sven Verdoolaegeupdate isl for change in isl_hash_table_foreach
2010-07-31 Sven fix printf format
2010-07-03 Sven Verdoolaegedoc: add some more papers refering to the library
2010-06-29 Sven Verdoolaegebarvinok 0.31barvinok-0.31
2010-06-29 Sven Verdoolaegeupdate isl to version 0.03
2010-06-29 Sven properly add isl flags and libs to pkg...
2010-06-29 Sven drop call to gl_EARLY
2010-06-29 Sven fix printf format
2010-06-29 Sven Verdoolaegetest_approx.c: fix printf format
2010-06-29 Sven Verdoolaegetest_bound.c: fix printf format
2010-06-29 Sven stop compiling Omega by default
2010-06-28 Sven Verdoolaegeverify_lexsmaller.c: fix typo
2010-06-27 Sven Verdoolaegeevalue.c: avoid use of alloca
2010-06-26 Sven Verdoolaegeevalue_isl.c: fix typo
2010-06-20 Sven Verdoolaegeiscc: recover from errors
2010-06-20 Sven Verdoolaegeupdate isl for improved error handling
2010-06-19 Sven Verdoolaegeiscc.c: fix typo
2010-06-13 Sven Verdoolaegedoc: iscc: update documentation of "ub" operator
2010-06-12 Sven Verdoolaegetest_approx: include ctype.h for isspace
2010-06-12 Sven Verdoolaegetest_approx: include config.h for HAVE_SYS_TIMES_H
2010-06-12 Sven Verdoolaegetest_bound: include config.h for HAVE_SYS_TIMES_H
2010-06-12 Sven Verdoolaegeiscc: add vertices operations
2010-06-12 Sven Verdoolaegeoptionally use isl to perform parametric vertex enumeration
2010-06-12 Sven Verdoolaegeupdate isl-polylib for handling of rational sets
2010-06-12 Sven Verdoolaegedrop distinction between barvinok-core and barvinok
2010-06-12 Sven Verdoolaegeremove bernstein
2010-06-12 Sven Verdoolaegeupdate isl for generic isl_pw_qpolynomial_bound
2010-06-12 Sven drop bv_omega_programs
2010-06-12 Sven Verdoolaegeadd isl_ctx_peek_barvinok_options
2010-06-07 Sven Verdoolaegeiscc: parse barvinok options
2010-06-01 Sven Verdoolaegeexport isl_qpolynomial_from_evalue
2010-06-01 Sven drop dependence on doc/omega.tex
2010-06-01 Sven Verdoolaegeupdate isl for rename of isl_pw_qpolynomial_move
2010-06-01 Sven Verdoolaegeverif_ehrhart.c: add missing include
2010-06-01 Sven fix typo
2010-06-01 Sven Verdoolaegeuse isl for argument parsing
2010-06-01 Sven Verdoolaegeupdate isl for keeping track of user options
2010-05-19 Sven Verdoolaegetest_bound: rewrite in C
2010-05-19 Sven Verdoolaegeupdate isl for help message printing
2010-05-15 Sven Verdoolaegeremove evalue_optimum
2010-05-15 Sven Verdoolaegeremove evalue_range_propagation
2010-05-15 Sven Verdoolaegetest_bound: use isl interface for computing bounds
2010-05-15 Sven Verdoolaegebarvinok_bound: use isl interface for computing bounds
2010-05-14 Sven Verdoolaegeiscc: support ub even if GiNaC support was not compiled in
2010-05-14 Sven Verdoolaegeadd generic isl_pw_qpolynomial_bound
2010-05-14 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_bound_range
2010-05-14 Sven Verdoolaegetest_bound: use isl during verification
2010-05-14 Sven Verdoolaegebarvinok_bound: use isl during verification
2010-05-14 Sven Verdoolaegeverify.c: extract some helper functions for isl based...
2010-05-14 Sven Verdoolaegeintroduce "bound" option
2010-05-14 Sven Verdoolaegeoptions.c: fix printf format
2010-05-10 Sven Verdoolaegeiscc: add application operations