Public Git Hosting - barvinok.git/tree

-rw-r--r--	3762	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--	2088	DomainConstraintSimplify.c	blob \| blame \| history \| raw
-rw-r--r--	15008	LICENSE	blob \| blame \| history \| raw
-rw-r--r--	4934	Makefile.am	blob \| blame \| history \| raw
-rw-r--r--	654	NTL_5_3_2.patch	blob \| blame \| history \| raw
-rw-r--r--	287	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--	93096	barvinok.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	barvinok	tree \| history
-rw-r--r--	1189	barvinok_count.c	blob \| blame \| history \| raw
-rw-r--r--	2949	barvinok_ehrhart.cc	blob \| blame \| history \| raw
-rw-r--r--	2343	barvinok_enumerate.c	blob \| blame \| history \| raw
-rw-r--r--	10391	barvinok_enumerate_e.cc	blob \| blame \| history \| raw
-rw-r--r--	1847	barvinok_series.cc	blob \| blame \| history \| raw
-rw-r--r--	2178	barvinok_union.cc	blob \| blame \| history \| raw
-rw-r--r--	4976	basis_reduction.c	blob \| blame \| history \| raw
-rw-r--r--	4180	bernstein.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	bernstein	tree \| history
-rw-r--r--	9299	bfcounter.cc	blob \| blame \| history \| raw
-rw-r--r--	3534	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--	2363	combine.c	blob \| blame \| history \| raw
-rw-r--r--	187	combine.h	blob \| blame \| history \| raw
-rw-r--r--	11631	configure.in	blob \| blame \| history \| raw
-rw-r--r--	3064	conversion.cc	blob \| blame \| history \| raw
-rw-r--r--	478	conversion.h	blob \| blame \| history \| raw
-rw-r--r--	795	count_domain.c	blob \| blame \| history \| raw
-rw-r--r--	5860	decomposer.cc	blob \| blame \| history \| raw
-rw-r--r--	893	decomposer.h	blob \| blame \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	5155	dpoly.cc	blob \| blame \| history \| raw
-rw-r--r--	1127	dpoly.h	blob \| blame \| history \| raw
-rw-r--r--	12363	edomain.cc	blob \| blame \| history \| raw
-rw-r--r--	2394	edomain.h	blob \| blame \| history \| raw
-rw-r--r--	2865	ev_size.c	blob \| blame \| history \| raw
-rw-r--r--	82959	evalue.c	blob \| blame \| history \| raw
-rw-r--r--	1620	evalue_util.cc	blob \| blame \| history \| raw
-rw-r--r--	171	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--	21975	genfun.cc	blob \| blame \| history \| raw
-rw-r--r--	1875	genfun_constructor.cc	blob \| blame \| history \| raw
-rw-r--r--	1994	genfun_constructor.h	blob \| blame \| history \| raw
-rwxr-xr-x	582	latte2polylib.pl	blob \| blame \| history \| raw
-rw-r--r--	13618	lattice_point.cc	blob \| blame \| history \| raw
-rw-r--r--	472	lattice_point.h	blob \| blame \| history \| raw
-rw-r--r--	63604	lexmin.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	m4	tree \| history
-rw-r--r--	565	mat_util.cc	blob \| blame \| history \| raw
-rw-r--r--	178	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--	1093	options.c	blob \| blame \| history \| raw
-rw-r--r--	1267	piptest.c	blob \| blame \| history \| raw
-rw-r--r--	7611	piputil.c	blob \| blame \| history \| raw
-rw-r--r--	104	piputil.h	blob \| blame \| history \| raw
-rw-r--r--	567	polyhedron_sample.c	blob \| blame \| history \| raw
drwxr-xr-x	-	polymake	tree \| history
-rw-r--r--	2783	polytope_scan.c	blob \| blame \| history \| raw
-rw-r--r--	1728	randomtest.c	blob \| blame \| history \| raw
-rw-r--r--	1468	reduce_domain.c	blob \| blame \| history \| raw
-rw-r--r--	252	reduce_domain.h	blob \| blame \| history \| raw
-rw-r--r--	6756	reducer.cc	blob \| blame \| history \| raw
-rw-r--r--	3400	reducer.h	blob \| blame \| history \| raw
-rw-r--r--	2974	remove_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	532	remove_equalities.h	blob \| blame \| history \| raw
-rw-r--r--	1182	remove_redundant_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	9518	sample.c	blob \| blame \| history \| raw
-rw-r--r--	25835	scarf.cc	blob \| blame \| history \| raw
-rw-r--r--	4643	test.c	blob \| blame \| history \| raw
drwxr-xr-x	-	tests	tree \| history
-rw-r--r--	37998	util.c	blob \| blame \| history \| raw
-rw-r--r--	4265	verif_ehrhart.c	blob \| blame \| history \| raw
-rw-r--r--	386	verif_ehrhart.h	blob \| blame \| history \| raw
-rw-r--r--	6577	verify_lexsmaller.c	blob \| blame \| history \| raw
-rw-r--r--	7734	verify_main.cc	blob \| blame \| history \| raw
-rw-r--r--	703	version.c	blob \| blame \| history \| raw