Name Date Size #Lines LOC

..--

0D-1.cH A D29-Dec-20236 21

0D-1.stH A D29-Dec-202346 43

0D-2.cH A D29-Dec-202320 32

0D-2.stH A D29-Dec-202369 43

0D-3.cH A D29-Dec-20236 21

0D-3.stH A D29-Dec-202378 43

1point-1.cH A D29-Dec-202314 21

1point-1.stH A D29-Dec-2023189 76

1point-2.cH A D29-Dec-202318 21

1point-2.stH A D29-Dec-2023205 76

4-param.cH A D29-Dec-2023319 1312

4-param.stH A D29-Dec-2023379 1110

READMEH A D29-Dec-202387 32

backtrack.cH A D29-Dec-20237 21

backtrack.stH A D29-Dec-2023127 76

basic-bounds-1.cH A D29-Dec-202345 32

basic-bounds-1.stH A D29-Dec-2023150 76

basic-bounds-2.cH A D29-Dec-20237 21

basic-bounds-2.stH A D29-Dec-2023127 76

basic-bounds-3.cH A D29-Dec-202345 32

basic-bounds-3.stH A D29-Dec-2023187 76

basic-bounds-4.cH A D29-Dec-202349 32

basic-bounds-4.stH A D29-Dec-2023191 76

basic-bounds-5.cH A D29-Dec-202325 21

basic-bounds-5.stH A D29-Dec-2023217 76

basic-bounds-6.cH A D29-Dec-20238 21

basic-bounds-6.stH A D29-Dec-2023128 76

block.cH A D29-Dec-202326 54

block.stH A D29-Dec-2023281 1110

block2.cH A D29-Dec-202378 65

block2.stH A D29-Dec-2023463 1211

block3.cH A D29-Dec-202357 54

block3.stH A D29-Dec-2023192 76

byu98-1-2-3.cH A D29-Dec-2023372 1716

byu98-1-2-3.stH A D29-Dec-2023406 1110

cholesky.cH A D29-Dec-2023253 1312

cholesky.stH A D29-Dec-20231.4 KiB2726

cholesky2.cH A D29-Dec-2023409 1615

cholesky2.stH A D29-Dec-2023881 76

christian.cH A D29-Dec-2023216 76

christian.stH A D29-Dec-2023324 76

classen.cH A D29-Dec-20232.6 KiB6463

classen.stH A D29-Dec-20234.1 KiB2524

classen2.cH A D29-Dec-20231.1 KiB54

classen2.stH A D29-Dec-20231.2 KiB76

constant.cH A D29-Dec-2023308 1716

constant.stH A D29-Dec-2023780 1211

constbound.cH A D29-Dec-2023278 98

constbound.stH A D29-Dec-2023734 1716

darte.cH A D29-Dec-2023531 1514

darte.stH A D29-Dec-2023505 76

dealII.cH A D29-Dec-2023407 1716

dealII.stH A D29-Dec-2023643 1110

donotsimp.cH A D29-Dec-2023148 76

donotsimp.stH A D29-Dec-2023430 109

dot.cH A D29-Dec-2023136 65

dot.stH A D29-Dec-2023469 1110

dot2.cH A D29-Dec-2023251 1110

dot2.stH A D29-Dec-2023442 1110

durbin_e_s.cH A D29-Dec-2023419 2221

durbin_e_s.stH A D29-Dec-20231.3 KiB1716

emploi.cH A D29-Dec-2023102 65

emploi.stH A D29-Dec-2023474 1110

equality.cH A D29-Dec-2023182 87

equality.stH A D29-Dec-2023353 1110

equality2.cH A D29-Dec-2023450 98

equality2.stH A D29-Dec-20232.7 KiB1110

esced.cH A D29-Dec-2023102 65

esced.stH A D29-Dec-2023422 1110

ex1.cH A D29-Dec-2023324 1413

ex1.stH A D29-Dec-2023463 1110

faber.cH A D29-Dec-20236.1 KiB148147

faber.stH A D29-Dec-20233.2 KiB1918

forwardsub-1-1-2.cH A D29-Dec-2023129 87

forwardsub-1-1-2.stH A D29-Dec-2023666 1312

forwardsub-2-1-2-3.cH A D29-Dec-2023174 98

forwardsub-2-1-2-3.stH A D29-Dec-2023792 1312

forwardsub-3-1-2.cH A D29-Dec-2023333 1615

forwardsub-3-1-2.stH A D29-Dec-2023691 1312

gauss.cH A D29-Dec-2023209 87

gauss.stH A D29-Dec-2023431 76

gesced.cH A D29-Dec-2023430 1514

gesced.stH A D29-Dec-2023390 76

gesced2.cH A D29-Dec-2023522 1918

gesced2.stH A D29-Dec-2023365 76

gesced3.cH A D29-Dec-2023213 98

gesced3.stH A D29-Dec-2023267 76

guide.cH A D29-Dec-202398 54

guide.stH A D29-Dec-2023400 1110

iftest.cH A D29-Dec-202345 32

iftest.stH A D29-Dec-2023242 76

iftest2.cH A D29-Dec-202388 43

iftest2.stH A D29-Dec-2023312 76

infinite2.cH A D29-Dec-2023145 87

infinite2.stH A D29-Dec-2023430 1110

jacobi-shared.cH A D29-Dec-2023254 43

jacobi-shared.stH A D29-Dec-20231.5 KiB76

largeur.cH A D29-Dec-202389 43

largeur.stH A D29-Dec-2023246 76

levenshtein-1-2-3.cH A D29-Dec-2023700 3130

levenshtein-1-2-3.stH A D29-Dec-20231.5 KiB1716

lex.cH A D29-Dec-202360 54

lex.stH A D29-Dec-2023285 1110

lineality-1-2.cH A D29-Dec-2023178 98

lineality-1-2.stH A D29-Dec-2023430 1110

lineality-2-1-2.cH A D29-Dec-2023267 1312

lineality-2-1-2.stH A D29-Dec-2023434 1110

logo.cH A D29-Dec-2023370 1615

logo.stH A D29-Dec-2023439 1110

logopar.cH A D29-Dec-2023382 1615

logopar.stH A D29-Dec-2023488 1110

lu.cH A D29-Dec-2023204 87

lu.stH A D29-Dec-2023388 76

lu2.cH A D29-Dec-2023219 87

lu2.stH A D29-Dec-2023768 1110

lux.cH A D29-Dec-2023215 87

lux.stH A D29-Dec-2023767 1110

merge.cH A D29-Dec-202384 76

merge.stH A D29-Dec-2023337 1211

min-1-1.cH A D29-Dec-2023110 43

min-1-1.stH A D29-Dec-2023266 76

min-2-1.cH A D29-Dec-2023177 54

min-2-1.stH A D29-Dec-2023362 76

min-3-1.cH A D29-Dec-2023106 43

min-3-1.stH A D29-Dec-2023271 76

min-4-1.cH A D29-Dec-202363 32

min-4-1.stH A D29-Dec-2023228 76

mod.cH A D29-Dec-202372 43

mod.stH A D29-Dec-2023216 76

mod2.cH A D29-Dec-202372 43

mod2.stH A D29-Dec-2023208 76

mod3.cH A D29-Dec-2023173 54

mod3.stH A D29-Dec-2023436 76

mod4.cH A D29-Dec-2023205 65

mod4.stH A D29-Dec-20231.4 KiB1211

mode.cH A D29-Dec-2023247 1110

mode.stH A D29-Dec-2023464 1110

multi-mm-1.cH A D29-Dec-2023181 98

multi-mm-1.stH A D29-Dec-2023473 1110

multi-stride.cH A D29-Dec-20230 10

multi-stride.stH A D29-Dec-2023264 76

multi-stride2.cH A D29-Dec-202375 32

multi-stride2.stH A D29-Dec-2023264 76

mxm-shared.cH A D29-Dec-2023132 43

mxm-shared.stH A D29-Dec-20231.7 KiB76

no_lindep.cH A D29-Dec-202311 21

no_lindep.stH A D29-Dec-2023195 76

nul_basic1.cH A D29-Dec-202353 32

nul_basic1.stH A D29-Dec-2023225 76

nul_basic2.cH A D29-Dec-202396 65

nul_basic2.stH A D29-Dec-2023432 1110

nul_complex1.cH A D29-Dec-2023205 43

nul_complex1.stH A D29-Dec-2023250 76

nul_lcpc.cH A D29-Dec-2023317 1211

nul_lcpc.stH A D29-Dec-2023587 1110

orc.cH A D29-Dec-2023254 1514

orc.stH A D29-Dec-2023907 1413

otl.cH A D29-Dec-20231.1 KiB87

otl.stH A D29-Dec-20233 KiB76

param-split.cH A D29-Dec-2023100 76

param-split.stH A D29-Dec-2023300 1110

pouchet.cH A D29-Dec-2023500 1312

pouchet.stH A D29-Dec-2023829 76

rectangle.cH A D29-Dec-2023120 43

rectangle.stH A D29-Dec-2023224 76

reservoir-QR.cH A D29-Dec-20231.2 KiB5554

reservoir-QR.stH A D29-Dec-20232.2 KiB3736

reservoir-bastoul3.cH A D29-Dec-2023141 43

reservoir-bastoul3.stH A D29-Dec-2023280 76

reservoir-cholesky2.cH A D29-Dec-2023380 109

reservoir-cholesky2.stH A D29-Dec-2023886 2120

reservoir-fusion1.cH A D29-Dec-2023135 76

reservoir-fusion1.stH A D29-Dec-2023596 1817

reservoir-fusion2.cH A D29-Dec-2023281 1312

reservoir-fusion2.stH A D29-Dec-2023663 1716

reservoir-jacobi2.cH A D29-Dec-202386 43

reservoir-jacobi2.stH A D29-Dec-2023333 109

reservoir-jacobi3.cH A D29-Dec-2023231 98

reservoir-jacobi3.stH A D29-Dec-20231 KiB2322

reservoir-lim-lam1.cH A D29-Dec-2023286 1110

reservoir-lim-lam1.stH A D29-Dec-2023504 1413

reservoir-lim-lam2.cH A D29-Dec-2023220 98

reservoir-lim-lam2.stH A D29-Dec-2023961 2423

reservoir-lim-lam3.cH A D29-Dec-2023582 1211

reservoir-lim-lam3.stH A D29-Dec-20231.1 KiB2423

reservoir-lim-lam4.cH A D29-Dec-2023406 1110

reservoir-lim-lam4.stH A D29-Dec-2023890 2019

reservoir-lim-lam5.cH A D29-Dec-2023264 109

reservoir-lim-lam5.stH A D29-Dec-20231 KiB2726

reservoir-lim-lam6.cH A D29-Dec-2023176 76

reservoir-lim-lam6.stH A D29-Dec-2023721 2019

reservoir-liu-zhuge1.cH A D29-Dec-2023638 2019

reservoir-liu-zhuge1.stH A D29-Dec-2023796 1716

reservoir-loechner3.cH A D29-Dec-2023171 54

reservoir-loechner3.stH A D29-Dec-2023458 1312

reservoir-loechner4.cH A D29-Dec-2023216 65

reservoir-loechner4.stH A D29-Dec-2023633 1615

reservoir-loechner5.cH A D29-Dec-2023180 65

reservoir-loechner5.stH A D29-Dec-2023628 1615

reservoir-long.cH A D29-Dec-2023362 1514

reservoir-long.stH A D29-Dec-20232.5 KiB3736

reservoir-mg-interp.cH A D29-Dec-20232.4 KiB8483

reservoir-mg-interp.stH A D29-Dec-20238.4 KiB116115

reservoir-mg-interp2.cH A D29-Dec-2023520 1716

reservoir-mg-interp2.stH A D29-Dec-20232.7 KiB4645

reservoir-mg-psinv.cH A D29-Dec-2023265 109

reservoir-mg-psinv.stH A D29-Dec-20231.3 KiB2423

reservoir-mg-resid.cH A D29-Dec-2023265 109

reservoir-mg-resid.stH A D29-Dec-20231.3 KiB2423

reservoir-mg-rprj3.cH A D29-Dec-2023894 3635

reservoir-mg-rprj3.stH A D29-Dec-20232 KiB2928

reservoir-pingali1.cH A D29-Dec-2023226 87

reservoir-pingali1.stH A D29-Dec-2023732 1716

reservoir-pingali2.cH A D29-Dec-2023176 76

reservoir-pingali2.stH A D29-Dec-2023721 2019

reservoir-pingali3.cH A D29-Dec-2023221 87

reservoir-pingali3.stH A D29-Dec-2023887 2322

reservoir-pingali4.cH A D29-Dec-2023176 76

reservoir-pingali4.stH A D29-Dec-2023730 2019

reservoir-pingali5.cH A D29-Dec-2023384 1110

reservoir-pingali5.stH A D29-Dec-20231.2 KiB2726

reservoir-pingali6.cH A D29-Dec-2023231 98

reservoir-pingali6.stH A D29-Dec-20231 KiB2322

reservoir-stride.cH A D29-Dec-202359 32

reservoir-stride.stH A D29-Dec-2023204 76

reservoir-stride2.cH A D29-Dec-202359 32

reservoir-stride2.stH A D29-Dec-2023204 76

reservoir-tang-xue1.cH A D29-Dec-2023297 65

reservoir-tang-xue1.stH A D29-Dec-2023626 1615

reservoir-two.cH A D29-Dec-202313 21

reservoir-two.stH A D29-Dec-2023260 76

singleton.cH A D29-Dec-202312 32

singleton.stH A D29-Dec-2023125 87

sor1d.cH A D29-Dec-2023820 1413

sor1d.stH A D29-Dec-20233.7 KiB2524

square+triangle-1-1-2-3.cH A D29-Dec-2023186 109

square+triangle-1-1-2-3.stH A D29-Dec-2023443 1110

stride.cH A D29-Dec-2023118 65

stride.stH A D29-Dec-2023242 76

stride2.cH A D29-Dec-2023129 76

stride2.stH A D29-Dec-2023242 76

stride3.cH A D29-Dec-202353 32

stride3.stH A D29-Dec-2023200 76

stride4.cH A D29-Dec-202377 43

stride4.stH A D29-Dec-2023287 76

swim.cH A D29-Dec-20232.6 KiB160159

swim.stH A D29-Dec-202322 KiB224223

test.cH A D29-Dec-2023339 1615

test.stH A D29-Dec-2023459 1110

thomasset.cH A D29-Dec-2023367 87

thomasset.stH A D29-Dec-2023443 76

tiling.cH A D29-Dec-2023117 43

tiling.stH A D29-Dec-2023247 76

uday_scalars.cH A D29-Dec-2023102 54

uday_scalars.stH A D29-Dec-2023455 1413

union.cH A D29-Dec-2023130 87

union.stH A D29-Dec-2023239 76

unroll.cH A D29-Dec-202378 1211

unroll.stH A D29-Dec-2023172 76

unroll2.cH A D29-Dec-202365 65

unroll2.stH A D29-Dec-2023197 76

usvd_e_t.cH A D29-Dec-20235.9 KiB347346

usvd_e_t.stH A D29-Dec-20234.8 KiB3534

vasilache.cH A D29-Dec-2023552 2322

vasilache.stH A D29-Dec-20232 KiB3837

vivien.cH A D29-Dec-20232.3 KiB8685

vivien.stH A D29-Dec-2023892 76

vivien2.cH A D29-Dec-20232 KiB7776

vivien2.stH A D29-Dec-2023902 76

walters.cH A D29-Dec-2023386 1514

walters.stH A D29-Dec-20231.5 KiB1312

walters2.cH A D29-Dec-2023220 1110

walters2.stH A D29-Dec-2023451 1110

walters3.cH A D29-Dec-2023105 65

walters3.stH A D29-Dec-2023466 1110

wavefront.cH A D29-Dec-2023124 43

wavefront.stH A D29-Dec-2023253 76

yosr.cH A D29-Dec-2023294 1110

yosr.stH A D29-Dec-2023347 76

yosr2.cH A D29-Dec-2023293 1211

yosr2.stH A D29-Dec-2023480 76

youcef.cH A D29-Dec-2023120 76

youcef.stH A D29-Dec-2023490 1211

youcefn.cH A D29-Dec-2023172 98

youcefn.stH A D29-Dec-2023580 1211

README

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