Public Git Hosting - barvinok.git/search

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
2005-09-03	Sven Verdoolaege	barvinok_count: after factorization, P may be a union...	commit \| commitdiff \| tree
2005-09-03	Sven Verdoolaege	Enumeration_Free: domain may be a union of polyhedra.	commit \| commitdiff \| tree
2005-09-03	Sven Verdoolaege	barvinok_ranking_ev: fix typo	commit \| commitdiff \| tree
2005-08-22	Sven Verdoolaege	barvinok_enumerate: only compute true context if polytope...	commit \| commitdiff \| tree
2005-08-21	Sven Verdoolaege	Move installed headers into separate directory.	commit \| commitdiff \| tree
2005-08-21	Sven Verdoolaege	Rename ev_operations to evalue.	commit \| commitdiff \| tree
2005-08-21	Sven Verdoolaege	Remove unused files.	commit \| commitdiff \| tree
2005-08-21	Sven Verdoolaege	Merge "barvinok2.h" into "barvinok.h".	commit \| commitdiff \| tree
2005-08-20	Sven Verdoolaege	Declare barvinok_ranking unconditionally.	commit \| commitdiff \| tree
2005-08-20	Sven Verdoolaege	barvinok_enumerate: always compute true context even...	commit \| commitdiff \| tree
2005-08-18	Sven Verdoolaege	barvinok_ranking: barvinok version of Polyhedron_Ranking	commit \| commitdiff \| tree
2005-08-18	Sven Verdoolaege	Enumeration_Free: avoid compiler warning.	commit \| commitdiff \| tree
2005-08-18	Sven Verdoolaege	test: use _ev variant of barvinok_enumerate	commit \| commitdiff \| tree
2005-08-18	Sven Verdoolaege	Remove PolyLib's reduce_evalue.	commit \| commitdiff \| tree
2005-08-18	Sven Verdoolaege	triangularize_cone: rename to triangulate_cone	commit \| commitdiff \| tree
2005-08-18	Sven Verdoolaege	Remove {Param,}Polyhedron_Reduce	commit \| commitdiff \| tree
2005-08-17	Sven Verdoolaege	Solaris: warn about libtool problem.	commit \| commitdiff \| tree
2005-08-17	Sven Verdoolaege	barvinok_enumerate: make sure the input polyhedra are...	commit \| commitdiff \| tree
2005-08-17	Sven Verdoolaege	barvinok_enumerate: factor polyhedron into independent...	commit \| commitdiff \| tree
2005-08-15	Sven Verdoolaege	Redo enumeration if random vector turns out to be bad.	commit \| commitdiff \| tree
2005-08-12	Sven Verdoolaege	verif_ehrhart: only do manual count for parameter values...	commit \| commitdiff \| tree
2005-08-12	Sven Verdoolaege	Polyhedron_Factor: don't ignore pivot rows.	commit \| commitdiff \| tree
2005-08-12	Sven Verdoolaege	More product polytope tests.	commit \| commitdiff \| tree
2005-08-11	Sven Verdoolaege	barvinok_count: ignore next pointer of P argument	commit \| commitdiff \| tree
2005-08-11	Sven Verdoolaege	Redo some checks if some constraints turned out to...	commit \| commitdiff \| tree
2005-08-11	Sven Verdoolaege	test: postpone computation of dual if allowed by PolyLib.	commit \| commitdiff \| tree
2005-08-10	Sven Verdoolaege	Avoid duplicate frees in ~bfe_term().	commit \| commitdiff \| tree
2005-08-10	Sven Verdoolaege	check_poly: fix memory leak.	commit \| commitdiff \| tree
2005-08-10	Sven Verdoolaege	Remove unused variables.	commit \| commitdiff \| tree
2005-08-10	Sven Verdoolaege	barvinok_count: factor polyhedron into independent...	commit \| commitdiff \| tree
2005-08-10	Sven Verdoolaege	barvinok_count: properly handle 0D polytopes	commit \| commitdiff \| tree
2005-08-10	Sven Verdoolaege	barvinok_count.c: remove magic constant	commit \| commitdiff \| tree
next

lattice point enumeration library

RSS Atom