Public Git Hosting - barvinok.git/tree

-rw-r--r--	3739	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--	5452	Makefile.am	blob \| blame \| history \| raw
-rw-r--r--	654	NTL_5_3_2.patch	blob \| blame \| history \| raw
-rw-r--r--	302	NTL_QQ.cc	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--	93082	barvinok.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	barvinok	tree \| history
-rw-r--r--	1542	barvinok_count.c	blob \| blame \| history \| raw
-rw-r--r--	2921	barvinok_ehrhart.cc	blob \| blame \| history \| raw
-rw-r--r--	2315	barvinok_enumerate.c	blob \| blame \| history \| raw
-rw-r--r--	11160	barvinok_enumerate_e.cc	blob \| blame \| history \| raw
-rw-r--r--	1800	barvinok_series.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--	4180	bernstein.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	bernstein	tree \| history
-rw-r--r--	9327	bfcounter.cc	blob \| blame \| history \| raw
-rw-r--r--	3507	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--	12158	configure.in	blob \| blame \| history \| raw
-rw-r--r--	3037	conversion.cc	blob \| blame \| history \| raw
-rw-r--r--	461	conversion.h	blob \| blame \| history \| raw
-rw-r--r--	795	count_domain.c	blob \| blame \| history \| raw
-rw-r--r--	6253	decomposer.cc	blob \| blame \| history \| raw
-rw-r--r--	711	decomposer.h	blob \| blame \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	5166	dpoly.cc	blob \| blame \| history \| raw
-rw-r--r--	1385	dpoly.h	blob \| blame \| history \| raw
-rw-r--r--	15417	edomain.cc	blob \| blame \| history \| raw
-rw-r--r--	2823	edomain.h	blob \| blame \| history \| raw
-rw-r--r--	2865	ev_size.c	blob \| blame \| history \| raw
-rw-r--r--	83166	evalue.c	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--	21985	genfun.cc	blob \| blame \| history \| raw
-rw-r--r--	1875	genfun_constructor.cc	blob \| blame \| history \| raw
-rw-r--r--	1947	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--	13574	lattice_point.cc	blob \| blame \| history \| raw
-rw-r--r--	455	lattice_point.h	blob \| blame \| history \| raw
-rw-r--r--	80258	lexmin.cc	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--	184	mpz_divisible_p.c	blob \| blame \| history \| raw
drwxr-xr-x	-	omega	tree \| history
-rw-r--r--	2243	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--	682	polyhedron_sample.c	blob \| blame \| history \| raw
drwxr-xr-x	-	polymake	tree \| history
-rw-r--r--	743	polysign.c	blob \| blame \| history \| raw
-rw-r--r--	784	polysign.h	blob \| blame \| history \| raw
-rw-r--r--	1311	polysign_cdd.cc	blob \| blame \| history \| raw
-rw-r--r--	2555	polysign_cdd_template.cc	blob \| blame \| history \| raw
-rw-r--r--	1250	polysign_cddf.cc	blob \| blame \| history \| raw
-rw-r--r--	1185	polysign_polylib.c	blob \| blame \| history \| raw
-rw-r--r--	2763	polytope_scan.c	blob \| blame \| history \| raw
-rw-r--r--	1696	randomtest.c	blob \| blame \| history \| raw
-rw-r--r--	1468	reduce_domain.c	blob \| blame \| history \| raw
-rw-r--r--	232	reduce_domain.h	blob \| blame \| history \| raw
-rw-r--r--	6763	reducer.cc	blob \| blame \| history \| raw
-rw-r--r--	3416	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--	25875	scarf.cc	blob \| blame \| history \| raw
-rw-r--r--	4768	test.c	blob \| blame \| history \| raw
drwxr-xr-x	-	tests	tree \| history
-rw-r--r--	37993	util.c	blob \| blame \| history \| raw
-rw-r--r--	4233	verif_ehrhart.c	blob \| blame \| history \| raw
-rw-r--r--	386	verif_ehrhart.h	blob \| blame \| history \| raw
-rw-r--r--	6545	verify_lexsmaller.c	blob \| blame \| history \| raw
-rw-r--r--	7690	verify_main.cc	blob \| blame \| history \| raw
-rw-r--r--	703	version.c	blob \| blame \| history \| raw