barvinok.git
2008-05-04 Sven Verdoolaegebarvinok 0.27barvinok-0.27
2008-05-04 Sven Verdoolaegeadd some test sets from itsl2008 paper
2008-05-04 Sven Verdoolaegedoc: add latest (accepted) publications
2008-05-04 Sven VerdoolaegeMakefile.am: add section_array.h to distribution
2008-05-04 Sven Verdoolaegenormalization.c: compute_shifts: remove redundant return
2008-05-04 Sven Verdoolaegemove Free_ParamNames polylib and make param names const...
2008-05-04 Sven Verdoolaegeocc: add interface to barvinok_summate
2008-05-04 Sven Verdoolaegeex_convert.cc: extract ex2evalue from range.cc
2008-05-04 Sven Verdoolaegedoc: document more --summation methods for barvinok_summate
2008-05-04 Sven Verdoolaegeoptions.c: rename "barvinok" summation method to "box"
2008-05-04 Sven VerdoolaegeMakefile.am: check-euler: also check laurent
2008-05-04 Sven Verdoolaegesummate.c: barvinok_summate: handle products of polytop...
2008-05-04 Sven Verdoolaegeevalue.c: export evalue_reorder_terms
2008-05-04 Sven Verdoolaegebernstein: numeric2value: fix typo to allow correct...
2008-05-03 Sven Verdoolaegeutil.c: Factor_Context: extracted from barvinok.cc
2008-05-03 Sven Verdoolaegesummate.c: barvinok_summate: ignore floors independent...
2008-05-03 Sven Verdoolaegeevalue.c: add evalue_floor2frac
2008-05-03 Sven Verdoolaegeomega/occ: print barvinok version number
2008-05-03 Sven Verdoolaegedoc: update some references
2008-05-03 Sven VerdoolaegeMake laurent based summation the default
2008-05-03 Sven Verdoolaegesummate.c: barvinok_summate: handle quasi-polynomials...
2008-05-03 Sven Verdoolaegereduce_evalue: extract out evalue_reduce_size
2008-05-03 Sven Verdoolaegeevalue.c: evalue_shift_variables: allow shifting of...
2008-05-03 Sven Verdoolaegesummate.c: handle equalities for all summation algorithms
2008-05-03 Sven Verdoolaegesummate.c: barvinok_summate: move common parts of summa...
2008-05-03 Sven Verdoolaegeevalue.c: evalue_sum: move sign handling into esum_over...
2008-05-03 Sven Verdoolaegebarvinok_e.cc: enumerate_sum: use barvinok_summate...
2008-05-03 Sven Verdoolaegesummate.c: extract barvinok_summate from barvinok.cc
2008-05-03 Sven Verdoolaegerename summate.cc to barvinok_summate.cc
2008-05-03 Sven Verdoolaegeevalue.c: reduce_evalue: reduce floor with constant...
2008-05-03 Sven VerdoolaegeAdd Laurent expansion based summation
2008-04-25 Sven Verdoolaegeevalue.c: extend eequal to handle domains and NaNs
2008-04-25 Sven Verdoolaegebinomial.c: extract binomial and factorial from euler.cc
2008-04-25 Sven Verdoolaegepower.h: extract from euler.cc
2008-04-25 Sven Verdoolaegeintroduce evalue_shift_variables
2008-04-25 Sven Verdoolaegelattice_point.cc: export relative_coordinates
2008-04-24 Sven Verdoolaegelattice_point.h: make sure correct evalues are used
2008-04-24 Sven Verdoolaegelattice_point.cc: add ceiling function
2008-04-24 Sven Verdoolaegeutil.c: internalize ugly bv_ceil3
2008-04-17 Sven Verdoolaegelattice_point.cc: multi_monom/lattice_points: return...
2008-04-14 Sven Verdoolaegedoc: clean up "exponential substitution" section
2008-04-08 Sven Verdoolaegetest_bound.cc: avoid loss of precision caused by conver...
2008-04-08 Sven Verdoolaegebarvinok_bound: optionally take maximal size of domains...
2008-04-08 Sven Verdoolaegebarvinok_bound: add --iterate options for evaluating...
2008-04-08 Sven Verdoolaegeverify.c: export functions for setting and clearing...
2008-04-08 Sven Verdoolaegeverify.c: evalue_optimum: allow computation of optimum...
2008-04-08 Sven Verdoolaegebernstein.cc: evalue2ex: don't assume all periodic...
2008-04-08 Sven Verdoolaegebound.cc: fix call to evalue_convert
2008-04-08 Sven Verdoolaegee{add,mul}_periodics: plug memory leaks
2008-04-08 Sven Verdoolaegeevalue_bernstein_coefficients: handle problems with...
2008-04-08 Sven Verdoolaegeupdate polylib
2008-04-05 Sven Verdoolaegelattice_width.c: skip directions that are identical...
2008-04-04 Sven VerdoolaegeMakefile.am: add cdd94e-test to distribution
2008-04-03 Sven Verdoolaegeomega/occ: optionally use parker for computing cardinal...
2008-04-03 Sven Verdoolaegenormalization.c: skew_to_positive_orthant: properly...
2008-04-03 Sven Verdoolaegeomega/convert.cc: relation2Domain: only collect set...
2008-04-03 Sven Verdoolaegeocc: add dump for dumping in barvinok_enumerate_e format
2008-04-03 Sven Verdoolaegebarvinok_enumerate_e: optionally use parker's method
2008-04-03 Sven Verdoolaegestandard_constraints: take constraints instead of polyh...
2008-04-03 Sven Verdoolaegenormalization.c: extract standard_constraints from...
2008-04-02 Sven Verdoolaegeparker/count_solutions.cc: fix treatment of existential...
2008-04-02 Sven Verdoolaegecompile parker
2008-03-31 Sven VerdoolaegeAdd parker
2008-03-31 Sven Verdoolaegeeuler.cc: evalue_derive: handle constant polynomials
2008-03-31 Sven Verdoolaegeadd some test sets from cases 2004 and cc 2005 papers
2008-03-31 Sven Verdoolaegerename barvinok_maximize to barvinok_bound
2008-03-31 Sven Verdoolaegeadd a test for test_bound
2008-03-31 Sven Verdoolaegeevalue_range_propagation: remove redundant polynomials...
2008-03-31 Sven Verdoolaegetest_bound: record number of polynomials as "size"...
2008-03-31 Sven Verdoolaegetest_bound: convert quasipolynomials to polynomials...
2008-03-31 Sven Verdoolaegetest_bound: compare polynomial bound algorithms
2008-03-31 Sven Verdoolaegeverify.c: optimum: handle input evaluating to negative...
2008-03-31 Sven Verdoolaegeverify.c: extract evalue_optimum from maximize.cc
2008-03-31 Sven Verdoolaegeverify.c: extract common code for verifying operation...
2008-03-31 Sven Verdoolaegeevalue_range_propagation: add monotonicity test
2008-03-31 Sven Verdoolaegebarvinok_maximize: optionally use (basic) range propagation
2008-03-31 Sven VerdoolaegeAdd some support for dealing with evalues that represen...
2008-03-31 Sven Verdoolaegebarvinok_enumerate: support use of Euler-Maclaurin...
2008-03-31 Sven Verdoolaegeimplement Bernoulli_sum as conversion from unweighted...
2008-03-31 Sven VerdoolaegeBernoulli_sum_evalue: exploit integer bounds to reduce...
2008-03-31 Sven Verdoolaegekeep track of number of Bernoulli sums
2008-03-31 Sven Verdoolaegebernoulli.c: protect shared evalue from modifications
2008-03-31 Sven Verdoolaegetest Bernoulli sums based exact enumeration
2008-03-31 Sven Verdoolaegebarvinok_count_with_options: compute (exact) Bernoulli...
2008-03-31 Sven VerdoolaegeBernoulli_sum_evalue: optionally handle fractional...
2008-03-31 Sven Verdoolaegelattice_point.h: export fractional_part with C linkage
2008-03-31 Sven Verdoolaegebarvinok_enumerate_with_options: compute (exact) Bernou...
2008-03-31 Sven VerdoolaegeBernoulli_sum_evalue: handle equalities
2008-03-31 Sven VerdoolaegeBernoulli_sum_evalue: cut off some redundant parts...
2008-03-31 Sven VerdoolaegeBernoulli_sum_evalue: make sure no empty partitions...
2008-03-31 Sven VerdoolaegeBernoulli_sum_evalue: remove redundant constraint in...
2008-03-31 Sven Verdoolaegebernoulli.c: minor refactoring
2008-03-31 Sven VerdoolaegeBernoulli_sum: handle context constraints
2008-03-31 Sven VerdoolaegeBernoulli_sum_evalue: make sure enough memory is alloca...
2008-03-31 Sven Verdoolaegefor_each_lower_upper_bound: add another callback for...
2008-03-31 Sven Verdoolaegeverify.c: adjust default range to context if needed
2008-03-31 Sven Verdoolaegeeuler.cc: summate_over_domain: only consider actual...
2008-03-31 Sven Verdoolaegeparam_util.c: export Param_Vertex_Set_Facets
2008-03-31 Sven VerdoolaegeParam_Polyhedron_Facet: pass facet defining constraint...
2008-03-31 Sven Verdoolaegegenfun.cc: parallel_polytopes: don't bother handling...
next