?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 99b3ab7) | patch
add isl_bound test application
commit93be1535a464dae5359f46b715cde13567ffc157
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 10 May 2010 11:14:49 +0000 (10 13:14 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 14 May 2010 10:59:01 +0000 (14 12:59 +0200)
tree7f5172d7196bba1394e3d0180311c8fdf5444d7btree | snapshot (tar.gz zip)
parent99b3ab76db8081dcc843a46e7e443b5ff4084dd1commit | diff
add isl_bound test application
27 files changed:
Makefile.am diff | blob | blame | history
bound.c [new file with mode: 0644] blob
bound_test.sh [new file with mode: 0755] blob
test_inputs/basicLinear.pwqp [new file with mode: 0644] blob
test_inputs/basicLinear2.pwqp [new file with mode: 0644] blob
test_inputs/basicTest.pwqp [new file with mode: 0644] blob
test_inputs/basicTestParameterPosNeg.pwqp [new file with mode: 0644] blob
test_inputs/devos.pwqp [new file with mode: 0644] blob
test_inputs/equality1.pwqp [new file with mode: 0644] blob
test_inputs/equality2.pwqp [new file with mode: 0644] blob
test_inputs/equality3.pwqp [new file with mode: 0644] blob
test_inputs/equality4.pwqp [new file with mode: 0644] blob
test_inputs/equality5.pwqp [new file with mode: 0644] blob
test_inputs/faddeev.pwqp [new file with mode: 0644] blob
test_inputs/linearExample.pwqp [new file with mode: 0644] blob
test_inputs/neg.pwqp [new file with mode: 0644] blob
test_inputs/philippe.pwqp [new file with mode: 0644] blob
test_inputs/philippe3vars.pwqp [new file with mode: 0644] blob
test_inputs/philippe3vars3pars.pwqp [new file with mode: 0644] blob
test_inputs/philippeNeg.pwqp [new file with mode: 0644] blob
test_inputs/philippePolynomialCoeff.pwqp [new file with mode: 0644] blob
test_inputs/philippePolynomialCoeff1P.pwqp [new file with mode: 0644] blob
test_inputs/product.pwqp [new file with mode: 0644] blob
test_inputs/split.pwqp [new file with mode: 0644] blob
test_inputs/test3Deg3Var.pwqp [new file with mode: 0644] blob
test_inputs/toplas.pwqp [new file with mode: 0644] blob
test_inputs/unexpanded.pwqp [new file with mode: 0644] blob
Integer set library