Public Git Hosting - barvinok.git/search

2007-04-11	Sven Verdoolaege	FORALL_REDUCED_DOMAIN: extract common handling of reduced...	commit \| commitdiff \| tree
2007-04-09	Sven Verdoolaege	barvinok_enumerate: move recursive call during scaling...	commit \| commitdiff \| tree
2007-04-09	Sven Verdoolaege	barvinok.cc: Param_Polyhedron_Enumerate: extracted...	commit \| commitdiff \| tree
2007-04-09	Sven Verdoolaege	add some interesting test cases for volume computation	commit \| commitdiff \| tree
2007-04-09	Sven Verdoolaege	perform very basic polynomial approximation test	commit \| commitdiff \| tree
2007-04-09	Sven Verdoolaege	test_approx: compare different polynomial approximations	commit \| commitdiff \| tree
2007-04-08	Sven Verdoolaege	evalue_convert.cc: partial support for printing in...	commit \| commitdiff \| tree
2007-04-08	Sven Verdoolaege	Param_Polyhedron_Volume: perform lifting triangulation...	commit \| commitdiff \| tree
2007-04-08	Sven Verdoolaege	volume.c: introduce parameter_point abstraction	commit \| commitdiff \| tree
2007-04-08	Sven Verdoolaege	scale.c: export Param_Vertex_Common_Denominator	commit \| commitdiff \| tree
2007-04-08	Sven Verdoolaege	volume.c: drop redundant arguments to volume_simplex	commit \| commitdiff \| tree
2007-04-08	Sven Verdoolaege	options.c: separate polynomial approximation related...	commit \| commitdiff \| tree
2007-04-07	Sven Verdoolaege	barvinok_options_new_with_defaults: initialize scale_flags	commit \| commitdiff \| tree
2007-04-07	Sven Verdoolaege	triangulate_cone: skip Delaunay triangulation by default	commit \| commitdiff \| tree
2007-04-07	Sven Verdoolaege	evalue_convert: print lattice when printing as list...	commit \| commitdiff \| tree
2007-04-07	Sven Verdoolaege	evalue_convert: add verbose argument and return 1 if...	commit \| commitdiff \| tree
2007-04-06	Sven Verdoolaege	Polyhedron_Flate: intersect inflated polytope with...	commit \| commitdiff \| tree
2007-04-06	Sven Verdoolaege	doc: bib: fix up name in title of Algorithmica paper	commit \| commitdiff \| tree
2007-04-05	Sven Verdoolaege	add missing volume.h file	commit \| commitdiff \| tree
2007-04-04	Sven Verdoolaege	volume.c: delay computation of point where volume is...	commit \| commitdiff \| tree
2007-04-04	Sven Verdoolaege	Param_Polyhedron_Volume: set polynomial_approximation...	commit \| commitdiff \| tree
2007-04-03	Sven Verdoolaege	volume.c: allow computation of lower and upper bound...	commit \| commitdiff \| tree
2007-04-03	Sven Verdoolaege	scale: export Polyhedron_Flate	commit \| commitdiff \| tree
2007-04-03	Sven Verdoolaege	barvinok_enumerate: optionally compute "volume" polynomial...	commit \| commitdiff \| tree
2007-04-03	Sven Verdoolaege	polytope_volume: compute volume of parametric polytope	commit \| commitdiff \| tree
2007-04-03	Sven Verdoolaege	reduce_domain.c: plug memory leak	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	verify.c: move computation of true context into check_poly_c...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	scale.c: add simplified method of computing tighter...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok_enumerate: optionally compute tighter polynomial...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	polyhedron_sample.c: remove redundant MAXRAYS define	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	evalue.c: evalue_eval: support relations	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	evalue.c: evalue_frac2polynomial: properly handle relations	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok_enumerate: support approximation by means...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	scale.c: avoid simplification of constraints after...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok/util.h: add POL_UNSET macro for unsetting...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	scale.c: Param_Polyhedron_Scale_Integer_Fast: ignore...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	move Param_Polyhedron_Scale_Integer to scale.c and...	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	use separate flags option for scale approximation method	commit \| commitdiff \| tree
2007-03-31	Sven Verdoolaege	barvinok.cc: move scaling to scale.c	commit \| commitdiff \| tree
2007-03-30	Sven Verdoolaege	scale.c: correct extract_lattice in case of redundant...	commit \| commitdiff \| tree
2007-03-30	Sven Verdoolaege	doc: update CC2005 reference	commit \| commitdiff \| tree
2007-03-26	Sven Verdoolaege	verif_ehrhart.c: round inexact evaluation up or down...	commit \| commitdiff \| tree
2007-03-26	Sven Verdoolaege	verif_ehrhart.c: optionally use exact evaluation for...	commit \| commitdiff \| tree
2007-03-25	Sven Verdoolaege	evalue.c: add evalue_eval for exact evaluation of evalue	commit \| commitdiff \| tree
2007-03-25	Sven Verdoolaege	evalue.c: fix evalue_frac2polynomial for negative values...	commit \| commitdiff \| tree
2007-03-20	Sven Verdoolaege	barvinok_enumerate: perform slow scaling approximation...	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	fix Param_Polyhedron_Scale_Integer	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	barvinok_enumerate: more accurate polynomial approximation	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	reorganize polynomial approximation options	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	util.c: Param_Polyhedron_Print: actually use output...	commit \| commitdiff \| tree
2007-03-19	Sven Verdoolaege	fix merge of check_poly from verif_ehrhart.c and lexmin.cc	commit \| commitdiff \| tree
2007-03-18	Sven Verdoolaege	doc: update Koeppe-Verdoolaege reference	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	barvinok_maximize: support verification	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	merge check_poly from verif_ehrhart.c and lexmin.cc	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	evalue.c: make some evalue arguments const	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	evalue_frac2floor2: also convert non-partition if no...	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	verify.c: change verify_options_set_range prototype	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	bernstein: piecewise_lst::evaluate: support different...	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	verify.c: turn off continue_on_error by default	commit \| commitdiff \| tree
2007-03-17	Sven Verdoolaege	bernstein: export numeric2value	commit \| commitdiff \| tree
2007-03-15	Sven Verdoolaege	doc: proof of existence of suitable y for primal decompositi...	commit \| commitdiff \| tree
2007-03-15	Sven Verdoolaege	doc: fix proof of existence of suitable y for primal...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein.cc: bernstein_coefficients: create signed...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	barvinok_maximize: optionally use recursive bernstein_coeffi...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein.cc: bernstein_coefficients: support general...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein.cc: refactor bernstein_coefficients_product	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein: piecewise_lst: add sign and remove redundant...	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	bernstein: add remove_redundants method	commit \| commitdiff \| tree
2007-03-14	Sven Verdoolaege	doc: primal decomposition: typo fixes + clarifications	commit \| commitdiff \| tree
2007-03-11	Sven Verdoolaege	doc: fix primal decomposition example + clean-ups	commit \| commitdiff \| tree
2007-03-11	Sven Verdoolaege	Document primal decomposition	commit \| commitdiff \| tree
2007-03-11	Sven Verdoolaege	barvinok.cc: barvinok_enumerate: fix lower bound approximation	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	evalue_split_periods: gracefully handle zero evalues...	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	barvinok_maximize: handle zero input	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	barvinok_enumerate_e: clean up allocation of options	commit \| commitdiff \| tree
2007-03-07	Sven Verdoolaege	barvinok.cc: handle case where nothing is left after...	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	evalue_convert: support printing a quasi-polynomialas...	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	lattice_point.h: make self-contained	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	evalue.c: extract evalue_extract_affine from bernstein.cc	commit \| commitdiff \| tree
2007-03-02	Sven Verdoolaege	bernstein.cc: bernstein_coefficients_product: no need...	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein_coefficients: optionally optimize during...	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein_coefficients: factorize domain if possible	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	Polyhedron_Factor: optionally return relation between...	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein: export replaceVariablesInPolynomial	commit \| commitdiff \| tree
2007-03-01	Sven Verdoolaege	bernstein.cc: evalue2ex: represent fractional by scaled...	commit \| commitdiff \| tree
2007-02-28	Sven Verdoolaege	barvinok_maximize: fix handling of UNIONs in domains.	commit \| commitdiff \| tree
2007-02-28	Sven Verdoolaege	bernstein_coefficients: skip empty subdomains	commit \| commitdiff \| tree
2007-02-28	Sven Verdoolaege	barvinok_maximize: fix detection of end of domain specification	commit \| commitdiff \| tree
2007-02-27	Sven Verdoolaege	barvinok_maximize: add input conversion	commit \| commitdiff \| tree
2007-02-27	Sven Verdoolaege	evalue_convert: extracted from barvinok_enumerate and...	commit \| commitdiff \| tree
2007-02-27	Sven Verdoolaege	util.c: move Polyhedron_is_unbounded from bernstein.cc	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	bernstein_coefficients: skip infinite (sub)domains	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	barvinok_maximize: let user specify variables over...	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	bernstein_coefficients: skip computations if domain...	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	barvinok_maximize: fix access to freed memory	commit \| commitdiff \| tree
2007-02-26	Harald Devos	minimize as option of barvinok_maximize	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	bernstein/piecewise_lst.cpp: add minimize() method	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	barvinok_maximize: read domains with UNIONs	commit \| commitdiff \| tree
2007-02-26	Sven Verdoolaege	use GiNaC cflags and libs	commit \| commitdiff \| tree
2007-02-23	Sven Verdoolaege	barvinok_maximize: optionally call evalue_split_periods	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom