The tests in this directory have been adapted from the corresponding CLooG test cases.
Name |
Last Commit
5fb9c3b5
–
add report
|
History
|
Last Update |
---|---|---|
.. | ||
0D-1.c | Loading commit data... | |
0D-1.st | Loading commit data... | |
0D-2.c | Loading commit data... | |
0D-2.st | Loading commit data... | |
0D-3.c | Loading commit data... | |
0D-3.st | Loading commit data... | |
1point-1.c | Loading commit data... | |
1point-1.st | Loading commit data... | |
1point-2.c | Loading commit data... | |
1point-2.st | Loading commit data... | |
4-param.c | Loading commit data... | |
4-param.st | Loading commit data... | |
README | Loading commit data... | |
backtrack.c | Loading commit data... | |
backtrack.st | Loading commit data... | |
basic-bounds-1.c | Loading commit data... | |
basic-bounds-1.st | Loading commit data... | |
basic-bounds-2.c | Loading commit data... | |
basic-bounds-2.st | Loading commit data... | |
basic-bounds-3.c | Loading commit data... | |
basic-bounds-3.st | Loading commit data... | |
basic-bounds-4.c | Loading commit data... | |
basic-bounds-4.st | Loading commit data... | |
basic-bounds-5.c | Loading commit data... | |
basic-bounds-5.st | Loading commit data... | |
basic-bounds-6.c | Loading commit data... | |
basic-bounds-6.st | Loading commit data... | |
block.c | Loading commit data... | |
block.st | Loading commit data... | |
block2.c | Loading commit data... | |
block2.st | Loading commit data... | |
block3.c | Loading commit data... | |
block3.st | Loading commit data... | |
byu98-1-2-3.c | Loading commit data... | |
byu98-1-2-3.st | Loading commit data... | |
cholesky.c | Loading commit data... | |
cholesky.st | Loading commit data... | |
cholesky2.c | Loading commit data... | |
cholesky2.st | Loading commit data... | |
christian.c | Loading commit data... | |
christian.st | Loading commit data... | |
classen.c | Loading commit data... | |
classen.st | Loading commit data... | |
classen2.c | Loading commit data... | |
classen2.st | Loading commit data... | |
constant.c | Loading commit data... | |
constant.st | Loading commit data... | |
constbound.c | Loading commit data... | |
constbound.st | Loading commit data... | |
darte.c | Loading commit data... | |
darte.st | Loading commit data... | |
dealII.c | Loading commit data... | |
dealII.st | Loading commit data... | |
donotsimp.c | Loading commit data... | |
donotsimp.st | Loading commit data... | |
dot.c | Loading commit data... | |
dot.st | Loading commit data... | |
dot2.c | Loading commit data... | |
dot2.st | Loading commit data... | |
durbin_e_s.c | Loading commit data... | |
durbin_e_s.st | Loading commit data... | |
emploi.c | Loading commit data... | |
emploi.st | Loading commit data... | |
equality.c | Loading commit data... | |
equality.st | Loading commit data... | |
equality2.c | Loading commit data... | |
equality2.st | Loading commit data... | |
esced.c | Loading commit data... | |
esced.st | Loading commit data... | |
ex1.c | Loading commit data... | |
ex1.st | Loading commit data... | |
faber.c | Loading commit data... | |
faber.st | Loading commit data... | |
forwardsub-1-1-2.c | Loading commit data... | |
forwardsub-1-1-2.st | Loading commit data... | |
forwardsub-2-1-2-3.c | Loading commit data... | |
forwardsub-2-1-2-3.st | Loading commit data... | |
forwardsub-3-1-2.c | Loading commit data... | |
forwardsub-3-1-2.st | Loading commit data... | |
gauss.c | Loading commit data... | |
gauss.st | Loading commit data... | |
gesced.c | Loading commit data... | |
gesced.st | Loading commit data... | |
gesced2.c | Loading commit data... | |
gesced2.st | Loading commit data... | |
gesced3.c | Loading commit data... | |
gesced3.st | Loading commit data... | |
guide.c | Loading commit data... | |
guide.st | Loading commit data... | |
iftest.c | Loading commit data... | |
iftest.st | Loading commit data... | |
iftest2.c | Loading commit data... | |
iftest2.st | Loading commit data... | |
infinite2.c | Loading commit data... | |
infinite2.st | Loading commit data... | |
jacobi-shared.c | Loading commit data... | |
jacobi-shared.st | Loading commit data... | |
largeur.c | Loading commit data... | |
largeur.st | Loading commit data... | |
levenshtein-1-2-3.c | Loading commit data... | |
levenshtein-1-2-3.st | Loading commit data... | |
lex.c | Loading commit data... | |
lex.st | Loading commit data... | |
lineality-1-2.c | Loading commit data... | |
lineality-1-2.st | Loading commit data... | |
lineality-2-1-2.c | Loading commit data... | |
lineality-2-1-2.st | Loading commit data... | |
logo.c | Loading commit data... | |
logo.st | Loading commit data... | |
logopar.c | Loading commit data... | |
logopar.st | Loading commit data... | |
lu.c | Loading commit data... | |
lu.st | Loading commit data... | |
lu2.c | Loading commit data... | |
lu2.st | Loading commit data... | |
lux.c | Loading commit data... | |
lux.st | Loading commit data... | |
merge.c | Loading commit data... | |
merge.st | Loading commit data... | |
min-1-1.c | Loading commit data... | |
min-1-1.st | Loading commit data... | |
min-2-1.c | Loading commit data... | |
min-2-1.st | Loading commit data... | |
min-3-1.c | Loading commit data... | |
min-3-1.st | Loading commit data... | |
min-4-1.c | Loading commit data... | |
min-4-1.st | Loading commit data... | |
mod.c | Loading commit data... | |
mod.st | Loading commit data... | |
mod2.c | Loading commit data... | |
mod2.st | Loading commit data... | |
mod3.c | Loading commit data... | |
mod3.st | Loading commit data... | |
mod4.c | Loading commit data... | |
mod4.st | Loading commit data... | |
mode.c | Loading commit data... | |
mode.st | Loading commit data... | |
multi-mm-1.c | Loading commit data... | |
multi-mm-1.st | Loading commit data... | |
multi-stride.c | Loading commit data... | |
multi-stride.st | Loading commit data... | |
multi-stride2.c | Loading commit data... | |
multi-stride2.st | Loading commit data... | |
mxm-shared.c | Loading commit data... | |
mxm-shared.st | Loading commit data... | |
no_lindep.c | Loading commit data... | |
no_lindep.st | Loading commit data... | |
nul_basic1.c | Loading commit data... | |
nul_basic1.st | Loading commit data... | |
nul_basic2.c | Loading commit data... | |
nul_basic2.st | Loading commit data... | |
nul_complex1.c | Loading commit data... | |
nul_complex1.st | Loading commit data... | |
nul_lcpc.c | Loading commit data... | |
nul_lcpc.st | Loading commit data... | |
orc.c | Loading commit data... | |
orc.st | Loading commit data... | |
otl.c | Loading commit data... | |
otl.st | Loading commit data... | |
param-split.c | Loading commit data... | |
param-split.st | Loading commit data... | |
pouchet.c | Loading commit data... | |
pouchet.st | Loading commit data... | |
rectangle.c | Loading commit data... | |
rectangle.st | Loading commit data... | |
reservoir-QR.c | Loading commit data... | |
reservoir-QR.st | Loading commit data... | |
reservoir-bastoul3.c | Loading commit data... | |
reservoir-bastoul3.st | Loading commit data... | |
reservoir-cholesky2.c | Loading commit data... | |
reservoir-cholesky2.st | Loading commit data... | |
reservoir-fusion1.c | Loading commit data... | |
reservoir-fusion1.st | Loading commit data... | |
reservoir-fusion2.c | Loading commit data... | |
reservoir-fusion2.st | Loading commit data... | |
reservoir-jacobi2.c | Loading commit data... | |
reservoir-jacobi2.st | Loading commit data... | |
reservoir-jacobi3.c | Loading commit data... | |
reservoir-jacobi3.st | Loading commit data... | |
reservoir-lim-lam1.c | Loading commit data... | |
reservoir-lim-lam1.st | Loading commit data... | |
reservoir-lim-lam2.c | Loading commit data... | |
reservoir-lim-lam2.st | Loading commit data... | |
reservoir-lim-lam3.c | Loading commit data... | |
reservoir-lim-lam3.st | Loading commit data... | |
reservoir-lim-lam4.c | Loading commit data... | |
reservoir-lim-lam4.st | Loading commit data... | |
reservoir-lim-lam5.c | Loading commit data... | |
reservoir-lim-lam5.st | Loading commit data... | |
reservoir-lim-lam6.c | Loading commit data... | |
reservoir-lim-lam6.st | Loading commit data... | |
reservoir-liu-zhuge1.c | Loading commit data... | |
reservoir-liu-zhuge1.st | Loading commit data... | |
reservoir-loechner3.c | Loading commit data... | |
reservoir-loechner3.st | Loading commit data... | |
reservoir-loechner4.c | Loading commit data... | |
reservoir-loechner4.st | Loading commit data... | |
reservoir-loechner5.c | Loading commit data... | |
reservoir-loechner5.st | Loading commit data... | |
reservoir-long.c | Loading commit data... | |
reservoir-long.st | Loading commit data... | |
reservoir-mg-interp.c | Loading commit data... | |
reservoir-mg-interp.st | Loading commit data... | |
reservoir-mg-interp2.c | Loading commit data... | |
reservoir-mg-interp2.st | Loading commit data... | |
reservoir-mg-psinv.c | Loading commit data... | |
reservoir-mg-psinv.st | Loading commit data... | |
reservoir-mg-resid.c | Loading commit data... | |
reservoir-mg-resid.st | Loading commit data... | |
reservoir-mg-rprj3.c | Loading commit data... | |
reservoir-mg-rprj3.st | Loading commit data... | |
reservoir-pingali1.c | Loading commit data... | |
reservoir-pingali1.st | Loading commit data... | |
reservoir-pingali2.c | Loading commit data... | |
reservoir-pingali2.st | Loading commit data... | |
reservoir-pingali3.c | Loading commit data... | |
reservoir-pingali3.st | Loading commit data... | |
reservoir-pingali4.c | Loading commit data... | |
reservoir-pingali4.st | Loading commit data... | |
reservoir-pingali5.c | Loading commit data... | |
reservoir-pingali5.st | Loading commit data... | |
reservoir-pingali6.c | Loading commit data... | |
reservoir-pingali6.st | Loading commit data... | |
reservoir-stride.c | Loading commit data... | |
reservoir-stride.st | Loading commit data... | |
reservoir-stride2.c | Loading commit data... | |
reservoir-stride2.st | Loading commit data... | |
reservoir-tang-xue1.c | Loading commit data... | |
reservoir-tang-xue1.st | Loading commit data... | |
reservoir-two.c | Loading commit data... | |
reservoir-two.st | Loading commit data... | |
singleton.c | Loading commit data... | |
singleton.st | Loading commit data... | |
sor1d.c | Loading commit data... | |
sor1d.st | Loading commit data... | |
square+triangle-1-1-2-3.c | Loading commit data... | |
square+triangle-1-1-2-3.st | Loading commit data... | |
stride.c | Loading commit data... | |
stride.st | Loading commit data... | |
stride2.c | Loading commit data... | |
stride2.st | Loading commit data... | |
stride3.c | Loading commit data... | |
stride3.st | Loading commit data... | |
stride4.c | Loading commit data... | |
stride4.st | Loading commit data... | |
swim.c | Loading commit data... | |
swim.st | Loading commit data... | |
test.c | Loading commit data... | |
test.st | Loading commit data... | |
thomasset.c | Loading commit data... | |
thomasset.st | Loading commit data... | |
tiling.c | Loading commit data... | |
tiling.st | Loading commit data... | |
uday_scalars.c | Loading commit data... | |
uday_scalars.st | Loading commit data... | |
union.c | Loading commit data... | |
union.st | Loading commit data... | |
unroll.c | Loading commit data... | |
unroll.st | Loading commit data... | |
unroll2.c | Loading commit data... | |
unroll2.st | Loading commit data... | |
usvd_e_t.c | Loading commit data... | |
usvd_e_t.st | Loading commit data... | |
vasilache.c | Loading commit data... | |
vasilache.st | Loading commit data... | |
vivien.c | Loading commit data... | |
vivien.st | Loading commit data... | |
vivien2.c | Loading commit data... | |
vivien2.st | Loading commit data... | |
walters.c | Loading commit data... | |
walters.st | Loading commit data... | |
walters2.c | Loading commit data... | |
walters2.st | Loading commit data... | |
walters3.c | Loading commit data... | |
walters3.st | Loading commit data... | |
wavefront.c | Loading commit data... | |
wavefront.st | Loading commit data... | |
yosr.c | Loading commit data... | |
yosr.st | Loading commit data... | |
yosr2.c | Loading commit data... | |
yosr2.st | Loading commit data... | |
youcef.c | Loading commit data... | |
youcef.st | Loading commit data... | |
youcefn.c | Loading commit data... | |
youcefn.st | Loading commit data... |
The tests in this directory have been adapted from the corresponding CLooG test cases.