• Home
Name Date Size #Lines LOC

..--

0D-1.cD03-May-20246 21

0D-1.stD03-May-202446 43

0D-2.cD03-May-202420 32

0D-2.stD03-May-202469 43

0D-3.cD03-May-20246 21

0D-3.stD03-May-202478 43

1point-1.cD03-May-202414 21

1point-1.stD03-May-2024189 76

1point-2.cD03-May-202418 21

1point-2.stD03-May-2024205 76

4-param.cD03-May-2024319 1312

4-param.stD03-May-2024379 1110

READMED03-May-202487 32

backtrack.cD03-May-20247 21

backtrack.stD03-May-2024127 76

basic-bounds-1.cD03-May-202445 32

basic-bounds-1.stD03-May-2024150 76

basic-bounds-2.cD03-May-20247 21

basic-bounds-2.stD03-May-2024127 76

basic-bounds-3.cD03-May-202445 32

basic-bounds-3.stD03-May-2024187 76

basic-bounds-4.cD03-May-202449 32

basic-bounds-4.stD03-May-2024191 76

basic-bounds-5.cD03-May-202425 21

basic-bounds-5.stD03-May-2024217 76

basic-bounds-6.cD03-May-20248 21

basic-bounds-6.stD03-May-2024128 76

block.cD03-May-202426 54

block.stD03-May-2024281 1110

block2.cD03-May-202478 65

block2.stD03-May-2024463 1211

block3.cD03-May-202457 54

block3.stD03-May-2024192 76

byu98-1-2-3.cD03-May-2024372 1716

byu98-1-2-3.stD03-May-2024406 1110

cholesky.cD03-May-2024253 1312

cholesky.stD03-May-20241.4 KiB2726

cholesky2.cD03-May-2024409 1615

cholesky2.stD03-May-2024881 76

christian.cD03-May-2024216 76

christian.stD03-May-2024324 76

classen.cD03-May-20242.6 KiB6463

classen.stD03-May-20244.1 KiB2524

classen2.cD03-May-20241.1 KiB54

classen2.stD03-May-20241.2 KiB76

constant.cD03-May-2024308 1716

constant.stD03-May-2024780 1211

constbound.cD03-May-2024278 98

constbound.stD03-May-2024734 1716

darte.cD03-May-2024531 1514

darte.stD03-May-2024505 76

dealII.cD03-May-2024407 1716

dealII.stD03-May-2024643 1110

donotsimp.cD03-May-2024148 76

donotsimp.stD03-May-2024430 109

dot.cD03-May-2024136 65

dot.stD03-May-2024469 1110

dot2.cD03-May-2024251 1110

dot2.stD03-May-2024442 1110

durbin_e_s.cD03-May-2024419 2221

durbin_e_s.stD03-May-20241.3 KiB1716

emploi.cD03-May-2024102 65

emploi.stD03-May-2024474 1110

equality.cD03-May-2024182 87

equality.stD03-May-2024353 1110

equality2.cD03-May-2024450 98

equality2.stD03-May-20242.7 KiB1110

esced.cD03-May-2024102 65

esced.stD03-May-2024422 1110

ex1.cD03-May-2024324 1413

ex1.stD03-May-2024463 1110

faber.cD03-May-20246.1 KiB148147

faber.stD03-May-20243.2 KiB1918

forwardsub-1-1-2.cD03-May-2024129 87

forwardsub-1-1-2.stD03-May-2024666 1312

forwardsub-2-1-2-3.cD03-May-2024174 98

forwardsub-2-1-2-3.stD03-May-2024792 1312

forwardsub-3-1-2.cD03-May-2024333 1615

forwardsub-3-1-2.stD03-May-2024691 1312

gauss.cD03-May-2024209 87

gauss.stD03-May-2024431 76

gesced.cD03-May-2024430 1514

gesced.stD03-May-2024390 76

gesced2.cD03-May-2024522 1918

gesced2.stD03-May-2024365 76

gesced3.cD03-May-2024213 98

gesced3.stD03-May-2024267 76

guide.cD03-May-202498 54

guide.stD03-May-2024400 1110

iftest.cD03-May-202445 32

iftest.stD03-May-2024242 76

iftest2.cD03-May-202488 43

iftest2.stD03-May-2024312 76

infinite2.cD03-May-2024145 87

infinite2.stD03-May-2024430 1110

jacobi-shared.cD03-May-2024254 43

jacobi-shared.stD03-May-20241.5 KiB76

largeur.cD03-May-202489 43

largeur.stD03-May-2024246 76

levenshtein-1-2-3.cD03-May-2024700 3130

levenshtein-1-2-3.stD03-May-20241.5 KiB1716

lex.cD03-May-202460 54

lex.stD03-May-2024285 1110

lineality-1-2.cD03-May-2024178 98

lineality-1-2.stD03-May-2024430 1110

lineality-2-1-2.cD03-May-2024267 1312

lineality-2-1-2.stD03-May-2024434 1110

logo.cD03-May-2024370 1615

logo.stD03-May-2024439 1110

logopar.cD03-May-2024382 1615

logopar.stD03-May-2024488 1110

lu.cD03-May-2024204 87

lu.stD03-May-2024388 76

lu2.cD03-May-2024219 87

lu2.stD03-May-2024768 1110

lux.cD03-May-2024215 87

lux.stD03-May-2024767 1110

merge.cD03-May-202484 76

merge.stD03-May-2024337 1211

min-1-1.cD03-May-2024110 43

min-1-1.stD03-May-2024266 76

min-2-1.cD03-May-2024177 54

min-2-1.stD03-May-2024362 76

min-3-1.cD03-May-2024106 43

min-3-1.stD03-May-2024271 76

min-4-1.cD03-May-202463 32

min-4-1.stD03-May-2024228 76

mod.cD03-May-202472 43

mod.stD03-May-2024216 76

mod2.cD03-May-202472 43

mod2.stD03-May-2024208 76

mod3.cD03-May-2024173 54

mod3.stD03-May-2024436 76

mod4.cD03-May-2024205 65

mod4.stD03-May-20241.4 KiB1211

mode.cD03-May-2024247 1110

mode.stD03-May-2024464 1110

multi-mm-1.cD03-May-2024181 98

multi-mm-1.stD03-May-2024473 1110

multi-stride.cD03-May-20240 10

multi-stride.stD03-May-2024264 76

multi-stride2.cD03-May-202475 32

multi-stride2.stD03-May-2024264 76

mxm-shared.cD03-May-2024132 43

mxm-shared.stD03-May-20241.7 KiB76

no_lindep.cD03-May-202411 21

no_lindep.stD03-May-2024195 76

nul_basic1.cD03-May-202453 32

nul_basic1.stD03-May-2024225 76

nul_basic2.cD03-May-202496 65

nul_basic2.stD03-May-2024432 1110

nul_complex1.cD03-May-2024205 43

nul_complex1.stD03-May-2024250 76

nul_lcpc.cD03-May-2024317 1211

nul_lcpc.stD03-May-2024587 1110

orc.cD03-May-2024254 1514

orc.stD03-May-2024907 1413

otl.cD03-May-20241.1 KiB87

otl.stD03-May-20243 KiB76

param-split.cD03-May-2024100 76

param-split.stD03-May-2024300 1110

pouchet.cD03-May-2024500 1312

pouchet.stD03-May-2024829 76

rectangle.cD03-May-2024120 43

rectangle.stD03-May-2024224 76

reservoir-QR.cD03-May-20241.2 KiB5554

reservoir-QR.stD03-May-20242.2 KiB3736

reservoir-bastoul3.cD03-May-2024141 43

reservoir-bastoul3.stD03-May-2024280 76

reservoir-cholesky2.cD03-May-2024380 109

reservoir-cholesky2.stD03-May-2024886 2120

reservoir-fusion1.cD03-May-2024135 76

reservoir-fusion1.stD03-May-2024596 1817

reservoir-fusion2.cD03-May-2024281 1312

reservoir-fusion2.stD03-May-2024663 1716

reservoir-jacobi2.cD03-May-202486 43

reservoir-jacobi2.stD03-May-2024333 109

reservoir-jacobi3.cD03-May-2024231 98

reservoir-jacobi3.stD03-May-20241 KiB2322

reservoir-lim-lam1.cD03-May-2024286 1110

reservoir-lim-lam1.stD03-May-2024504 1413

reservoir-lim-lam2.cD03-May-2024220 98

reservoir-lim-lam2.stD03-May-2024961 2423

reservoir-lim-lam3.cD03-May-2024582 1211

reservoir-lim-lam3.stD03-May-20241.1 KiB2423

reservoir-lim-lam4.cD03-May-2024406 1110

reservoir-lim-lam4.stD03-May-2024890 2019

reservoir-lim-lam5.cD03-May-2024264 109

reservoir-lim-lam5.stD03-May-20241 KiB2726

reservoir-lim-lam6.cD03-May-2024176 76

reservoir-lim-lam6.stD03-May-2024721 2019

reservoir-liu-zhuge1.cD03-May-2024638 2019

reservoir-liu-zhuge1.stD03-May-2024796 1716

reservoir-loechner3.cD03-May-2024171 54

reservoir-loechner3.stD03-May-2024458 1312

reservoir-loechner4.cD03-May-2024216 65

reservoir-loechner4.stD03-May-2024633 1615

reservoir-loechner5.cD03-May-2024180 65

reservoir-loechner5.stD03-May-2024628 1615

reservoir-long.cD03-May-2024362 1514

reservoir-long.stD03-May-20242.5 KiB3736

reservoir-mg-interp.cD03-May-20242.4 KiB8483

reservoir-mg-interp.stD03-May-20248.4 KiB116115

reservoir-mg-interp2.cD03-May-2024520 1716

reservoir-mg-interp2.stD03-May-20242.7 KiB4645

reservoir-mg-psinv.cD03-May-2024265 109

reservoir-mg-psinv.stD03-May-20241.3 KiB2423

reservoir-mg-resid.cD03-May-2024265 109

reservoir-mg-resid.stD03-May-20241.3 KiB2423

reservoir-mg-rprj3.cD03-May-2024894 3635

reservoir-mg-rprj3.stD03-May-20242 KiB2928

reservoir-pingali1.cD03-May-2024226 87

reservoir-pingali1.stD03-May-2024732 1716

reservoir-pingali2.cD03-May-2024176 76

reservoir-pingali2.stD03-May-2024721 2019

reservoir-pingali3.cD03-May-2024221 87

reservoir-pingali3.stD03-May-2024887 2322

reservoir-pingali4.cD03-May-2024176 76

reservoir-pingali4.stD03-May-2024730 2019

reservoir-pingali5.cD03-May-2024384 1110

reservoir-pingali5.stD03-May-20241.2 KiB2726

reservoir-pingali6.cD03-May-2024231 98

reservoir-pingali6.stD03-May-20241 KiB2322

reservoir-stride.cD03-May-202459 32

reservoir-stride.stD03-May-2024204 76

reservoir-stride2.cD03-May-202459 32

reservoir-stride2.stD03-May-2024204 76

reservoir-tang-xue1.cD03-May-2024297 65

reservoir-tang-xue1.stD03-May-2024626 1615

reservoir-two.cD03-May-202413 21

reservoir-two.stD03-May-2024260 76

singleton.cD03-May-202412 32

singleton.stD03-May-2024125 87

sor1d.cD03-May-2024820 1413

sor1d.stD03-May-20243.7 KiB2524

square+triangle-1-1-2-3.cD03-May-2024186 109

square+triangle-1-1-2-3.stD03-May-2024443 1110

stride.cD03-May-2024118 65

stride.stD03-May-2024242 76

stride2.cD03-May-2024129 76

stride2.stD03-May-2024242 76

stride3.cD03-May-202453 32

stride3.stD03-May-2024200 76

stride4.cD03-May-202477 43

stride4.stD03-May-2024287 76

swim.cD03-May-20242.6 KiB160159

swim.stD03-May-202422 KiB224223

test.cD03-May-2024335 1615

test.stD03-May-2024459 1110

thomasset.cD03-May-2024367 87

thomasset.stD03-May-2024443 76

tiling.cD03-May-2024117 43

tiling.stD03-May-2024247 76

uday_scalars.cD03-May-2024102 54

uday_scalars.stD03-May-2024455 1413

union.cD03-May-2024130 87

union.stD03-May-2024239 76

unroll.cD03-May-202478 1211

unroll.stD03-May-2024172 76

unroll2.cD03-May-202465 65

unroll2.stD03-May-2024197 76

usvd_e_t.cD03-May-20245.9 KiB347346

usvd_e_t.stD03-May-20244.8 KiB3534

vasilache.cD03-May-2024552 2322

vasilache.stD03-May-20242 KiB3837

vivien.cD03-May-20242.3 KiB8786

vivien.stD03-May-2024892 76

vivien2.cD03-May-20242.1 KiB7978

vivien2.stD03-May-2024902 76

walters.cD03-May-2024386 1514

walters.stD03-May-20241.5 KiB1312

walters2.cD03-May-2024220 1110

walters2.stD03-May-2024451 1110

walters3.cD03-May-2024105 65

walters3.stD03-May-2024466 1110

wavefront.cD03-May-2024124 43

wavefront.stD03-May-2024253 76

yosr.cD03-May-2024294 1110

yosr.stD03-May-2024347 76

yosr2.cD03-May-2024293 1211

yosr2.stD03-May-2024480 76

youcef.cD03-May-2024120 76

youcef.stD03-May-2024490 1211

youcefn.cD03-May-2024172 98

youcefn.stD03-May-2024580 1211

README

1The tests in this directory have been adapted from the corresponding CLooG
2test cases.
3