Public Git Hosting - barvinok.git/search

2006-02-22	Sven Verdoolaege	version 0.20	commit \| commitdiff \| tree
2006-02-22	Sven Verdoolaege	create correct GIT_HEAD_ID in distribution	commit \| commitdiff \| tree
2006-02-22	Sven Verdoolaege	barvinok_union: document input format	commit \| commitdiff \| tree
2006-02-21	Sven Verdoolaege	Merge branch 'new_piplib'	commit \| commitdiff \| tree
2006-02-16	Sven Verdoolaege	only run tests that require piplib when piplib is available	commit \| commitdiff \| tree
2006-02-16	Sven Verdoolaege	barvinok_enumerate_e: only link in omega libraries...	commit \| commitdiff \| tree
2006-02-16	Sven Verdoolaege	check for piplib 1.3.6	commit \| commitdiff \| tree
2006-02-15	Sven Verdoolaege	some examples from Rachid to test barvinok_enumerate_e	commit \| commitdiff \| tree
2006-02-15	Sven Verdoolaege	add barvinok_union.c	commit \| commitdiff \| tree
2006-02-15	Sven Verdoolaege	add barvinok_enumerate_union function	commit \| commitdiff \| tree
2006-02-15	Sven Verdoolaege	gen_fun: add Hadamard_product method	commit \| commitdiff \| tree
2006-02-15	Sven Verdoolaege	gen_fun::operator evalue *(): fix memory leaks.	commit \| commitdiff \| tree
2006-02-15	Sven Verdoolaege	genfun.cc:print_power: remove spaces around "*" in...	commit \| commitdiff \| tree
2006-02-15	Sven Verdoolaege	barvinok_series: return empty gen_fun for empty polytope.	commit \| commitdiff \| tree
2006-02-14	Sven Verdoolaege	barvinok_series: remove unused variables.	commit \| commitdiff \| tree
2006-02-14	Sven Verdoolaege	barvinok.cc: extract out some code common to generating...	commit \| commitdiff \| tree
2006-02-14	Sven Verdoolaege	barvinok.cc: introduce np_base, a base class for non...	commit \| commitdiff \| tree
2006-02-14	Sven Verdoolaege	barvinok.cc: do virtual polar_decomposer inheritance...	commit \| commitdiff \| tree
2006-02-10	Sven Verdoolaege	barvinok_series: remove some more equalities from the...	commit \| commitdiff \| tree
2006-02-10	Sven Verdoolaege	check for compress_parms function	commit \| commitdiff \| tree
2006-02-10	Sven Verdoolaege	gen_fun: add substitute method.	commit \| commitdiff \| tree
2006-02-09	Sven Verdoolaege	barvinok/genfun.h: a bit more documentation.	commit \| commitdiff \| tree
2006-02-09	Sven Verdoolaege	adapt determination of git HEAD to recent git versions	commit \| commitdiff \| tree
2006-02-08	Sven Verdoolaege	verify_main.cc: fix typo that would let check_series...	commit \| commitdiff \| tree
2006-02-08	Sven Verdoolaege	verify_main.cc: also print explicit function when verbose	commit \| commitdiff \| tree
2006-02-08	Sven Verdoolaege	gen_fun::add: normalize coefficients	commit \| commitdiff \| tree
2006-01-29	Sven Verdoolaege	test barvinok_enumerate_e --omega	commit \| commitdiff \| tree
2006-01-29	Sven Verdoolaege	barvinok_enumerate_e: only provide --pip option if...	commit \| commitdiff \| tree
2006-01-29	Sven Verdoolaege	barvinok_enumerate_e.cc: memory clean up.	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	integrate verif_ehrhart_e into barvinok_enumerate_e	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	barvinok_enumerate_e: rename --range option to --range...	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	barvinok_enumerate_e: optionally use omega to simplify...	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	omega/convert.cc: add conversion from PolyLib to Omega	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	omega/convert.cc: extract out conversion from Omega...	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	barvinok/util.h: include gmp.h	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	let OMEGA_ vars contain omega related flags exclusively	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	reduce_in_domain: fix some memory leaks	commit \| commitdiff \| tree
2006-01-28	Sven Verdoolaege	scan_quast: combine quast parts if we are projecting...	commit \| commitdiff \| tree
2006-01-27	Sven Verdoolaege	barvinok_enumerate_pip: no need to remove negative...	commit \| commitdiff \| tree
2006-01-27	Sven Verdoolaege	pip_projectout: allow unknows and parameters to be...	commit \| commitdiff \| tree
2006-01-27	Sven Verdoolaege	pip_projectout: let piplib simplify solution.	commit \| commitdiff \| tree
2006-01-27	Sven Verdoolaege	barvinok_enumerate_e: print current problem in form...	commit \| commitdiff \| tree
2006-01-27	Sven Verdoolaege	occ: reduce evalue before printing	commit \| commitdiff \| tree
2006-01-20	Sven Verdoolaege	version 0.19	commit \| commitdiff \| tree
2006-01-20	Sven Verdoolaege	add some required files to distribution	commit \| commitdiff \| tree
2006-01-18	Sven Verdoolaege	Use correct include dir for omega headers.	commit \| commitdiff \| tree
2006-01-18	Sven Verdoolaege	piptest: declare variable at start of code block.	commit \| commitdiff \| tree
2006-01-18	Sven Verdoolaege	occ: correct calculation of dimension.	commit \| commitdiff \| tree
2006-01-13	Sven Verdoolaege	export EVALUE_IS_ONE macro	commit \| commitdiff \| tree
2006-01-11	Sven Verdoolaege	evalue/print_enode: create names if none are provided.	commit \| commitdiff \| tree
2006-01-07	Sven Verdoolaege	occ: add "ranking" operation.	commit \| commitdiff \| tree
2006-01-07	Sven Verdoolaege	occ/card: fix memory leak.	commit \| commitdiff \| tree
2006-01-07	Sven Verdoolaege	occ: compute number of existential variables correctly.	commit \| commitdiff \| tree
2006-01-04	Sven Verdoolaege	is_zero_on: fix invalid read.	commit \| commitdiff \| tree
2006-01-04	Sven Verdoolaege	Polyhedron_is_infinite: simplify and warn that it may...	commit \| commitdiff \| tree
2006-01-04	Sven Verdoolaege	occ: rename "count" operation to "card".	commit \| commitdiff \| tree
2005-12-28	Sven Verdoolaege	occ: add "count" operation.	commit \| commitdiff \| tree
2005-12-28	Sven Verdoolaege	omega/parser.y: rename some constants.	commit \| commitdiff \| tree
2005-12-28	Sven Verdoolaege	omega/parser.y: use free to free malloc'ed memory.	commit \| commitdiff \| tree
2005-12-28	Sven Verdoolaege	Compile topdir before omega subdir.	commit \| commitdiff \| tree
2005-12-28	Sven Verdoolaege	barvinok/barvinok.h: include barvinok/evalue.h	commit \| commitdiff \| tree
2005-12-28	Sven Verdoolaege	barvinok/evalue.h: undefine divide from polylib's arithmetique.h	commit \| commitdiff \| tree
2005-12-27	Sven Verdoolaege	occ: base omega calculator.	commit \| commitdiff \| tree
2005-12-27	Sven Verdoolaege	Files copied from omega_calc.	commit \| commitdiff \| tree
2005-12-27	Sven Verdoolaege	eadd_partitions: try to combine multiple domains with...	commit \| commitdiff \| tree
2005-12-27	Sven Verdoolaege	util: add DomainConcat.	commit \| commitdiff \| tree
2005-12-27	Sven Verdoolaege	barvinok_enumerate: use POL_NO_DUAL if available.	commit \| commitdiff \| tree
2005-12-27	Sven Verdoolaege	Don't call Polyhedron2Param_SimplifiedDomain with POL_NO_DUAL.	commit \| commitdiff \| tree
2005-12-26	Sven Verdoolaege	Regression test.	commit \| commitdiff \| tree
2005-12-26	Sven Verdoolaege	More use of POL_NO_DUAL.	commit \| commitdiff \| tree
2005-12-26	Sven Verdoolaege	barvinok_enumerate_ev: compute vertices of polytope...	commit \| commitdiff \| tree
2005-12-26	Sven Verdoolaege	reduce_evalue: ensure a domain is really empty before...	commit \| commitdiff \| tree
2005-12-08	Sven Verdoolaege	piputil: remove unneeded functionality.	commit \| commitdiff \| tree
2005-12-08	Sven Verdoolaege	barvinok_enumerate_pip: simply project out existential...	commit \| commitdiff \| tree
2005-12-08	Sven Verdoolaege	Update piputil.c with some new functionality currently...	commit \| commitdiff \| tree
2005-10-27	Sven Verdoolaege	piputil.quast2poly: pass in the number of PIP parameters	commit \| commitdiff \| tree
2005-10-27	Sven Verdoolaege	Also test the --pip variant of barvinok_ehrhart_e.	commit \| commitdiff \| tree
2005-09-15	Sven Verdoolaege	add README.Solaris to distribution	commit \| commitdiff \| tree
2005-09-15	Sven Verdoolaege	Update ChangeLog.	commit \| commitdiff \| tree
2005-09-15	Sven Verdoolaege	Bump version.	commit \| commitdiff \| tree
2005-09-12	Sven Verdoolaege	barvinok_lexsmaller_ev: treat extra variables as existential...	commit \| commitdiff \| tree
2005-09-08	Sven Verdoolaege	verify_lexsmaller: add missing static qualifier.	commit \| commitdiff \| tree
2005-09-08	Sven Verdoolaege	verify_lexsmaller: support existential vars in input...	commit \| commitdiff \| tree
2005-09-08	Sven Verdoolaege	check_lexsmaller: fix error output.	commit \| commitdiff \| tree
2005-09-08	Sven Verdoolaege	barvinok_ranking: rename to barvinok_lexsmaller	commit \| commitdiff \| tree
2005-09-08	Sven Verdoolaege	barvinok_ranking: adapt to new calling convention of...	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	verify_ranking: only compile if LexSmaller found in...	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	ParamLine_Length: correct number of parameters in ...	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	Use PolyLib's copy of DomainConstraintSimplify if available.	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	Add a test for barvinok_ehrhart_e.	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	Propagate renaming from RankingPolytopes to LexSmaller...	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	pip_lexminmax: fix computation of lexmax (lightly tested).	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	pip_lexminmax: allow computation of lexmax (untested).	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	piputil.c: make debugging output depend on preprocessor...	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	piputil.c: include piputil.h	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	pip_lexmin: allow position of minimized vars to be...	commit \| commitdiff \| tree
2005-09-07	Sven Verdoolaege	barvinok_enumerate_e: make sure the input polyhedra...	commit \| commitdiff \| tree
2005-09-06	Sven Verdoolaege	piputil.c: deal with partial Polyhedrons (untested).	commit \| commitdiff \| tree
2005-09-04	Sven Verdoolaege	verify_ranking.c: add some sanity checks.	commit \| commitdiff \| tree
2005-09-03	Sven Verdoolaege	New verify_ranking application.	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom