barvinok_{summate,bound}: take isl input
commit7a84e1b5f2dc0e06c73a4e4567f75d092f5b2453
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Nov 2010 13:29:48 +0000 (11 14:29 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 12 Nov 2010 11:22:59 +0000 (12 12:22 +0100)
treea303ddbf45f3f7de2eb0f8e12ca8fbf382eec73b
parentf742025d94e01ded3e254a5e1dd54b8ce8392745
barvinok_{summate,bound}: take isl input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
41 files changed:
Makefile.am
barvinok_summate.c
bound.cc
bound_options.c
bound_options.h
doc/applications.tex
test_bound.c
tests/euler/EML [deleted file]
tests/euler/EML-product [deleted file]
tests/euler/EML-product.pwqp [new file with mode: 0644]
tests/euler/EML.pwqp [new file with mode: 0644]
tests/euler/EML_p [deleted file]
tests/euler/EML_p.pwqp [new file with mode: 0644]
tests/euler/dull [deleted file]
tests/euler/dull.pwqp [new file with mode: 0644]
tests/euler/dull_p [deleted file]
tests/euler/dull_p.pwqp [new file with mode: 0644]
tests/euler/line [deleted file]
tests/euler/line.pwqp [new file with mode: 0644]
tests/euler/square [deleted file]
tests/euler/square.pwqp [new file with mode: 0644]
tests/euler/square_p [deleted file]
tests/euler/square_p.pwqp [new file with mode: 0644]
tests/euler/square_p2 [deleted file]
tests/euler/square_p2.pwqp [new file with mode: 0644]
tests/euler/square_p3 [deleted file]
tests/euler/square_p3.pwqp [new file with mode: 0644]
tests/euler/triangle [deleted file]
tests/euler/triangle.pwqp [new file with mode: 0644]
tests/euler/triangle2 [deleted file]
tests/euler/triangle2.pwqp [new file with mode: 0644]
tests/euler/triangle_p [deleted file]
tests/euler/triangle_p.pwqp [new file with mode: 0644]
tests/evalue/devos [deleted file]
tests/evalue/neg [deleted file]
tests/evalue/product [deleted file]
tests/evalue/toplas [deleted file]
tests/pwqp/devos.pwqp [new file with mode: 0644]
tests/pwqp/neg.pwqp [new file with mode: 0644]
tests/pwqp/product.pwqp [new file with mode: 0644]
tests/pwqp/toplas.pwqp [new file with mode: 0644]