Public Git Hosting - barvinok.git/search

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	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
2008-01-28	Sven Verdoolaege	configure.in: require cddlib 0.94e by testing for bug...	commit \| commitdiff \| tree
2008-01-18	Sven Verdoolaege	configure.in: only compile occ if code_gen library...	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	barvinok 0.26	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	add some tests for implementation of projection theorem	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	doc: document new options and new applications	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	AUTHORS: update support information	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	genfun.cc: short_rat::print: correctly print polynomials...	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	Export series as barvinok_enumerate_series and use...	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	remove_parameter_equalities: stop "removing" equalities...	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	series: leave freeing of P argument to calling function	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	doc: document implementation of the projection theorem	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	add barvinok_enumerate_e_series implementing the projection...	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	genfun.cc: fix and document parallel polytopes class	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	Move GiNaC-independent part of library to barvinok...	commit \| commitdiff \| tree
2008-01-16	Sven Verdoolaege	polylib: update	commit \| commitdiff \| tree
2007-11-22	Sven Verdoolaege	doc: how to count the number of elements in possibly...	commit \| commitdiff \| tree
2007-11-22	Sven Verdoolaege	doc/implementation.tex: avoid multiply defined label	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	lattice_width.c: try vertices of previous integer hulls...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	doc: document integer hull computation	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	hull.c: add all points found by sampling directly to...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	Possible optimizations for generalized basis reduction...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom