Public Git Hosting - barvinok.git/search

2007-02-08	Sven Verdoolaege	Handle non-unimodular cones in dual decomposition	commit \| commitdiff \| tree
2007-02-08	Sven Verdoolaege	barvinok_stats: rename unimodular_cones to base_cones	commit \| commitdiff \| tree
2007-02-08	Sven Verdoolaege	reducer.cc: extra sanity checks	commit \| commitdiff \| tree
2007-02-08	Sven Verdoolaege	Handle non-unimodular cones with a specified maximal...	commit \| commitdiff \| tree
2007-02-07	Sven Verdoolaege	decomposer.cc: decompose: minor clean-up	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	barvinok_options: include pointer to barvinok_stats...	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	add barvinok_options_free	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	barvinok_enumerate: collect stats on number of unimodular...	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	decomposer.cc: polar_decompose: remove common divisor...	commit \| commitdiff \| tree
2007-02-06	Sven Verdoolaege	partial_reducer: specialize list version of base	commit \| commitdiff \| tree
2007-02-05	Sven Verdoolaege	reducer::reduce: better handling of terms with common...	commit \| commitdiff \| tree
2007-02-05	Sven Verdoolaege	reducer::reduce: combine numerators with equal unreduced...	commit \| commitdiff \| tree
2007-02-03	Sven Verdoolaege	QQ: add operator for multiplication of vector by a...	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	reducer::reduce: take a list of numerators as input	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	gen_fun::read: read gen_fun from file descriptor	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	add gen_fun::add(short_rat *r)	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	NTL_QQ.cc: support reading from stream	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	gen_fun: add operator for printing to stream	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	genfun.cc: add short_rat copy constructor	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly_r: micro-optimizations	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly: mark some more arguments/methods const	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	short_rat::add: mark short_rat argument const	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	NTL_QQ: attempt to speed-up += operator	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly: add some documentation	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	dpoly: add some more operations	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	barvinok/genfun.h: fix comment	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	add .gitignore	commit \| commitdiff \| tree
2007-02-02	Sven Verdoolaege	QQ: add operator for multiplication by a scalar (ZZ)	commit \| commitdiff \| tree
2007-01-18	Sven Verdoolaege	Makefile.am: check-series: check --primal as well	commit \| commitdiff \| tree
2007-01-16	Sven Verdoolaege	Makefile.am: install (some) binaries	commit \| commitdiff \| tree
2007-01-15	Sven Verdoolaege	undefine CS for Solaris 10	commit \| commitdiff \| tree
2007-01-14	Sven Verdoolaege	barvinok_enumerate: handle lines in input polyhedra...	commit \| commitdiff \| tree
2007-01-10	Sven Verdoolaege	util.c: move left_inverse from lexmin.cc	commit \| commitdiff \| tree
2007-01-05	Sven Verdoolaege	gen_fun::coefficient: move printing to short_rat	commit \| commitdiff \| tree
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-04	Harald Devos	omega/parser.y: remove brackets around type in new	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
next

lattice point enumeration library

RSS Atom