Public Git Hosting - barvinok.git/search

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
2007-11-21	Sven Verdoolaege	Support use of generalized basis reduction to compute...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	add Polyhedron_Integer_Minimum for computing the integer...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	doc: document generalized basis reduction based integer...	commit \| commitdiff \| tree
2007-11-21	Sven Verdoolaege	doc/barvinok.bib: add missing string	commit \| commitdiff \| tree
2007-11-17	Sven Verdoolaege	add more missing assert.h #includes	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	configure.in: only compile libbarvinok as a static...	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	Polyhedron_Reduced_Basis: don't stop too early when...	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	compute_width_directions: only keep list of distinct...	commit \| commitdiff \| tree
2007-11-15	Sven Verdoolaege	zsolve: don't install library	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	version.c: show use of TOPCOM	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	configure.in: don't set with_{poly,pip}lib_prefix from...	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	Polyhedron_Sample: be satisfied with a reasonable choice...	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	cone_integer_hull: optionally print stats	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	basis_reduction: keep track of number of LPs solved	commit \| commitdiff \| tree
2007-11-08	Sven Verdoolaege	options: move --print-stats to library	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	bernstein: rework testing framework to not depend on...	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	bernstein: add piecewise_lst::is_equal	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	support newer versions of GiNaC (>= 1.3.8)	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	standard_constraints: move from topcom.c to polysign.c	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	polysign.h: remove dependency on lexmin.h	commit \| commitdiff \| tree
2007-11-07	Sven Verdoolaege	zsolve: add banner.h to distribution	commit \| commitdiff \| tree
2007-11-06	Sven Verdoolaege	Polyhedron_Lattice_Width_Directions: print progress...	commit \| commitdiff \| tree
2007-11-06	Sven Verdoolaege	basis_reduction_pip: abort on invalid (empty) input...	commit \| commitdiff \| tree
2007-11-02	Sven Verdoolaege	README: explain how to get submodules	commit \| commitdiff \| tree
2007-11-02	Sven Verdoolaege	doc: document lattice width computation	commit \| commitdiff \| tree
2007-11-02	Sven Verdoolaege	some lattice width tests from Jon Yaggie	commit \| commitdiff \| tree
2007-11-01	Sven Verdoolaege	Polyhedron_Lattice_Width: decide on facets to close...	commit \| commitdiff \| tree
2007-11-01	Sven Verdoolaege	add Polyhedron_Lattice_Width for computing lattice...	commit \| commitdiff \| tree
2007-11-01	Sven Verdoolaege	hilbert.c: add Cone_Integer_Hull for computing vertices...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign: add pip-backed version	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign: add constraints_opt to compute optimum over...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign_cdd: switch to use of Matrix representation...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	polysign_glpk: switch to use of Matrix representation...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	doc: document computation of Hilbert basis of a cone	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	Cone_Hilbert_Basis: use standard_constraints to avoid...	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	Use zsolve to compute Hilbert basis of a cone	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	compile zsolve	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: don't install headers and executables	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: initialize BackupTime in ZSolveContext	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: zsolveSystem: add missing verbosity check	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	zsolve: override LIBS from top level	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	add 4ti2-1.3.1+autoconf-0.1 banner	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	add zsolve from 4ti2-1.3.1+autoconf-0.1	commit \| commitdiff \| tree
2007-10-31	Sven Verdoolaege	param_util.c: export bit_vector_count	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom