Public Git Hosting - barvinok.git/search

2006-12-18	Sven Verdoolaege	gen_fun: store terms in a set rather than in a vector	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin: allow emptiness check through counting	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin.cc: move construction of subdomains to edomain.cc	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	edomain.cc: move sample computation completely to EDomain	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin.cc: partial_order::compare: use substitution...	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin.cc: indicator::combine: more efficient way of...	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin.cc: keep heads in partial order separate	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	edomain.cc: EDomain::add_ge_constraint: simplify new...	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin.cc: partial_order::compare: add cache of comparison...	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin: make sure le set in partial order only contains...	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin: more sanity checks	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lemxin: use stable ordering of indicator_terms in partial_or...	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	genfun.cc: move lex_cmp to mat_util.cc	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	lexmin: indicator::combine: directly add some known...	commit \| commitdiff \| tree
2006-12-11	Sven Verdoolaege	barvinok/polylib.h: separate include of polylib header	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: optionally compute sign of affine function...	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: optionally skip reduction of evalues in domains	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	evalue_frac2floor: only make argument nonnegative if...	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: Polyhedron_not_empty: be careful about empty...	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: indicator_term::is_opposite: assume numerators...	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	remove_all_equalities: handle compress_variables returning...	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: optionally use cdd during basis reduction	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	Polyhedron_Reduced_Basis: optionally use cdd to solve...	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	configure.in: check for cddlib	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: Polyhedron_not_empty: continue removing equalities	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: handle equalities among parameters	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	remove_all_equalities: ignore identity parameter compression	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	remove_equalities.c: extracted from barvinok.cc	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	genfun: add short_rat::normalize	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	genfun: add short_rat constructors	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	evalue.c: evalue_denom: improve comment	commit \| commitdiff \| tree
2006-12-09	Sven Verdoolaege	lexmin: Polyhedron_not_empty: check result returned...	commit \| commitdiff \| tree
2006-12-07	Sven Verdoolaege	barvinok.cc: series: remove equalities using Preimage...	commit \| commitdiff \| tree
2006-12-07	Sven Verdoolaege	barvinok_count: collect stats on number of unimodular...	commit \| commitdiff \| tree
2006-12-07	Sven Verdoolaege	util.c: triangulate_cone: use bigger random values	commit \| commitdiff \| tree
2006-12-07	Sven Verdoolaege	sample.c: Polyhedron_RemoveFixedColumns: copy constants...	commit \| commitdiff \| tree
2006-12-06	Sven Verdoolaege	bernstein: piecewise_lst::evaluate: fix typo	commit \| commitdiff \| tree
2006-12-06	Sven Verdoolaege	configure.in: only add -lbernstein to barvinok.pc if...	commit \| commitdiff \| tree
2006-11-13	Sven Verdoolaege	configure.in: rename --with-ginac to --without-bernstein	commit \| commitdiff \| tree
2006-11-10	Sven Verdoolaege	configure.in: allow build without GiNaC (and therefore...	commit \| commitdiff \| tree
2006-11-10	Sven Verdoolaege	configure.in: add -lbernstein to barvinok.pc if it...	commit \| commitdiff \| tree
2006-11-09	Sven Verdoolaege	util.c: compress_variables: correct check for scaling	commit \| commitdiff \| tree
2006-11-09	Sven Verdoolaege	util.c: some documentation for compress_variables	commit \| commitdiff \| tree
2006-11-09	Sven Verdoolaege	verif_ehrhart: add --print-all option to replace PRINT_ALL_R...	commit \| commitdiff \| tree
2006-11-09	Sven Verdoolaege	mat_util: make arguments of lex_cmp const	commit \| commitdiff \| tree
2006-11-09	Sven Verdoolaege	add AUTHORS file	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	bump version	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	Makefile.am: make sure correct files are included in...	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: mention restriction of barvinok_enumerate_scarf_series	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: minimal documentation for the lexmin application	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	bernstein/configure.in: set AC_CONFIG_AUX_DIR to bernstein...	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: document polytope_sample	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: document polyhedron_sample	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: include barvinok library version in title	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	configure.in: fix typo	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: bib: name Kevin M. Woods consistently	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: document extra occ operations	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: update gen_fun documentation	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: reflect change of argument type of eadd	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: document barvinok_enumerate_scarf	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: add another paper refering to barvinok	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: typos	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	doc: document bernstein data structures and functions	commit \| commitdiff \| tree
2006-10-31	Sven Verdoolaege	bernstein: piecewise_lst::simplify_domains: add MaxRays...	commit \| commitdiff \| tree
2006-10-30	Sven Verdoolaege	bernstein: make poly argument of bernsteinExpansion...	commit \| commitdiff \| tree
2006-10-30	Sven Verdoolaege	reducer.h: only use infinite_icounter when dim==1	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	doc: fix typo	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	remove a few duplicate definitions of MAXRAYS	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	util.c: move duplicate Polyhedron_Read	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	barvinok.cc: add _with_options version of barvinok_enumerate_e	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	evalue.c: remove include of config.h	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	version.c: show use of Omega, GLPK and GiNaC	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	version.c: move barvinok_version from util.c	commit \| commitdiff \| tree
2006-10-28	Sven Verdoolaege	doc: document Polyhedron_Reduced_Basis and Polyhedron_Sample	commit \| commitdiff \| tree
2006-10-27	Sven Verdoolaege	export Polyhedron_Sample and Polyhedron_Reduced_Basis	commit \| commitdiff \| tree
2006-10-27	Sven Verdoolaege	doc: rename "usage" section to "applications" section	commit \| commitdiff \| tree
2006-10-27	Sven Verdoolaege	barvinok_options: rename emptiness_check to lexmin_emptiness...	commit \| commitdiff \| tree
2006-10-27	Sven Verdoolaege	doc: document barvinok_options	commit \| commitdiff \| tree
2006-10-27	Sven Verdoolaege	scarf.cc: export functions to library	commit \| commitdiff \| tree
2006-10-27	Sven Verdoolaege	scarf.cc: use barvinok_options instead of MaxRays	commit \| commitdiff \| tree
2006-10-27	Sven Verdoolaege	barvinok/barvinok.h: export _with_options versions...	commit \| commitdiff \| tree
2006-10-25	Sven Verdoolaege	barvinok_enumerate_e: remove direct include of polylib...	commit \| commitdiff \| tree
2006-10-25	Sven Verdoolaege	bernstein: minimal documentation	commit \| commitdiff \| tree
2006-10-25	Sven Verdoolaege	README: bernstein requires GiNaC	commit \| commitdiff \| tree
2006-10-25	Sven Verdoolaege	doc: add reference to bernstein techreport	commit \| commitdiff \| tree
2006-10-25	Sven Verdoolaege	Merge branch 'bernstein'	commit \| commitdiff \| tree
2006-10-25	Sven Verdoolaege	bernstein/src/TODO: remove; everything has been done	commit \| commitdiff \| tree
2006-10-10	Sven Verdoolaege	doc: add another publication that refers to barvinok	commit \| commitdiff \| tree
2006-10-10	Sven Verdoolaege	LLL: use reduction parameter 1 by default	commit \| commitdiff \| tree
2006-10-07	Sven Verdoolaege	decomposer.cc: short_vector: allow specification of...	commit \| commitdiff \| tree
2006-10-07	Sven Verdoolaege	doc: add some more publications that refer to barvinok	commit \| commitdiff \| tree
2006-10-02	Sven Verdoolaege	evalue.c: evalue_denom: declare variable at start of...	commit \| commitdiff \| tree
2006-10-02	Sven Verdoolaege	evalue.c: export evalue_denom	commit \| commitdiff \| tree
2006-10-02	Sven Verdoolaege	scarf.cc: handle case where four constraints lead to...	commit \| commitdiff \| tree
2006-10-02	Sven Verdoolaege	util.c: compress_variables: declare variable at start...	commit \| commitdiff \| tree
2006-09-29	Sven Verdoolaege	evalue.c: copy (and adapt) copyright statement from...	commit \| commitdiff \| tree
2006-09-28	Sven Verdoolaege	doc: add some references to publications	commit \| commitdiff \| tree
2006-09-26	Sven Verdoolaege	lexmin.cc: reenable optimization of checking domains...	commit \| commitdiff \| tree
2006-09-25	Sven Verdoolaege	evalue.c: clean up in_domain	commit \| commitdiff \| tree
2006-09-25	Sven Verdoolaege	edomain.cc: add EDomain::contains	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom