• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..--

0D-1.cD23-Nov-20236 21

0D-1.stD23-Nov-202346 43

0D-2.cD23-Nov-202320 32

0D-2.stD23-Nov-202369 43

0D-3.cD23-Nov-20236 21

0D-3.stD23-Nov-202378 43

1point-1.cD23-Nov-202314 21

1point-1.stD23-Nov-2023189 76

1point-2.cD23-Nov-202318 21

1point-2.stD23-Nov-2023205 76

4-param.cD23-Nov-2023319 1312

4-param.stD23-Nov-2023379 1110

READMED23-Nov-202387 32

backtrack.cD23-Nov-20237 21

backtrack.stD23-Nov-2023127 76

basic-bounds-1.cD23-Nov-202345

basic-bounds-1.stD23-Nov-2023150 76

basic-bounds-2.cD23-Nov-20237 21

basic-bounds-2.stD23-Nov-2023127 76

basic-bounds-3.cD23-Nov-202345 32

basic-bounds-3.stD23-Nov-2023187 76

basic-bounds-4.cD23-Nov-202349 32

basic-bounds-4.stD23-Nov-2023191 76

basic-bounds-5.cD23-Nov-202325 21

basic-bounds-5.stD23-Nov-2023217 76

basic-bounds-6.cD23-Nov-20238 21

basic-bounds-6.stD23-Nov-2023128 76

block.cD23-Nov-202326 54

block.stD23-Nov-2023281 1110

block2.cD23-Nov-202378 65

block2.stD23-Nov-2023463 1211

block3.cD23-Nov-202357 54

block3.stD23-Nov-2023192 76

byu98-1-2-3.cD23-Nov-2023372 1716

byu98-1-2-3.stD23-Nov-2023406 1110

cholesky.cD23-Nov-2023253 1312

cholesky.stD23-Nov-20231.4 KiB2726

cholesky2.cD23-Nov-2023409 1615

cholesky2.stD23-Nov-2023881 76

christian.cD23-Nov-2023216 76

christian.stD23-Nov-2023324 76

classen.cD23-Nov-20232.6 KiB6463

classen.stD23-Nov-20234.1 KiB2524

classen2.cD23-Nov-20231.1 KiB54

classen2.stD23-Nov-20231.2 KiB76

constant.cD23-Nov-2023308 1716

constant.stD23-Nov-2023780 1211

constbound.cD23-Nov-2023278 98

constbound.stD23-Nov-2023734 1716

darte.cD23-Nov-2023531 1514

darte.stD23-Nov-2023505 76

dealII.cD23-Nov-2023407 1716

dealII.stD23-Nov-2023643 1110

donotsimp.cD23-Nov-2023148 76

donotsimp.stD23-Nov-2023430 109

dot.cD23-Nov-2023136 65

dot.stD23-Nov-2023469 1110

dot2.cD23-Nov-2023251 1110

dot2.stD23-Nov-2023442 1110

durbin_e_s.cD23-Nov-2023419 2221

durbin_e_s.stD23-Nov-20231.3 KiB1716

emploi.cD23-Nov-2023102 65

emploi.stD23-Nov-2023474 1110

equality.cD23-Nov-2023182 87

equality.stD23-Nov-2023353 1110

equality2.cD23-Nov-2023450 98

equality2.stD23-Nov-20232.7 KiB1110

esced.cD23-Nov-2023102 65

esced.stD23-Nov-2023422 1110

ex1.cD23-Nov-2023324 1413

ex1.stD23-Nov-2023463 1110

faber.cD23-Nov-20236.1 KiB148147

faber.stD23-Nov-20233.2 KiB1918

forwardsub-1-1-2.cD23-Nov-2023129 87

forwardsub-1-1-2.stD23-Nov-2023666 1312

forwardsub-2-1-2-3.cD23-Nov-2023174 98

forwardsub-2-1-2-3.stD23-Nov-2023792 1312

forwardsub-3-1-2.cD23-Nov-2023333 1615

forwardsub-3-1-2.stD23-Nov-2023691 1312

gauss.cD23-Nov-2023209 87

gauss.stD23-Nov-2023431 76

gesced.cD23-Nov-2023430 1514

gesced.stD23-Nov-2023390 76

gesced2.cD23-Nov-2023522 1918

gesced2.stD23-Nov-2023365 76

gesced3.cD23-Nov-2023213 98

gesced3.stD23-Nov-2023267 76

guide.cD23-Nov-202398 54

guide.stD23-Nov-2023400 1110

iftest.cD23-Nov-202345 32

iftest.stD23-Nov-2023242 76

iftest2.cD23-Nov-202388 43

iftest2.stD23-Nov-2023312 76

infinite2.cD23-Nov-2023145 87

infinite2.stD23-Nov-2023430 1110

jacobi-shared.cD23-Nov-2023254 43

jacobi-shared.stD23-Nov-20231.5 KiB76

largeur.cD23-Nov-202389 43

largeur.stD23-Nov-2023246 76

levenshtein-1-2-3.cD23-Nov-2023700 3130

levenshtein-1-2-3.stD23-Nov-20231.5 KiB1716

lex.cD23-Nov-202360 54

lex.stD23-Nov-2023285 1110

lineality-1-2.cD23-Nov-2023178 98

lineality-1-2.stD23-Nov-2023430 1110

lineality-2-1-2.cD23-Nov-2023267 1312

lineality-2-1-2.stD23-Nov-2023434 1110

logo.cD23-Nov-2023370 1615

logo.stD23-Nov-2023439 1110

logopar.cD23-Nov-2023382 1615

logopar.stD23-Nov-2023488 1110

lu.cD23-Nov-2023204 87

lu.stD23-Nov-2023388 76

lu2.cD23-Nov-2023219 87

lu2.stD23-Nov-2023768 1110

lux.cD23-Nov-2023215 87

lux.stD23-Nov-2023767 1110

merge.cD23-Nov-202384 76

merge.stD23-Nov-2023337 1211

min-1-1.cD23-Nov-2023110 43

min-1-1.stD23-Nov-2023266 76

min-2-1.cD23-Nov-2023177 54

min-2-1.stD23-Nov-2023362 76

min-3-1.cD23-Nov-2023106 43

min-3-1.stD23-Nov-2023271 76

min-4-1.cD23-Nov-202363 32

min-4-1.stD23-Nov-2023228 76

mod.cD23-Nov-202372 43

mod.stD23-Nov-2023216 76

mod2.cD23-Nov-202372 43

mod2.stD23-Nov-2023208 76

mod3.cD23-Nov-2023173 54

mod3.stD23-Nov-2023436 76

mod4.cD23-Nov-2023205 65

mod4.stD23-Nov-20231.4 KiB1211

mode.cD23-Nov-2023247 1110

mode.stD23-Nov-2023464 1110

multi-mm-1.cD23-Nov-2023181 98

multi-mm-1.stD23-Nov-2023473 1110

multi-stride.cD23-Nov-20230 10

multi-stride.stD23-Nov-2023264 76

multi-stride2.cD23-Nov-202375 32

multi-stride2.stD23-Nov-2023264 76

mxm-shared.cD23-Nov-2023132 43

mxm-shared.stD23-Nov-20231.7 KiB76

no_lindep.cD23-Nov-202311 21

no_lindep.stD23-Nov-2023195 76

nul_basic1.cD23-Nov-202353 32

nul_basic1.stD23-Nov-2023225 76

nul_basic2.cD23-Nov-202396 65

nul_basic2.stD23-Nov-2023432 1110

nul_complex1.cD23-Nov-2023205 43

nul_complex1.stD23-Nov-2023250 76

nul_lcpc.cD23-Nov-2023317 1211

nul_lcpc.stD23-Nov-2023587 1110

orc.cD23-Nov-2023254 1514

orc.stD23-Nov-2023907 1413

otl.cD23-Nov-20231.1 KiB87

otl.stD23-Nov-20233 KiB76

param-split.cD23-Nov-2023100 76

param-split.stD23-Nov-2023300 1110

pouchet.cD23-Nov-2023500 1312

pouchet.stD23-Nov-2023829 76

rectangle.cD23-Nov-2023120 43

rectangle.stD23-Nov-2023224 76

reservoir-QR.cD23-Nov-20231.2 KiB5554

reservoir-QR.stD23-Nov-20232.2 KiB3736

reservoir-bastoul3.cD23-Nov-2023141 43

reservoir-bastoul3.stD23-Nov-2023280 76

reservoir-cholesky2.cD23-Nov-2023380 109

reservoir-cholesky2.stD23-Nov-2023886 2120

reservoir-fusion1.cD23-Nov-2023135 76

reservoir-fusion1.stD23-Nov-2023596 1817

reservoir-fusion2.cD23-Nov-2023281 1312

reservoir-fusion2.stD23-Nov-2023663 1716

reservoir-jacobi2.cD23-Nov-202386 43

reservoir-jacobi2.stD23-Nov-2023333 109

reservoir-jacobi3.cD23-Nov-2023231 98

reservoir-jacobi3.stD23-Nov-20231 KiB2322

reservoir-lim-lam1.cD23-Nov-2023286 1110

reservoir-lim-lam1.stD23-Nov-2023504 1413

reservoir-lim-lam2.cD23-Nov-2023220 98

reservoir-lim-lam2.stD23-Nov-2023961 2423

reservoir-lim-lam3.cD23-Nov-2023582 1211

reservoir-lim-lam3.stD23-Nov-20231.1 KiB2423

reservoir-lim-lam4.cD23-Nov-2023406 1110

reservoir-lim-lam4.stD23-Nov-2023890 2019

reservoir-lim-lam5.cD23-Nov-2023264 109

reservoir-lim-lam5.stD23-Nov-20231 KiB2726

reservoir-lim-lam6.cD23-Nov-2023176 76

reservoir-lim-lam6.stD23-Nov-2023721 2019

reservoir-liu-zhuge1.cD23-Nov-2023638 2019

reservoir-liu-zhuge1.stD23-Nov-2023796 1716

reservoir-loechner3.cD23-Nov-2023171 54

reservoir-loechner3.stD23-Nov-2023458 1312

reservoir-loechner4.cD23-Nov-2023216 65

reservoir-loechner4.stD23-Nov-2023633 1615

reservoir-loechner5.cD23-Nov-2023180 65

reservoir-loechner5.stD23-Nov-2023628 1615

reservoir-long.cD23-Nov-2023362 1514

reservoir-long.stD23-Nov-20232.5 KiB3736

reservoir-mg-interp.cD23-Nov-20232.4 KiB8483

reservoir-mg-interp.stD23-Nov-20238.4 KiB116115

reservoir-mg-interp2.cD23-Nov-2023520 1716

reservoir-mg-interp2.stD23-Nov-20232.7 KiB4645

reservoir-mg-psinv.cD23-Nov-2023265 109

reservoir-mg-psinv.stD23-Nov-20231.3 KiB2423

reservoir-mg-resid.cD23-Nov-2023265 109

reservoir-mg-resid.stD23-Nov-20231.3 KiB2423

reservoir-mg-rprj3.cD23-Nov-2023894 3635

reservoir-mg-rprj3.stD23-Nov-20232 KiB2928

reservoir-pingali1.cD23-Nov-2023226 87

reservoir-pingali1.stD23-Nov-2023732 1716

reservoir-pingali2.cD23-Nov-2023176 76

reservoir-pingali2.stD23-Nov-2023721 2019

reservoir-pingali3.cD23-Nov-2023221 87

reservoir-pingali3.stD23-Nov-2023887 2322

reservoir-pingali4.cD23-Nov-2023176 76

reservoir-pingali4.stD23-Nov-2023730 2019

reservoir-pingali5.cD23-Nov-2023384 1110

reservoir-pingali5.stD23-Nov-20231.2 KiB2726

reservoir-pingali6.cD23-Nov-2023231 98

reservoir-pingali6.stD23-Nov-20231 KiB2322

reservoir-stride.cD23-Nov-202359 32

reservoir-stride.stD23-Nov-2023204 76

reservoir-stride2.cD23-Nov-202359 32

reservoir-stride2.stD23-Nov-2023204 76

reservoir-tang-xue1.cD23-Nov-2023297 65

reservoir-tang-xue1.stD23-Nov-2023626 1615

reservoir-two.cD23-Nov-202313 21

reservoir-two.stD23-Nov-2023260 76

singleton.cD23-Nov-202312 32

singleton.stD23-Nov-2023125 87

sor1d.cD23-Nov-2023820 1413

sor1d.stD23-Nov-20233.7 KiB2524

square+triangle-1-1-2-3.cD23-Nov-2023186 109

square+triangle-1-1-2-3.stD23-Nov-2023443 1110

stride.cD23-Nov-2023118 65

stride.stD23-Nov-2023242 76

stride2.cD23-Nov-2023129 76

stride2.stD23-Nov-2023242 76

stride3.cD23-Nov-202353 32

stride3.stD23-Nov-2023200 76

stride4.cD23-Nov-202377 43

stride4.stD23-Nov-2023287 76

swim.cD23-Nov-20232.6 KiB160159

swim.stD23-Nov-202322 KiB224223

test.cD23-Nov-2023335 1615

test.stD23-Nov-2023459 1110

thomasset.cD23-Nov-2023367 87

thomasset.stD23-Nov-2023443 76

tiling.cD23-Nov-2023117 43

tiling.stD23-Nov-2023247 76

uday_scalars.cD23-Nov-2023102 54

uday_scalars.stD23-Nov-2023455 1413

union.cD23-Nov-2023130 87

union.stD23-Nov-2023239 76

unroll.cD23-Nov-202378 1211

unroll.stD23-Nov-2023172 76

unroll2.cD23-Nov-202365 65

unroll2.stD23-Nov-2023197 76

usvd_e_t.cD23-Nov-20235.9 KiB347346

usvd_e_t.stD23-Nov-20234.8 KiB3534

vasilache.cD23-Nov-2023552 2322

vasilache.stD23-Nov-20232 KiB3837

vivien.cD23-Nov-20232.3 KiB8786

vivien.stD23-Nov-2023892 76

vivien2.cD23-Nov-20232.1 KiB7978

vivien2.stD23-Nov-2023902 76

walters.cD23-Nov-2023386 1514

walters.stD23-Nov-20231.5 KiB1312

walters2.cD23-Nov-2023220 1110

walters2.stD23-Nov-2023451 1110

walters3.cD23-Nov-2023105 65

walters3.stD23-Nov-2023466 1110

wavefront.cD23-Nov-2023124 43

wavefront.stD23-Nov-2023253 76

yosr.cD23-Nov-2023294 1110

yosr.stD23-Nov-2023347 76

yosr2.cD23-Nov-2023293 1211

yosr2.stD23-Nov-2023480 76

youcef.cD23-Nov-2023120 76

youcef.stD23-Nov-2023490 1211

youcefn.cD23-Nov-2023172 98

youcefn.stD23-Nov-2023580 1211

README

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