Public Git Hosting - barvinok.git/tree

-rw-r--r--	3709	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--	4494	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--	3063	README	blob \| blame \| history \| raw
-rwxr-xr-x	120	autogen.sh	blob \| blame \| history \| raw
-rw-r--r--	91177	barvinok.cc	blob \| blame \| history \| raw
drwxr-xr-x	-	barvinok	tree \| history
-rw-r--r--	1585	barvinok_count.c	blob \| blame \| history \| raw
-rw-r--r--	3509	barvinok_ehrhart.cc	blob \| blame \| history \| raw
-rw-r--r--	2301	barvinok_enumerate.c	blob \| blame \| history \| raw
-rw-r--r--	10268	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--	4870	basis_reduction.c	blob \| blame \| history \| raw
-rw-r--r--	152	basis_reduction.h	blob \| blame \| history \| raw
-rw-r--r--	4188	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--	10547	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--	5550	decomposer.cc	blob \| blame \| history \| raw
-rw-r--r--	818	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--	2865	ev_size.c	blob \| blame \| history \| raw
-rw-r--r--	82673	evalue.c	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--	21539	genfun.cc	blob \| blame \| history \| raw
-rw-r--r--	1811	genfun_constructor.cc	blob \| blame \| history \| raw
-rw-r--r--	1822	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--	58472	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--	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--	524	polyhedron_sample.c	blob \| blame \| history \| raw
drwxr-xr-x	-	polymake	tree \| history
-rw-r--r--	3307	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--	6747	reducer.cc	blob \| blame \| history \| raw
-rw-r--r--	2985	reducer.h	blob \| blame \| history \| raw
-rw-r--r--	1182	remove_redundant_equalities.c	blob \| blame \| history \| raw
-rw-r--r--	9458	sample.c	blob \| blame \| history \| raw
-rw-r--r--	174	sample.h	blob \| blame \| history \| raw
-rw-r--r--	25005	scarf.cc	blob \| blame \| history \| raw
-rw-r--r--	289	scarf.h	blob \| blame \| history \| raw
-rw-r--r--	4643	test.c	blob \| blame \| history \| raw
drwxr-xr-x	-	tests	tree \| history
-rw-r--r--	37415	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