Public Git Hosting - barvinok.git/tree

-rw-r--r--	3762	4coins.cc	blob \| blame \| history \| raw
-rw-r--r--	5682	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--	4883	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--	94525	barvinok.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	barvinok	tree \| history
-rw-r--r--	1003	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--	10587	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--	5779	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--	9246	edomain.cc	blob \| blame \| history \| raw
-rw-r--r--	2132	edomain.h	blob \| blame \| history \| raw
-rw-r--r--	2865	ev_size.c	blob \| blame \| history \| raw
-rw-r--r--	82955	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--	21789	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--	63419	lexmin.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	m4	tree \| history
-rw-r--r--	553	mat_util.cc	blob \| blame \| history \| raw
-rw-r--r--	166	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--	814	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--	533	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--	3335	reducer.h	blob \| blame \| history \| raw
-rw-r--r--	1182	remove_redundant_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	9487	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--	37600	util.c	blob \| blame \| history \| raw
-rw-r--r--	4284	verif_ehrhart.c	blob \| blame \| history \| raw
-rw-r--r--	590	verif_ehrhart.h	blob \| blame \| history \| raw
-rw-r--r--	6577	verify_lexsmaller.c	blob \| blame \| history \| raw
-rw-r--r--	7660	verify_main.cc	blob \| blame \| history \| raw
-rw-r--r--	644	version.c	blob \| blame \| history \| raw