barvinok.git
2010-06-29 Sven Verdoolaegebarvinok 0.31barvinok-0.31
2010-06-29 Sven Verdoolaegeupdate isl to version 0.03
2010-06-29 Sven Verdoolaegeconfigure.in: properly add isl flags and libs to pkg...
2010-06-29 Sven Verdoolaegeconfigure.in: drop call to gl_EARLY
2010-06-29 Sven Verdoolaegegenfun.cc: 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 Verdoolaegeconfigure.in: 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 Verdoolaegeconfigure.in: 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 VerdoolaegeMakefile.am: 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 Verdoolaegeconfigure.in: 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
2010-04-24 Sven Verdoolaegeiscc: add read operation
2010-04-24 Sven Verdoolaegeiscc: free options
2010-04-24 Sven Verdoolaegeupdate isl for reading of strings
2010-04-21 Sven Verdoolaegeupdate isl for fix in isl_printer_print_pw_qpolynomial...
2010-04-21 Sven Verdoolaegeupdate isl-polylib for change in pkg-config file
2010-04-21 Sven Verdoolaegeiscc: allow specification of output format
2010-04-13 Sven Verdoolaegeupdate isl for change in isl_set_gist argument
2010-04-11 Sven Verdoolaegeupdate isl for rename of isl_map_move
2010-04-10 Sven Verdoolaegeconfigure.in: add isl flags and libs to pkg-config...
2010-04-07 Sven Verdoolaegeiscc: test isl_stream for eof rather than the underlyin...
2010-04-07 Sven Verdoolaegeiscc: add deltas operation
2010-04-07 Sven Verdoolaegeupdate isl for fix in isl_map_deltas
2010-04-04 Sven Verdoolaegedrop barvinok_enumerate_pip_with_options
2010-04-01 Sven Verdoolaegeiscc: add cross product operations
2010-03-31 Sven Verdoolaegeiscc: add coalesce operations
2010-03-30 Sven Verdoolaegeupdate isl for isl_pw_qpolynomial_coalesce
2010-03-27 Sven Verdoolaegedrop "Omega counting calculator"
2010-03-27 Sven Verdoolaegetest_bound.cc: fix printf format
2010-03-27 Sven Verdoolaegebernstein.cc: fix printf format
2010-03-27 Sven Verdoolaegeevalue_range_propagation: fix substitution for negative...
2010-03-27 Sven Verdoolaegebernstein/configure.in: use absolute srcdir of PolyLib...
2010-03-27 Sven Verdoolaegeonly distribute bundled submodules
2010-03-25 Sven Verdoolaegeupdate omega for configuration issue
2010-03-25 Sven Verdoolaegeconfigure.in: allow "build" PolyLib
2010-03-25 Sven Verdoolaegeisl_qpolynomial_fold_from_ginac: handle fail nodes
2010-03-25 Sven Verdoolaegeisl_qpolynomial_from_ginac: expand ex before inspection
2010-03-25 Sven Verdoolaegeisl_obj_list.c: update to use of isl_printer
2010-03-18 Sven Verdoolaegeiscc: add gist operations
2010-03-18 Sven Verdoolaegeupdate isl for introduction of isl_printer
2010-03-18 Sven Verdoolaegeisl_pw_qpolynomial_upper_bound: set up variable vector...
2010-03-15 Sven Verdoolaegeiscc: add some comparison operations
2010-03-15 Sven Verdoolaegeiscc: add inverse operation
2010-03-15 Sven Verdoolaegeiscc: fix up type of find_matching_bin_op
2010-03-14 Sven Verdoolaegeiscc: add affine hull operation
2010-03-14 Sven Verdoolaegeiscc: add operation to construct universal map from...
2010-03-14 Sven Verdoolaegeiscc: add "join" operation
2010-03-14 Sven Verdoolaegeiscc: add intersect_domain operations
2010-03-14 Sven Verdoolaegeiscc: allow overloading binary ops
2010-03-14 Sven Verdoolaegeiscc: add more dom operations
2010-03-14 Sven Verdoolaegedoc: reorganize table of iscc operations
2010-03-14 Sven Verdoolaegeupdate isl
2010-03-10 Sven Verdoolaegebarvinok 0.30barvinok-0.30
2010-03-10 Sven VerdoolaegeAUTHORS: update support information
2010-03-10 Sven Verdoolaegerandomvector: double size of coefficients on each attempt
2010-03-10 Sven Verdoolaegeiscc: support transitive closure
2010-03-10 Sven Verdoolaegeupdate isl to version 0.02
2010-03-09 Sven Verdoolaegebarvinok_e.cc: enumerate_vd: remove unused variables
2010-03-09 Sven Verdoolaegeevalue.c: Polyhedron_Insert: add missing return type
2010-03-09 Sven Verdoolaegeevalue.c: reduce_evalue: remove unused variable
2010-03-09 Sven Verdoolaegeiscc: add @ operator
2010-03-09 Sven Verdoolaegeiscc: add "ub"
next