Public Git Hosting - barvinok.git/search

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	Only compile zsolve if gcc 3.4 or later is available	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
2007-10-31	Sven Verdoolaege	topcom.c: extract part of code for setting up standard...	commit \| commitdiff \| tree
2007-10-30	Sven Verdoolaege	gen_fun::Hadamard_product: print progress indicator...	commit \| commitdiff \| tree
2007-10-26	Sven Verdoolaege	move --verbose option to library	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::summate: handle full specialization	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Replace incremental infinite set counter by "regular...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	make counter::add_falling_powers static	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	merge (most of) common part of counter and tcounter	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	icounter: handle specialization of polynomials	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	icounter: don't bother "normalizing" the exponents...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	export neg_left_hermite	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	basis_reduction_cdd: check for possibly incorrect output...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	Polyhedron_Sample: handle polyhedron becoming empty...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::operator evalue *: always return a valid ...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::operator evalue *: remove commented out debugging...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e.cc: handle verification of problems...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e: optionally print stats	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e: support verification of generating...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate_e: support conversion of generating...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	lattice_points: another micro-optimization	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	lattice_points_fixed: nano-optimization	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	gen_fun::add: context of sum should be union of contexts...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	barvinok_enumerate: use verify infrastructure for verifying...	commit \| commitdiff \| tree
2007-10-25	Sven Verdoolaege	genfun.cc: print_power: drop spaces around "/" when...	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom