Public Git Hosting - barvinok.git/tree

-rw-r--r--	231	.gitignore	blob \| blame \| history \| raw
-rw-r--r--	198	.gitmodules	blob \| blame \| history \| raw
-rw-r--r--	3228	4coins.cc	blob \| blame \| history \| raw
-rw-r--r--	924	AUTHORS	blob \| blame \| history \| raw
-rw-r--r--	12579	ChangeLog	blob \| blame \| history \| raw
-rw-r--r--	15008	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	15280	Makefile.am	blob \| blame \| history \| raw
-rw-r--r--	654	NTL_5_3_2.patch	blob \| blame \| history \| raw
-rw-r--r--	824	NTL_QQ.cc	blob \| blame \| history \| raw
-rw-r--r--	4431	README	blob \| blame \| history \| raw
-rwxr-xr-x	224	autogen.sh	blob \| blame \| history \| raw
-rw-r--r--	41234	barvinok.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	barvinok	tree \| history
-rw-r--r--	724	barvinok_count.c	blob \| blame \| history \| raw
-rw-r--r--	42039	barvinok_e.cc	blob \| blame \| history \| raw
-rw-r--r--	2335	barvinok_ehrhart.cc	blob \| blame \| history \| raw
-rw-r--r--	506	barvinok_ehrhart_options.c	blob \| blame \| history \| raw
-rw-r--r--	320	barvinok_ehrhart_options.h	blob \| blame \| history \| raw
-rw-r--r--	11952	barvinok_enumerate.cc	blob \| blame \| history \| raw
-rw-r--r--	6084	barvinok_enumerate_e.cc	blob \| blame \| history \| raw
-rw-r--r--	965	barvinok_enumerate_e_options.c	blob \| blame \| history \| raw
-rw-r--r--	418	barvinok_enumerate_e_options.h	blob \| blame \| history \| raw
-rw-r--r--	659	barvinok_enumerate_options.c	blob \| blame \| history \| raw
-rw-r--r--	375	barvinok_enumerate_options.h	blob \| blame \| history \| raw
-rw-r--r--	4540	barvinok_summate.c	blob \| blame \| history \| raw
-rw-r--r--	3503	barvinok_union.cc	blob \| blame \| history \| raw
-rw-r--r--	513	barvinok_union_options.c	blob \| blame \| history \| raw
-rw-r--r--	291	barvinok_union_options.h	blob \| blame \| history \| raw
-rw-r--r--	1754	basis_reduction.c	blob \| blame \| history \| raw
-rw-r--r--	4507	basis_reduction_cdd.cc	blob \| blame \| history \| raw
-rw-r--r--	3889	basis_reduction_glpk.c	blob \| blame \| history \| raw
-rw-r--r--	4538	basis_reduction_templ.c	blob \| blame \| history \| raw
-rw-r--r--	24364	bernoulli.c	blob \| blame \| history \| raw
-rw-r--r--	1155	bernoulli.h	blob \| blame \| history \| raw
-rw-r--r--	10060	bfcounter.cc	blob \| blame \| history \| raw
-rw-r--r--	3732	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--	8929	bound.c	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--	515	cone_hilbert_basis.c	blob \| blame \| history \| raw
-rw-r--r--	659	cone_integer_hull.c	blob \| blame \| history \| raw
-rw-r--r--	59	config_post.h	blob \| blame \| history \| raw
-rw-r--r--	15384	configure.ac	blob \| blame \| history \| raw
-rw-r--r--	3987	conversion.cc	blob \| blame \| history \| raw
-rw-r--r--	552	conversion.h	blob \| blame \| history \| raw
-rw-r--r--	795	count_domain.c	blob \| blame \| history \| raw
-rw-r--r--	7688	counter.cc	blob \| blame \| history \| raw
-rw-r--r--	2685	counter.h	blob \| blame \| history \| raw
-rw-r--r--	9018	decomposer.cc	blob \| blame \| history \| raw
-rw-r--r--	1109	decomposer.h	blob \| blame \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	6776	dpoly.cc	blob \| blame \| history \| raw
-rw-r--r--	1850	dpoly.h	blob \| blame \| history \| raw
-rw-r--r--	14540	edomain.cc	blob \| blame \| history \| raw
-rw-r--r--	2776	edomain.h	blob \| blame \| history \| raw
-rw-r--r--	26716	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--	109970	evalue.c	blob \| blame \| history \| raw
-rw-r--r--	11042	evalue_convert.cc	blob \| blame \| history \| raw
-rw-r--r--	520	evalue_convert.h	blob \| blame \| history \| raw
-rw-r--r--	649	evalue_convert_options.c	blob \| blame \| history \| raw
-rw-r--r--	11737	evalue_isl.c	blob \| blame \| history \| raw
-rw-r--r--	21849	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--	107	evalue_util.h	blob \| blame \| history \| raw
-rw-r--r--	8965	fdstream.cc	blob \| blame \| history \| raw
-rw-r--r--	3052	fdstream.h	blob \| blame \| history \| raw
-rw-r--r--	26999	genfun.cc	blob \| blame \| history \| raw
-rw-r--r--	2397	genfun_constructor.cc	blob \| blame \| history \| raw
-rw-r--r--	2166	genfun_constructor.h	blob \| blame \| history \| raw
-rwxr-xr-x	113	get_submodules.sh	blob \| blame \| history \| raw
-rw-r--r--	8035	hilbert.c	blob \| blame \| history \| raw
-rw-r--r--	289	hilbert.h	blob \| blame \| history \| raw
-rw-r--r--	15477	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
drwxr-xr-x	-	interface	tree \| history
-rw-r--r--	74310	iscc.c	blob \| blame \| history \| raw
m---------	-	isl	history
-rw-r--r--	2314	isl_aff_polylib.c	blob \| blame \| history \| raw
-rw-r--r--	258	isl_aff_polylib.h	blob \| blame \| history \| raw
-rw-r--r--	6205	isl_map_polylib.c	blob \| blame \| history \| raw
-rw-r--r--	703	isl_map_polylib.h	blob \| blame \| history \| raw
-rw-r--r--	2827	isl_obj_list.c	blob \| blame \| history \| raw
-rw-r--r--	538	isl_obj_list.h	blob \| blame \| history \| raw
-rw-r--r--	2070	isl_obj_str.c	blob \| blame \| history \| raw
-rw-r--r--	477	isl_obj_str.h	blob \| blame \| history \| raw
-rw-r--r--	3136	isl_param_util.c	blob \| blame \| history \| raw
-rw-r--r--	239	isl_param_util.h	blob \| blame \| history \| raw
-rw-r--r--	772	isl_set_polylib.h	blob \| blame \| history \| raw
-rwxr-xr-x	582	latte2polylib.pl	blob \| blame \| history \| raw
-rw-r--r--	19357	lattice_point.cc	blob \| blame \| history \| raw
-rw-r--r--	1397	lattice_point.h	blob \| blame \| history \| raw
-rw-r--r--	14704	lattice_width.c	blob \| blame \| history \| raw
-rw-r--r--	1276	lattice_width.h	blob \| blame \| history \| raw
-rw-r--r--	12419	laurent.cc	blob \| blame \| history \| raw
-rw-r--r--	244	laurent.h	blob \| blame \| history \| raw
-rw-r--r--	14485	laurent_old.cc	blob \| blame \| history \| raw
-rw-r--r--	248	laurent_old.h	blob \| blame \| history \| raw
-rw-r--r--	72546	lexmin.cc	blob \| blame \| history \| raw
-rw-r--r--	514	lexmin.h	blob \| blame \| history \| raw
-rw-r--r--	638	lexmin_options.c	blob \| blame \| history \| raw
drwxr-xr-x	-	m4	tree \| history
-rw-r--r--	871	mat_util.cc	blob \| blame \| history \| raw
-rw-r--r--	199	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_interface	tree \| history
-rw-r--r--	7418	options.c	blob \| blame \| history \| raw
-rw-r--r--	1233	param_polynomial.cc	blob \| blame \| history \| raw
-rw-r--r--	374	param_polynomial.h	blob \| blame \| history \| raw
-rw-r--r--	5396	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---------	-	pet	history
-rw-r--r--	578	polyhedron_integer_hull.c	blob \| blame \| history \| raw
-rw-r--r--	659	polyhedron_sample.c	blob \| blame \| history \| raw
m---------	-	polylib	history
drwxr-xr-x	-	polymake	tree \| history
-rw-r--r--	3097	polysign.c	blob \| blame \| history \| raw
-rw-r--r--	2034	polysign.h	blob \| blame \| history \| raw
-rw-r--r--	1440	polysign_cdd.cc	blob \| blame \| history \| raw
-rw-r--r--	3700	polysign_cdd_template.cc	blob \| blame \| history \| raw
-rw-r--r--	1462	polysign_cddf.cc	blob \| blame \| history \| raw
-rw-r--r--	4142	polysign_glpk.c	blob \| blame \| history \| raw
-rw-r--r--	4451	polysign_isl.c	blob \| blame \| history \| raw
-rw-r--r--	2590	polysign_polylib.c	blob \| blame \| history \| raw
-rw-r--r--	1676	polytope_lattice_width.c	blob \| blame \| history \| raw
-rw-r--r--	2729	polytope_scan.c	blob \| blame \| history \| raw
-rw-r--r--	882	polytope_volume.c	blob \| blame \| history \| raw
-rw-r--r--	474	power.h	blob \| blame \| history \| raw
-rw-r--r--	1725	randomtest.c	blob \| blame \| history \| raw
-rw-r--r--	3209	reduce_domain.c	blob \| blame \| history \| raw
-rw-r--r--	1328	reduce_domain.h	blob \| blame \| history \| raw
-rw-r--r--	11092	reducer.cc	blob \| blame \| history \| raw
-rw-r--r--	3251	reducer.h	blob \| blame \| history \| raw
-rw-r--r--	5218	remove_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	239	remove_equalities.h	blob \| blame \| history \| raw
-rw-r--r--	1227	remove_redundant_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	956	sample.c	blob \| blame \| history \| raw
-rw-r--r--	21481	scale.c	blob \| blame \| history \| raw
-rw-r--r--	439	scale.h	blob \| blame \| history \| raw
-rw-r--r--	25601	scarf.cc	blob \| blame \| history \| raw
-rw-r--r--	857	section_array.h	blob \| blame \| history \| raw
-rw-r--r--	4933	semigroup_holes.cc	blob \| blame \| history \| raw
-rw-r--r--	9045	series.cc	blob \| blame \| history \| raw
-rw-r--r--	1524	skewed_genfun.cc	blob \| blame \| history \| raw
-rw-r--r--	1064	skewed_genfun.h	blob \| blame \| history \| raw
-rw-r--r--	33443	summate.c	blob \| blame \| history \| raw
-rw-r--r--	521	summate.h	blob \| blame \| history \| raw
-rw-r--r--	6594	test.c	blob \| blame \| history \| raw
-rw-r--r--	11088	test_approx.c	blob \| blame \| history \| raw
-rw-r--r--	8369	test_bound.c	blob \| blame \| history \| raw
-rw-r--r--	22847	testlib.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	tests	tree \| history
drwxr-xr-x	-	testsets	tree \| history
-rw-r--r--	10975	topcom.c	blob \| blame \| history \| raw
-rw-r--r--	208	topcom.h	blob \| blame \| history \| raw
-rw-r--r--	45207	util.c	blob \| blame \| history \| raw
-rw-r--r--	2112	vector_partition_chambers.c	blob \| blame \| history \| raw
-rw-r--r--	3316	verif_ehrhart.c	blob \| blame \| history \| raw
-rw-r--r--	289	verif_ehrhart.h	blob \| blame \| history \| raw
-rw-r--r--	12951	verify.c	blob \| blame \| history \| raw
-rw-r--r--	2345	verify.h	blob \| blame \| history \| raw
-rw-r--r--	6728	verify_lexsmaller.c	blob \| blame \| history \| raw
-rw-r--r--	1419	verify_series.cc	blob \| blame \| history \| raw
-rw-r--r--	239	verify_series.h	blob \| blame \| history \| raw
-rw-r--r--	674	version.c	blob \| blame \| history \| raw
-rw-r--r--	2934	vertex_cone.cc	blob \| blame \| history \| raw
-rw-r--r--	1134	vertex_cone.h	blob \| blame \| history \| raw
-rw-r--r--	15278	volume.c	blob \| blame \| history \| raw
-rw-r--r--	238	volume.h	blob \| blame \| history \| raw
drwxr-xr-x	-	zsolve	tree \| history