Public Git Hosting - barvinok.git/tree

-rw-r--r--	144	.gitignore	blob \| blame \| history \| raw
-rw-r--r--	3756	4coins.cc	blob \| blame \| history \| raw
-rw-r--r--	461	AUTHORS	blob \| blame \| history \| raw
-rw-r--r--	6462	ChangeLog	blob \| blame \| history \| raw
-rw-r--r--	2086	DomainConstraintSimplify.c	blob \| blame \| history \| raw
-rw-r--r--	15008	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	6501	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--	2166	Param_Polyhedron_Scale_Integer.c	blob \| blame \| history \| raw
-rw-r--r--	3360	README	blob \| blame \| history \| raw
-rwxr-xr-x	120	autogen.sh	blob \| blame \| history \| raw
-rw-r--r--	96127	barvinok.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	barvinok	tree \| history
-rw-r--r--	1558	barvinok_count.c	blob \| blame \| history \| raw
-rw-r--r--	2938	barvinok_ehrhart.cc	blob \| blame \| history \| raw
-rw-r--r--	14541	barvinok_enumerate.cc	blob \| blame \| history \| raw
-rw-r--r--	6620	barvinok_enumerate_e.cc	blob \| blame \| history \| raw
-rw-r--r--	2178	barvinok_union.cc	blob \| blame \| history \| raw
-rw-r--r--	580	basis_reduction.c	blob \| blame \| history \| raw
-rw-r--r--	4146	basis_reduction_cdd.cc	blob \| blame \| history \| raw
-rw-r--r--	3615	basis_reduction_glpk.c	blob \| blame \| history \| raw
-rw-r--r--	3713	basis_reduction_templ.c	blob \| blame \| history \| raw
-rw-r--r--	13895	bernstein.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	bernstein	tree \| history
-rw-r--r--	9607	bfcounter.cc	blob \| blame \| history \| raw
-rw-r--r--	3699	bfcounter.h	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--	11468	configure.in	blob \| blame \| history \| raw
-rw-r--r--	3854	conversion.cc	blob \| blame \| history \| raw
-rw-r--r--	584	conversion.h	blob \| blame \| history \| raw
-rw-r--r--	795	count_domain.c	blob \| blame \| history \| raw
-rw-r--r--	9435	decomposer.cc	blob \| blame \| history \| raw
-rw-r--r--	1264	decomposer.h	blob \| blame \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	5646	dpoly.cc	blob \| blame \| history \| raw
-rw-r--r--	1688	dpoly.h	blob \| blame \| history \| raw
-rw-r--r--	15438	edomain.cc	blob \| blame \| history \| raw
-rw-r--r--	2841	edomain.h	blob \| blame \| history \| raw
-rw-r--r--	2865	ev_size.c	blob \| blame \| history \| raw
-rw-r--r--	92549	evalue.c	blob \| blame \| history \| raw
-rw-r--r--	1468	evalue_convert.c	blob \| blame \| history \| raw
-rw-r--r--	415	evalue_convert.h	blob \| blame \| history \| raw
-rw-r--r--	1620	evalue_util.cc	blob \| blame \| history \| raw
-rw-r--r--	124	evalue_util.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--	24103	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--	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--	17509	lattice_point.cc	blob \| blame \| history \| raw
-rw-r--r--	648	lattice_point.h	blob \| blame \| history \| raw
-rw-r--r--	78303	lexmin.cc	blob \| blame \| history \| raw
-rw-r--r--	535	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--	20149	maximize.cc	blob \| blame \| history \| raw
-rw-r--r--	184	mpz_divisible_p.c	blob \| blame \| history \| raw
drwxr-xr-x	-	omega	tree \| history
-rw-r--r--	3977	options.c	blob \| blame \| history \| raw
-rw-r--r--	1235	piptest.c	blob \| blame \| history \| raw
-rw-r--r--	7579	piputil.c	blob \| blame \| history \| raw
-rw-r--r--	102	piputil.h	blob \| blame \| history \| raw
-rw-r--r--	699	polyhedron_sample.c	blob \| blame \| history \| raw
drwxr-xr-x	-	polymake	tree \| history
-rw-r--r--	883	polysign.c	blob \| blame \| history \| raw
-rw-r--r--	772	polysign.h	blob \| blame \| history \| raw
-rw-r--r--	1311	polysign_cdd.cc	blob \| blame \| history \| raw
-rw-r--r--	2585	polysign_cdd_template.cc	blob \| blame \| history \| raw
-rw-r--r--	1250	polysign_cddf.cc	blob \| blame \| history \| raw
-rw-r--r--	1215	polysign_polylib.c	blob \| blame \| history \| raw
-rw-r--r--	2780	polytope_scan.c	blob \| blame \| history \| raw
-rw-r--r--	1696	randomtest.c	blob \| blame \| history \| raw
-rw-r--r--	1595	reduce_domain.c	blob \| blame \| history \| raw
-rw-r--r--	279	reduce_domain.h	blob \| blame \| history \| raw
-rw-r--r--	10899	reducer.cc	blob \| blame \| history \| raw
-rw-r--r--	4056	reducer.h	blob \| blame \| history \| raw
-rw-r--r--	3075	remove_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	531	remove_equalities.h	blob \| blame \| history \| raw
-rw-r--r--	1150	remove_redundant_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	9577	sample.c	blob \| blame \| history \| raw
-rw-r--r--	25909	scarf.cc	blob \| blame \| history \| raw
-rw-r--r--	5146	test.c	blob \| blame \| history \| raw
drwxr-xr-x	-	tests	tree \| history
-rw-r--r--	40944	util.c	blob \| blame \| history \| raw
-rw-r--r--	5738	verif_ehrhart.c	blob \| blame \| history \| raw
-rw-r--r--	431	verif_ehrhart.h	blob \| blame \| history \| raw
-rw-r--r--	1946	verify.c	blob \| blame \| history \| raw
-rw-r--r--	496	verify.h	blob \| blame \| history \| raw
-rw-r--r--	6545	verify_lexsmaller.c	blob \| blame \| history \| raw
-rw-r--r--	703	version.c	blob \| blame \| history \| raw