Public Git Hosting - barvinok.git/search

2008-05-03	Sven Verdoolaege	summate.c: barvinok_summate: move common parts of summation...	commit \| commitdiff \| tree
2008-05-03	Sven Verdoolaege	evalue.c: evalue_sum: move sign handling into esum_over_domain	commit \| commitdiff \| tree
2008-05-03	Sven Verdoolaege	barvinok_e.cc: enumerate_sum: use barvinok_summate...	commit \| commitdiff \| tree
2008-05-03	Sven Verdoolaege	summate.c: extract barvinok_summate from barvinok.cc	commit \| commitdiff \| tree
2008-05-03	Sven Verdoolaege	rename summate.cc to barvinok_summate.cc	commit \| commitdiff \| tree
2008-05-03	Sven Verdoolaege	evalue.c: reduce_evalue: reduce floor with constant...	commit \| commitdiff \| tree
2008-05-03	Sven Verdoolaege	Add Laurent expansion based summation	commit \| commitdiff \| tree
2008-04-25	Sven Verdoolaege	evalue.c: extend eequal to handle domains and NaNs	commit \| commitdiff \| tree
2008-04-25	Sven Verdoolaege	binomial.c: extract binomial and factorial from euler.cc	commit \| commitdiff \| tree
2008-04-25	Sven Verdoolaege	power.h: extract from euler.cc	commit \| commitdiff \| tree
2008-04-25	Sven Verdoolaege	introduce evalue_shift_variables	commit \| commitdiff \| tree
2008-04-25	Sven Verdoolaege	lattice_point.cc: export relative_coordinates	commit \| commitdiff \| tree
2008-04-24	Sven Verdoolaege	lattice_point.h: make sure correct evalues are used	commit \| commitdiff \| tree
2008-04-24	Sven Verdoolaege	lattice_point.cc: add ceiling function	commit \| commitdiff \| tree
2008-04-24	Sven Verdoolaege	util.c: internalize ugly bv_ceil3	commit \| commitdiff \| tree
2008-04-17	Sven Verdoolaege	lattice_point.cc: multi_monom/lattice_points: return...	commit \| commitdiff \| tree
2008-04-14	Sven Verdoolaege	doc: clean up "exponential substitution" section	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	test_bound.cc: avoid loss of precision caused by conversion...	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	barvinok_bound: optionally take maximal size of domains...	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	barvinok_bound: add --iterate options for evaluating...	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	verify.c: export functions for setting and clearing...	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	verify.c: evalue_optimum: allow computation of optimum...	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	bernstein.cc: evalue2ex: don't assume all periodic...	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	bound.cc: fix call to evalue_convert	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	e{add,mul}_periodics: plug memory leaks	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	evalue_bernstein_coefficients: handle problems with...	commit \| commitdiff \| tree
2008-04-08	Sven Verdoolaege	update polylib	commit \| commitdiff \| tree
2008-04-05	Sven Verdoolaege	lattice_width.c: skip directions that are identical...	commit \| commitdiff \| tree
2008-04-04	Sven Verdoolaege	Makefile.am: add cdd94e-test to distribution	commit \| commitdiff \| tree
2008-04-03	Sven Verdoolaege	omega/occ: optionally use parker for computing cardinality...	commit \| commitdiff \| tree
2008-04-03	Sven Verdoolaege	normalization.c: skew_to_positive_orthant: properly...	commit \| commitdiff \| tree
2008-04-03	Sven Verdoolaege	omega/convert.cc: relation2Domain: only collect set...	commit \| commitdiff \| tree
2008-04-03	Sven Verdoolaege	occ: add dump for dumping in barvinok_enumerate_e format	commit \| commitdiff \| tree
2008-04-03	Sven Verdoolaege	barvinok_enumerate_e: optionally use parker's method	commit \| commitdiff \| tree
2008-04-03	Sven Verdoolaege	standard_constraints: take constraints instead of polyhedron...	commit \| commitdiff \| tree
2008-04-03	Sven Verdoolaege	normalization.c: extract standard_constraints from...	commit \| commitdiff \| tree
2008-04-02	Sven Verdoolaege	parker/count_solutions.cc: fix treatment of existentially...	commit \| commitdiff \| tree
2008-04-02	Sven Verdoolaege	compile parker	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Add parker	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	euler.cc: evalue_derive: handle constant polynomials	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	add some test sets from cases 2004 and cc 2005 papers	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	rename barvinok_maximize to barvinok_bound	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	add a test for test_bound	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	evalue_range_propagation: remove redundant polynomials...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	test_bound: record number of polynomials as "size"...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	test_bound: convert quasipolynomials to polynomials...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	test_bound: compare polynomial bound algorithms	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	verify.c: optimum: handle input evaluating to negative...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	verify.c: extract evalue_optimum from maximize.cc	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	verify.c: extract common code for verifying operation...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	evalue_range_propagation: add monotonicity test	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	barvinok_maximize: optionally use (basic) range propagation	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Add some support for dealing with evalues that represent...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	barvinok_enumerate: support use of Euler-Maclaurin...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	implement Bernoulli_sum as conversion from unweighted...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum_evalue: exploit integer bounds to reduce...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	keep track of number of Bernoulli sums	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	bernoulli.c: protect shared evalue from modifications	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	test Bernoulli sums based exact enumeration	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	barvinok_count_with_options: compute (exact) Bernoulli...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum_evalue: optionally handle fractional...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	lattice_point.h: export fractional_part with C linkage	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	barvinok_enumerate_with_options: compute (exact) Bernoulli...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum_evalue: handle equalities	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum_evalue: cut off some redundant parts...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum_evalue: make sure no empty partitions...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum_evalue: remove redundant constraint in...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	bernoulli.c: minor refactoring	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum: handle context constraints	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Bernoulli_sum_evalue: make sure enough memory is allocated...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	for_each_lower_upper_bound: add another callback for...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	verify.c: adjust default range to context if needed	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	euler.cc: summate_over_domain: only consider actual...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	param_util.c: export Param_Vertex_Set_Facets	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	Param_Polyhedron_Facet: pass facet defining constraint...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	genfun.cc: parallel_polytopes: don't bother handling...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	evalue_split_domains_into_orthants: don't reduce evalue...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	evalue_read: only allow terms to cross newlines inside...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	evalue_read: only accept implicit multiplication on...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	evalue_read: accept constraints containing "'-' space...	commit \| commitdiff \| tree
2008-03-31	Sven Verdoolaege	evalue_bernstein_coefficients: ensure result partitions...	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	bernstein: piecewise_lst: correctly print and evaluate...	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	remove_all_equalities: keep removing parameter equalities...	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	update polylib	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	doc: consistent use of Kevin's initials	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	doc: update now published papers	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	for_each_lower_upper_bound: allow absence of lower...	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	Revert "eadd_partitions: try to combine multiple domains...	commit \| commitdiff \| tree
2008-03-24	Sven Verdoolaege	evalue_read_partition: put partitions back in the same...	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	evalue: reduce_evalue: add note on some missed opportunities...	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	bernstein.cc: handle input with unions + relation violated...	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	maximize.cc: deal with unions in input during verification	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	evalue_substitute: properly handle relations	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	evalue.c: clean up emul and eadd	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	evalue_read: correctly read variable names	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	evalue_read: accept top level "relation"	commit \| commitdiff \| tree
2008-03-10	Sven Verdoolaege	update polylib	commit \| commitdiff \| tree
2008-02-29	Sven Verdoolaege	evalue_backsubstitute: add required modulo constraints	commit \| commitdiff \| tree
2008-02-26	Sven Verdoolaege	evalue.c: *_partitions: simplify constraints before...	commit \| commitdiff \| tree
2008-02-01	Sven Verdoolaege	doc: more specific information on buggy cddlib versions	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom