Public Git Hosting - barvinok.git/tree

-rw-r--r--	144	.gitignore	blob \| blame \| history \| raw
-rw-r--r--	145	.gitmodules	blob \| blame \| history \| raw
-rw-r--r--	3925	4coins.cc	blob \| blame \| history \| raw
-rw-r--r--	581	AUTHORS	blob \| blame \| history \| raw
-rw-r--r--	9255	ChangeLog	blob \| blame \| history \| raw
-rw-r--r--	15008	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	12739	Makefile.am	blob \| blame \| history \| raw
-rw-r--r--	654	NTL_5_3_2.patch	blob \| blame \| history \| raw
-rw-r--r--	629	NTL_QQ.cc	blob \| blame \| history \| raw
-rw-r--r--	3192	README	blob \| blame \| history \| raw
-rwxr-xr-x	252	autogen.sh	blob \| blame \| history \| raw
-rw-r--r--	37166	barvinok.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	barvinok	tree \| history
-rw-r--r--	785	barvinok_count.c	blob \| blame \| history \| raw
-rw-r--r--	43553	barvinok_e.cc	blob \| blame \| history \| raw
-rw-r--r--	3254	barvinok_ehrhart.cc	blob \| blame \| history \| raw
-rw-r--r--	9773	barvinok_enumerate.cc	blob \| blame \| history \| raw
-rw-r--r--	7478	barvinok_enumerate_e.cc	blob \| blame \| history \| raw
-rw-r--r--	4526	barvinok_summate.cc	blob \| blame \| history \| raw
-rw-r--r--	2694	barvinok_union.cc	blob \| blame \| history \| raw
-rw-r--r--	916	basis_reduction.c	blob \| blame \| history \| raw
-rw-r--r--	4507	basis_reduction_cdd.cc	blob \| blame \| history \| raw
-rw-r--r--	3765	basis_reduction_glpk.c	blob \| blame \| history \| raw
-rw-r--r--	5085	basis_reduction_pip.c	blob \| blame \| history \| raw
-rw-r--r--	4855	basis_reduction_pip_dual.c	blob \| blame \| history \| raw
-rw-r--r--	4538	basis_reduction_templ.c	blob \| blame \| history \| raw
-rw-r--r--	24397	bernoulli.c	blob \| blame \| history \| raw
-rw-r--r--	1155	bernoulli.h	blob \| blame \| history \| raw
-rw-r--r--	20140	bernstein.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	bernstein	tree \| history
-rw-r--r--	9979	bfcounter.cc	blob \| blame \| history \| raw
-rw-r--r--	3706	bfcounter.h	blob \| blame \| history \| raw
-rw-r--r--	1333	binomial.c	blob \| blame \| history \| raw
-rw-r--r--	183	binomial.h	blob \| blame \| history \| raw
-rw-r--r--	10960	bound.cc	blob \| blame \| history \| raw
-rw-r--r--	246	cdd94e-test	blob \| blame \| history \| raw
-rw-r--r--	1281	collect_nonsimple.c	blob \| blame \| history \| raw
-rw-r--r--	1348	collect_polytopes.c	blob \| blame \| history \| raw
-rw-r--r--	1314	collect_polytopes2.c	blob \| blame \| history \| raw
-rw-r--r--	2331	combine.c	blob \| blame \| history \| raw
-rw-r--r--	185	combine.h	blob \| blame \| history \| raw
-rw-r--r--	515	cone_hilbert_basis.c	blob \| blame \| history \| raw
-rw-r--r--	720	cone_integer_hull.c	blob \| blame \| history \| raw
-rw-r--r--	16521	configure.in	blob \| blame \| history \| raw
-rw-r--r--	3587	conversion.cc	blob \| blame \| history \| raw
-rw-r--r--	540	conversion.h	blob \| blame \| history \| raw
-rw-r--r--	795	count_domain.c	blob \| blame \| history \| raw
-rw-r--r--	7607	counter.cc	blob \| blame \| history \| raw
-rw-r--r--	2578	counter.h	blob \| blame \| history \| raw
-rw-r--r--	8987	decomposer.cc	blob \| blame \| history \| raw
-rw-r--r--	1152	decomposer.h	blob \| blame \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	6693	dpoly.cc	blob \| blame \| history \| raw
-rw-r--r--	1880	dpoly.h	blob \| blame \| history \| raw
-rw-r--r--	14545	edomain.cc	blob \| blame \| history \| raw
-rw-r--r--	2793	edomain.h	blob \| blame \| history \| raw
-rw-r--r--	26657	euler.cc	blob \| blame \| history \| raw
-rw-r--r--	242	euler.h	blob \| blame \| history \| raw
-rw-r--r--	2865	ev_size.c	blob \| blame \| history \| raw
-rw-r--r--	108762	evalue.c	blob \| blame \| history \| raw
-rw-r--r--	11444	evalue_convert.cc	blob \| blame \| history \| raw
-rw-r--r--	461	evalue_convert.h	blob \| blame \| history \| raw
-rw-r--r--	21834	evalue_read.c	blob \| blame \| history \| raw
-rw-r--r--	468	evalue_read.h	blob \| blame \| history \| raw
-rw-r--r--	1640	evalue_util.cc	blob \| blame \| history \| raw
-rw-r--r--	124	evalue_util.h	blob \| blame \| history \| raw
-rw-r--r--	943	ex_convert.cc	blob \| blame \| history \| raw
-rw-r--r--	128	ex_convert.h	blob \| blame \| history \| raw
-rw-r--r--	8943	fdstream.cc	blob \| blame \| history \| raw
-rw-r--r--	3052	fdstream.h	blob \| blame \| history \| raw
-rw-r--r--	26106	genfun.cc	blob \| blame \| history \| raw
-rw-r--r--	2290	genfun_constructor.cc	blob \| blame \| history \| raw
-rw-r--r--	2108	genfun_constructor.h	blob \| blame \| history \| raw
-rw-r--r--	8004	hilbert.c	blob \| blame \| history \| raw
-rw-r--r--	289	hilbert.h	blob \| blame \| history \| raw
-rw-r--r--	15457	hull.c	blob \| blame \| history \| raw
-rw-r--r--	343	hull.h	blob \| blame \| history \| raw
-rw-r--r--	2128	ilp.c	blob \| blame \| history \| raw
-rw-r--r--	312	ilp.h	blob \| blame \| history \| raw
-rw-r--r--	50	initcdd.cc	blob \| blame \| history \| raw
-rw-r--r--	214	initcdd.h	blob \| blame \| history \| raw
-rwxr-xr-x	582	latte2polylib.pl	blob \| blame \| history \| raw
-rw-r--r--	19452	lattice_point.cc	blob \| blame \| history \| raw
-rw-r--r--	1440	lattice_point.h	blob \| blame \| history \| raw
-rw-r--r--	12865	lattice_width.c	blob \| blame \| history \| raw
-rw-r--r--	947	lattice_width.h	blob \| blame \| history \| raw
-rw-r--r--	19340	laurent.cc	blob \| blame \| history \| raw
-rw-r--r--	244	laurent.h	blob \| blame \| history \| raw
-rw-r--r--	76170	lexmin.cc	blob \| blame \| history \| raw
-rw-r--r--	358	lexmin.h	blob \| blame \| history \| raw
drwxr-xr-x	-	lib	tree \| history
drwxr-xr-x	-	m4	tree \| history
-rw-r--r--	871	mat_util.cc	blob \| blame \| history \| raw
-rw-r--r--	225	mat_util.h	blob \| blame \| history \| raw
-rw-r--r--	284	matrix_read.cc	blob \| blame \| history \| raw
-rw-r--r--	114	matrix_read.h	blob \| blame \| history \| raw
-rw-r--r--	184	mpz_divisible_p.c	blob \| blame \| history \| raw
-rw-r--r--	9178	normalization.c	blob \| blame \| history \| raw
-rw-r--r--	294	normalization.h	blob \| blame \| history \| raw
drwxr-xr-x	-	omega	tree \| history
-rw-r--r--	11494	options.c	blob \| blame \| history \| raw
-rw-r--r--	5797	param_util.c	blob \| blame \| history \| raw
-rw-r--r--	732	param_util.h	blob \| blame \| history \| raw
drwxr-xr-x	-	parker	tree \| history
m---------	-	piplib	history
-rw-r--r--	1186	piptest.c	blob \| blame \| history \| raw
-rw-r--r--	7494	piputil.c	blob \| blame \| history \| raw
-rw-r--r--	183	piputil.h	blob \| blame \| history \| raw
-rw-r--r--	639	polyhedron_integer_hull.c	blob \| blame \| history \| raw
-rw-r--r--	740	polyhedron_sample.c	blob \| blame \| history \| raw
m---------	-	polylib	history
drwxr-xr-x	-	polymake	tree \| history
-rw-r--r--	4204	polysign.c	blob \| blame \| history \| raw
-rw-r--r--	2856	polysign.h	blob \| blame \| history \| raw
-rw-r--r--	1440	polysign_cdd.cc	blob \| blame \| history \| raw
-rw-r--r--	4174	polysign_cdd_template.cc	blob \| blame \| history \| raw
-rw-r--r--	1519	polysign_cddf.cc	blob \| blame \| history \| raw
-rw-r--r--	4216	polysign_glpk.c	blob \| blame \| history \| raw
-rw-r--r--	2090	polysign_pip.c	blob \| blame \| history \| raw
-rw-r--r--	3230	polysign_polylib.c	blob \| blame \| history \| raw
-rw-r--r--	2161	polytope_lattice_width.c	blob \| blame \| history \| raw
-rw-r--r--	1344	polytope_minimize.c	blob \| blame \| history \| raw
-rw-r--r--	3263	polytope_scan.c	blob \| blame \| history \| raw
-rw-r--r--	885	polytope_volume.c	blob \| blame \| history \| raw
-rw-r--r--	474	power.h	blob \| blame \| history \| raw
-rw-r--r--	1696	randomtest.c	blob \| blame \| history \| raw
-rw-r--r--	9241	range.cc	blob \| blame \| history \| raw
-rw-r--r--	292	range.h	blob \| blame \| history \| raw
-rw-r--r--	3178	reduce_domain.c	blob \| blame \| history \| raw
-rw-r--r--	1328	reduce_domain.h	blob \| blame \| history \| raw
-rw-r--r--	10915	reducer.cc	blob \| blame \| history \| raw
-rw-r--r--	3267	reducer.h	blob \| blame \| history \| raw
-rw-r--r--	5020	remove_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	239	remove_equalities.h	blob \| blame \| history \| raw
-rw-r--r--	1248	remove_redundant_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	11538	sample.c	blob \| blame \| history \| raw
-rw-r--r--	21430	scale.c	blob \| blame \| history \| raw
-rw-r--r--	439	scale.h	blob \| blame \| history \| raw
-rw-r--r--	25902	scarf.cc	blob \| blame \| history \| raw
-rw-r--r--	857	section_array.h	blob \| blame \| history \| raw
-rw-r--r--	9996	series.cc	blob \| blame \| history \| raw
-rw-r--r--	1524	skewed_genfun.cc	blob \| blame \| history \| raw
-rw-r--r--	1036	skewed_genfun.h	blob \| blame \| history \| raw
-rw-r--r--	20039	summate.c	blob \| blame \| history \| raw
-rw-r--r--	521	summate.h	blob \| blame \| history \| raw
-rw-r--r--	6793	test.c	blob \| blame \| history \| raw
-rw-r--r--	11829	test_approx.c	blob \| blame \| history \| raw
-rw-r--r--	8269	test_bound.cc	blob \| blame \| history \| raw
-rw-r--r--	24134	testlib.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	tests	tree \| history
drwxr-xr-x	-	testsets	tree \| history
-rw-r--r--	10750	topcom.c	blob \| blame \| history \| raw
-rw-r--r--	208	topcom.h	blob \| blame \| history \| raw
-rw-r--r--	47472	util.c	blob \| blame \| history \| raw
-rw-r--r--	3292	verif_ehrhart.c	blob \| blame \| history \| raw
-rw-r--r--	289	verif_ehrhart.h	blob \| blame \| history \| raw
-rw-r--r--	11827	verify.c	blob \| blame \| history \| raw
-rw-r--r--	1834	verify.h	blob \| blame \| history \| raw
-rw-r--r--	7244	verify_lexsmaller.c	blob \| blame \| history \| raw
-rw-r--r--	1430	verify_series.cc	blob \| blame \| history \| raw
-rw-r--r--	239	verify_series.h	blob \| blame \| history \| raw
-rw-r--r--	735	version.c	blob \| blame \| history \| raw
-rw-r--r--	15112	volume.c	blob \| blame \| history \| raw
-rw-r--r--	238	volume.h	blob \| blame \| history \| raw
drwxr-xr-x	-	zsolve	tree \| history