Name Date Size #Lines LOC

..13-Mar-2025-

0D-1.cH A D13-Mar-20256 21

0D-1.stH A D13-Mar-202546 43

0D-2.cH A D13-Mar-202520 32

0D-2.stH A D13-Mar-202569 43

0D-3.cH A D13-Mar-20256 21

0D-3.stH A D13-Mar-202578 43

1point-1.cH A D13-Mar-202514 21

1point-1.stH A D13-Mar-2025189 76

1point-2.cH A D13-Mar-202518 21

1point-2.stH A D13-Mar-2025205 76

4-param.cH A D13-Mar-2025319 1312

4-param.stH A D13-Mar-2025379 1110

READMEH A D13-Mar-202587 32

backtrack.cH A D13-Mar-20257 21

backtrack.stH A D13-Mar-2025127 76

basic-bounds-1.cH A D13-Mar-202545 32

basic-bounds-1.stH A D13-Mar-2025150 76

basic-bounds-2.cH A D13-Mar-20257 21

basic-bounds-2.stH A D13-Mar-2025127 76

basic-bounds-3.cH A D13-Mar-202545 32

basic-bounds-3.stH A D13-Mar-2025187 76

basic-bounds-4.cH A D13-Mar-202549 32

basic-bounds-4.stH A D13-Mar-2025191 76

basic-bounds-5.cH A D13-Mar-202525 21

basic-bounds-5.stH A D13-Mar-2025217 76

basic-bounds-6.cH A D13-Mar-20258 21

basic-bounds-6.stH A D13-Mar-2025128 76

block.cH A D13-Mar-202526 54

block.stH A D13-Mar-2025281 1110

block2.cH A D13-Mar-202578 65

block2.stH A D13-Mar-2025463 1211

block3.cH A D13-Mar-202557 54

block3.stH A D13-Mar-2025192 76

byu98-1-2-3.cH A D13-Mar-2025372 1716

byu98-1-2-3.stH A D13-Mar-2025406 1110

cholesky.cH A D13-Mar-2025253 1312

cholesky.stH A D13-Mar-20251.4 KiB2726

cholesky2.cH A D13-Mar-2025409 1615

cholesky2.stH A D13-Mar-2025881 76

christian.cH A D13-Mar-2025216 76

christian.stH A D13-Mar-2025324 76

classen.cH A D13-Mar-20252.6 KiB6463

classen.stH A D13-Mar-20254.1 KiB2524

classen2.cH A D13-Mar-20251.1 KiB54

classen2.stH A D13-Mar-20251.2 KiB76

constant.cH A D13-Mar-2025308 1716

constant.stH A D13-Mar-2025780 1211

constbound.cH A D13-Mar-2025278 98

constbound.stH A D13-Mar-2025734 1716

darte.cH A D13-Mar-2025531 1514

darte.stH A D13-Mar-2025505 76

dealII.cH A D13-Mar-2025407 1716

dealII.stH A D13-Mar-2025643 1110

donotsimp.cH A D13-Mar-2025148 76

donotsimp.stH A D13-Mar-2025430 109

dot.cH A D13-Mar-2025136 65

dot.stH A D13-Mar-2025469 1110

dot2.cH A D13-Mar-2025251 1110

dot2.stH A D13-Mar-2025442 1110

durbin_e_s.cH A D13-Mar-2025419 2221

durbin_e_s.stH A D13-Mar-20251.3 KiB1716

emploi.cH A D13-Mar-2025102 65

emploi.stH A D13-Mar-2025474 1110

equality.cH A D13-Mar-2025182 87

equality.stH A D13-Mar-2025353 1110

equality2.cH A D13-Mar-2025450 98

equality2.stH A D13-Mar-20252.7 KiB1110

esced.cH A D13-Mar-2025102 65

esced.stH A D13-Mar-2025422 1110

ex1.cH A D13-Mar-2025324 1413

ex1.stH A D13-Mar-2025463 1110

faber.cH A D13-Mar-20256.1 KiB148147

faber.stH A D13-Mar-20253.2 KiB1918

forwardsub-1-1-2.cH A D13-Mar-2025129 87

forwardsub-1-1-2.stH A D13-Mar-2025666 1312

forwardsub-2-1-2-3.cH A D13-Mar-2025174 98

forwardsub-2-1-2-3.stH A D13-Mar-2025792 1312

forwardsub-3-1-2.cH A D13-Mar-2025333 1615

forwardsub-3-1-2.stH A D13-Mar-2025691 1312

gauss.cH A D13-Mar-2025209 87

gauss.stH A D13-Mar-2025431 76

gesced.cH A D13-Mar-2025430 1514

gesced.stH A D13-Mar-2025390 76

gesced2.cH A D13-Mar-2025522 1918

gesced2.stH A D13-Mar-2025365 76

gesced3.cH A D13-Mar-2025213 98

gesced3.stH A D13-Mar-2025267 76

guide.cH A D13-Mar-202598 54

guide.stH A D13-Mar-2025400 1110

iftest.cH A D13-Mar-202545 32

iftest.stH A D13-Mar-2025242 76

iftest2.cH A D13-Mar-202588 43

iftest2.stH A D13-Mar-2025312 76

infinite2.cH A D13-Mar-2025145 87

infinite2.stH A D13-Mar-2025430 1110

jacobi-shared.cH A D13-Mar-2025254 43

jacobi-shared.stH A D13-Mar-20251.5 KiB76

largeur.cH A D13-Mar-202589 43

largeur.stH A D13-Mar-2025246 76

levenshtein-1-2-3.cH A D13-Mar-2025700 3130

levenshtein-1-2-3.stH A D13-Mar-20251.5 KiB1716

lex.cH A D13-Mar-202560 54

lex.stH A D13-Mar-2025285 1110

lineality-1-2.cH A D13-Mar-2025178 98

lineality-1-2.stH A D13-Mar-2025430 1110

lineality-2-1-2.cH A D13-Mar-2025267 1312

lineality-2-1-2.stH A D13-Mar-2025434 1110

logo.cH A D13-Mar-2025370 1615

logo.stH A D13-Mar-2025439 1110

logopar.cH A D13-Mar-2025382 1615

logopar.stH A D13-Mar-2025488 1110

lu.cH A D13-Mar-2025204 87

lu.stH A D13-Mar-2025388 76

lu2.cH A D13-Mar-2025219 87

lu2.stH A D13-Mar-2025768 1110

lux.cH A D13-Mar-2025215 87

lux.stH A D13-Mar-2025767 1110

merge.cH A D13-Mar-202584 76

merge.stH A D13-Mar-2025337 1211

min-1-1.cH A D13-Mar-2025110 43

min-1-1.stH A D13-Mar-2025266 76

min-2-1.cH A D13-Mar-2025177 54

min-2-1.stH A D13-Mar-2025362 76

min-3-1.cH A D13-Mar-2025106 43

min-3-1.stH A D13-Mar-2025271 76

min-4-1.cH A D13-Mar-202563 32

min-4-1.stH A D13-Mar-2025228 76

mod.cH A D13-Mar-202572 43

mod.stH A D13-Mar-2025216 76

mod2.cH A D13-Mar-202572 43

mod2.stH A D13-Mar-2025208 76

mod3.cH A D13-Mar-2025173 54

mod3.stH A D13-Mar-2025436 76

mod4.cH A D13-Mar-2025205 65

mod4.stH A D13-Mar-20251.4 KiB1211

mode.cH A D13-Mar-2025247 1110

mode.stH A D13-Mar-2025464 1110

multi-mm-1.cH A D13-Mar-2025181 98

multi-mm-1.stH A D13-Mar-2025473 1110

multi-stride.cH A D13-Mar-20250 10

multi-stride.stH A D13-Mar-2025264 76

multi-stride2.cH A D13-Mar-202575 32

multi-stride2.stH A D13-Mar-2025264 76

mxm-shared.cH A D13-Mar-2025132 43

mxm-shared.stH A D13-Mar-20251.7 KiB76

no_lindep.cH A D13-Mar-202511 21

no_lindep.stH A D13-Mar-2025195 76

nul_basic1.cH A D13-Mar-202553 32

nul_basic1.stH A D13-Mar-2025225 76

nul_basic2.cH A D13-Mar-202596 65

nul_basic2.stH A D13-Mar-2025432 1110

nul_complex1.cH A D13-Mar-2025205 43

nul_complex1.stH A D13-Mar-2025250 76

nul_lcpc.cH A D13-Mar-2025317 1211

nul_lcpc.stH A D13-Mar-2025587 1110

orc.cH A D13-Mar-2025254 1514

orc.stH A D13-Mar-2025907 1413

otl.cH A D13-Mar-20251.1 KiB87

otl.stH A D13-Mar-20253 KiB76

param-split.cH A D13-Mar-2025100 76

param-split.stH A D13-Mar-2025300 1110

pouchet.cH A D13-Mar-2025500 1312

pouchet.stH A D13-Mar-2025829 76

rectangle.cH A D13-Mar-2025120 43

rectangle.stH A D13-Mar-2025224 76

reservoir-QR.cH A D13-Mar-20251.2 KiB5554

reservoir-QR.stH A D13-Mar-20252.2 KiB3736

reservoir-bastoul3.cH A D13-Mar-2025141 43

reservoir-bastoul3.stH A D13-Mar-2025280 76

reservoir-cholesky2.cH A D13-Mar-2025380 109

reservoir-cholesky2.stH A D13-Mar-2025886 2120

reservoir-fusion1.cH A D13-Mar-2025135 76

reservoir-fusion1.stH A D13-Mar-2025596 1817

reservoir-fusion2.cH A D13-Mar-2025281 1312

reservoir-fusion2.stH A D13-Mar-2025663 1716

reservoir-jacobi2.cH A D13-Mar-202586 43

reservoir-jacobi2.stH A D13-Mar-2025333 109

reservoir-jacobi3.cH A D13-Mar-2025231 98

reservoir-jacobi3.stH A D13-Mar-20251 KiB2322

reservoir-lim-lam1.cH A D13-Mar-2025286 1110

reservoir-lim-lam1.stH A D13-Mar-2025504 1413

reservoir-lim-lam2.cH A D13-Mar-2025220 98

reservoir-lim-lam2.stH A D13-Mar-2025961 2423

reservoir-lim-lam3.cH A D13-Mar-2025582 1211

reservoir-lim-lam3.stH A D13-Mar-20251.1 KiB2423

reservoir-lim-lam4.cH A D13-Mar-2025406 1110

reservoir-lim-lam4.stH A D13-Mar-2025890 2019

reservoir-lim-lam5.cH A D13-Mar-2025264 109

reservoir-lim-lam5.stH A D13-Mar-20251 KiB2726

reservoir-lim-lam6.cH A D13-Mar-2025176 76

reservoir-lim-lam6.stH A D13-Mar-2025721 2019

reservoir-liu-zhuge1.cH A D13-Mar-2025638 2019

reservoir-liu-zhuge1.stH A D13-Mar-2025796 1716

reservoir-loechner3.cH A D13-Mar-2025171 54

reservoir-loechner3.stH A D13-Mar-2025458 1312

reservoir-loechner4.cH A D13-Mar-2025216 65

reservoir-loechner4.stH A D13-Mar-2025633 1615

reservoir-loechner5.cH A D13-Mar-2025180 65

reservoir-loechner5.stH A D13-Mar-2025628 1615

reservoir-long.cH A D13-Mar-2025362 1514

reservoir-long.stH A D13-Mar-20252.5 KiB3736

reservoir-mg-interp.cH A D13-Mar-20252.4 KiB8483

reservoir-mg-interp.stH A D13-Mar-20258.4 KiB116115

reservoir-mg-interp2.cH A D13-Mar-2025520 1716

reservoir-mg-interp2.stH A D13-Mar-20252.7 KiB4645

reservoir-mg-psinv.cH A D13-Mar-2025265 109

reservoir-mg-psinv.stH A D13-Mar-20251.3 KiB2423

reservoir-mg-resid.cH A D13-Mar-2025265 109

reservoir-mg-resid.stH A D13-Mar-20251.3 KiB2423

reservoir-mg-rprj3.cH A D13-Mar-2025894 3635

reservoir-mg-rprj3.stH A D13-Mar-20252 KiB2928

reservoir-pingali1.cH A D13-Mar-2025226 87

reservoir-pingali1.stH A D13-Mar-2025732 1716

reservoir-pingali2.cH A D13-Mar-2025176 76

reservoir-pingali2.stH A D13-Mar-2025721 2019

reservoir-pingali3.cH A D13-Mar-2025221 87

reservoir-pingali3.stH A D13-Mar-2025887 2322

reservoir-pingali4.cH A D13-Mar-2025176 76

reservoir-pingali4.stH A D13-Mar-2025730 2019

reservoir-pingali5.cH A D13-Mar-2025384 1110

reservoir-pingali5.stH A D13-Mar-20251.2 KiB2726

reservoir-pingali6.cH A D13-Mar-2025231 98

reservoir-pingali6.stH A D13-Mar-20251 KiB2322

reservoir-stride.cH A D13-Mar-202559 32

reservoir-stride.stH A D13-Mar-2025204 76

reservoir-stride2.cH A D13-Mar-202559 32

reservoir-stride2.stH A D13-Mar-2025204 76

reservoir-tang-xue1.cH A D13-Mar-2025297 65

reservoir-tang-xue1.stH A D13-Mar-2025626 1615

reservoir-two.cH A D13-Mar-202513 21

reservoir-two.stH A D13-Mar-2025260 76

singleton.cH A D13-Mar-202512 32

singleton.stH A D13-Mar-2025125 87

sor1d.cH A D13-Mar-2025820 1413

sor1d.stH A D13-Mar-20253.7 KiB2524

square+triangle-1-1-2-3.cH A D13-Mar-2025186 109

square+triangle-1-1-2-3.stH A D13-Mar-2025443 1110

stride.cH A D13-Mar-2025118 65

stride.stH A D13-Mar-2025242 76

stride2.cH A D13-Mar-2025129 76

stride2.stH A D13-Mar-2025242 76

stride3.cH A D13-Mar-202553 32

stride3.stH A D13-Mar-2025200 76

stride4.cH A D13-Mar-202577 43

stride4.stH A D13-Mar-2025287 76

swim.cH A D13-Mar-20252.6 KiB160159

swim.stH A D13-Mar-202522 KiB224223

test.cH A D13-Mar-2025339 1615

test.stH A D13-Mar-2025459 1110

thomasset.cH A D13-Mar-2025367 87

thomasset.stH A D13-Mar-2025443 76

tiling.cH A D13-Mar-2025117 43

tiling.stH A D13-Mar-2025247 76

uday_scalars.cH A D13-Mar-2025102 54

uday_scalars.stH A D13-Mar-2025455 1413

union.cH A D13-Mar-2025130 87

union.stH A D13-Mar-2025239 76

unroll.cH A D13-Mar-202578 1211

unroll.stH A D13-Mar-2025172 76

unroll2.cH A D13-Mar-202565 65

unroll2.stH A D13-Mar-2025197 76

usvd_e_t.cH A D13-Mar-20255.9 KiB347346

usvd_e_t.stH A D13-Mar-20254.8 KiB3534

vasilache.cH A D13-Mar-2025552 2322

vasilache.stH A D13-Mar-20252 KiB3837

vivien.cH A D13-Mar-20252.3 KiB8685

vivien.stH A D13-Mar-2025892 76

vivien2.cH A D13-Mar-20252 KiB7776

vivien2.stH A D13-Mar-2025902 76

walters.cH A D13-Mar-2025386 1514

walters.stH A D13-Mar-20251.5 KiB1312

walters2.cH A D13-Mar-2025220 1110

walters2.stH A D13-Mar-2025451 1110

walters3.cH A D13-Mar-2025105 65

walters3.stH A D13-Mar-2025466 1110

wavefront.cH A D13-Mar-2025124 43

wavefront.stH A D13-Mar-2025253 76

yosr.cH A D13-Mar-2025294 1110

yosr.stH A D13-Mar-2025347 76

yosr2.cH A D13-Mar-2025293 1211

yosr2.stH A D13-Mar-2025480 76

youcef.cH A D13-Mar-2025120 76

youcef.stH A D13-Mar-2025490 1211

youcefn.cH A D13-Mar-2025172 98

youcefn.stH A D13-Mar-2025580 1211

README

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