Public Git Hosting - barvinok.git/search

2007-01-05	Sven Verdoolaege	gen_fun::coefficient: new version returning ZZ	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	genfun.cc: move coefficient computation to short_rat	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	partial_reducer: restart computation if random vector...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	gen_fun: expose clear_terms, a method for clearing...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	gen_fun::Hadamard_product: propagate full options to...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate: integrate verif_ehrhart	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate: integrate barvinok_series	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate: use argp	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	lexmin: make lexmin options private	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	Revert "bernstein/configure.in: remove redundant change...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok.cc: make use of sampling for counting infinite...	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	barvinok_enumerate_e: respect --table option	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	lexmin.cc: move selection of gbr solver to options.c	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	lexmin: use argp	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	barvinok_enumerate_e: extract out verification options	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	barvinok_enumerate_e: print warning when --omega or...	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	barvinok/polylib.h: define value_subtract and value_addmul...	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	decomposer.cc: decompose: micro-optimization	commit \| commitdiff \| tree
2007-01-04	Sven Verdoolaege	signed_cone: store rays of cone	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	lexmin: disable use of lookup-tables	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	barvinok_enumerate_e.cc: fix argp options parser	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	options.c: move choice of use of lookup-table to barvinok_op...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	lattice_point.cc: fix #ifndef USE_MODULO code path	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: short_vector: remove redundant code	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: short_vector: negate lambda if z is...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	barvinok.cc: series: only require rays to be revlex...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	barvinok.cc: series: pass full options to barvinok_count	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	np_base::handle: pass around rays matrix instead of...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: support primal decomposition	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	decomposer.cc: barvinok_decompose: implement in terms...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	barvinok_enumerate: respect incremental_specialization...	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	introduce signed_cone struct	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	separate out decomposition	commit \| commitdiff \| tree
2007-01-03	Sven Verdoolaege	test: use argp parser	commit \| commitdiff \| tree
2006-12-28	Sven Verdoolaege	update argp from gnulib and add progname module	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_enumerate_e.cc: don't exit on unrecognized...	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	lib/argp.h: remove __NTH for __argp_usage inline function	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_enumerate_e.cc: remove another duplicate definition...	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_enumerate_e: use argp parser	commit \| commitdiff \| tree
2006-12-27	Sven Verdoolaege	barvinok_count: use argp parser	commit \| commitdiff \| tree
2006-12-26	Sven Verdoolaege	options.c: add argp parse	commit \| commitdiff \| tree
2006-12-26	Sven Verdoolaege	add argp from gnulib	commit \| commitdiff \| tree
2006-12-26	Sven Verdoolaege	scarf.cc: make compatible with older versions of PolyLib	commit \| commitdiff \| tree
2006-12-26	Sven Verdoolaege	add missing assert.h #includes	commit \| commitdiff \| tree
2006-12-26	Sven Verdoolaege	Makefile.am: add remove_equalities.h to distribution	commit \| commitdiff \| tree
2006-12-26	Sven Verdoolaege	configure.in: only configure bernstein if GiNaC was...	commit \| commitdiff \| tree
2006-12-22	Sven Verdoolaege	bernstein: configure.in: check for GiNaC	commit \| commitdiff \| tree
2006-12-19	Sven Verdoolaege	bernstein: remove extra qualifications from polynomial...	commit \| commitdiff \| tree
2006-12-19	Sven Verdoolaege	bernstein/src/main.cpp: remove redundant include	commit \| commitdiff \| tree
2006-12-18	Sven Verdoolaege	short_rat::normalize: make powers in the denominator...	commit \| commitdiff \| tree
2006-12-18	Sven Verdoolaege	gen_fun::substitute: normalize terms	commit \| commitdiff \| tree
2006-12-18	Sven Verdoolaege	dpoly_r: store terms in a set rather than in a vector	commit \| commitdiff \| tree
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
next

lattice point enumeration library

RSS Atom