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

..--

READMED23-Nov-2023243 65

basics-0.cD23-Nov-2023139 76

basics-0.inD23-Nov-2023228 43

basics-1.cD23-Nov-2023119 43

basics-1.inD23-Nov-2023186 43

chosol-0.cD23-Nov-2023155 87

chosol-0.inD23-Nov-2023267 43

chosol-1.cD23-Nov-2023155 87

chosol-1.inD23-Nov-2023267 43

code_gen-0.cD23-Nov-2023175 87

code_gen-0.inD23-Nov-2023250 43

code_gen-1.cD23-Nov-2023367 1716

code_gen-1.inD23-Nov-2023250 43

code_gen-2.cD23-Nov-2023370 1615

code_gen-2.inD23-Nov-2023251 43

collard-0.cD23-Nov-2023362 1514

collard-0.inD23-Nov-2023448 43

dagstuhl1-0.cD23-Nov-202360 32

dagstuhl1-0.inD23-Nov-2023142 43

dagstuhl1-1.cD23-Nov-202364 32

dagstuhl1-1.inD23-Nov-2023131 43

fc1-0.cD23-Nov-2023230 87

fc1-0.inD23-Nov-2023291 43

fc1-1.cD23-Nov-2023435 1615

fc1-1.inD23-Nov-2023457 43

fc1-2.cD23-Nov-2023435 1615

fc1-2.inD23-Nov-2023457 43

fc2-0.cD23-Nov-2023230 87

fc2-0.inD23-Nov-2023291 43

fc2-1.cD23-Nov-2023435 1615

fc2-1.inD23-Nov-2023457 43

floor_bound-0.cD23-Nov-202380 32

floor_bound-0.inD23-Nov-2023186 43

floor_bound-1.cD23-Nov-202356 32

floor_bound-1.inD23-Nov-2023149 43

floor_bound-2.cD23-Nov-202360 32

floor_bound-2.inD23-Nov-2023199 43

floor_bound-3.cD23-Nov-202379 32

floor_bound-3.inD23-Nov-2023250 43

floor_bound-4.cD23-Nov-202399 43

floor_bound-4.inD23-Nov-2023203 43

floor_bound-5.cD23-Nov-202361 32

floor_bound-5.inD23-Nov-2023203 43

floor_bound-6.cD23-Nov-2023100 43

floor_bound-6.inD23-Nov-2023256 43

gc-0.cD23-Nov-202345 32

gc-0.inD23-Nov-2023164 43

ge-0.cD23-Nov-2023188 87

ge-0.inD23-Nov-2023265 43

ge-1.cD23-Nov-2023188 87

ge-1.inD23-Nov-2023265 43

gist-0.cD23-Nov-202389 43

gist-0.inD23-Nov-2023284 43

gist-1.cD23-Nov-202389 43

gist-1.inD23-Nov-2023272 43

gist-2.cD23-Nov-202391 43

gist-2.inD23-Nov-2023270 43

gist-3.cD23-Nov-202392 43

gist-3.inD23-Nov-2023284 43

gist-4.cD23-Nov-202389 43

gist-4.inD23-Nov-2023284 43

gist-5.cD23-Nov-202390 43

gist-5.inD23-Nov-2023286 43

guard1-0.cD23-Nov-202338 32

guard1-0.inD23-Nov-2023175 43

guard1-1.cD23-Nov-202338 32

guard1-1.inD23-Nov-2023175 43

hpf-0.cD23-Nov-2023169 54

hpf-0.inD23-Nov-2023360 43

if_then-0.cD23-Nov-2023332 1413

if_then-0.inD23-Nov-2023422 43

if_then-1.cD23-Nov-2023162 109

if_then-1.inD23-Nov-2023348 43

if_then-2.cD23-Nov-2023228 1312

if_then-2.inD23-Nov-2023348 43

if_then-3.cD23-Nov-2023265 1413

if_then-3.inD23-Nov-2023349 43

if_then-4.cD23-Nov-2023187 87

if_then-4.inD23-Nov-2023357 43

if_then-5.cD23-Nov-2023187 87

if_then-5.inD23-Nov-2023357 43

iter1-0.cD23-Nov-202345 32

iter1-0.inD23-Nov-2023123 43

iter2-0.cD23-Nov-202392 43

iter2-0.inD23-Nov-2023174 43

iter3-0.cD23-Nov-202393 43

iter3-0.inD23-Nov-2023163 43

iter4-0.cD23-Nov-202398 43

iter4-0.inD23-Nov-2023181 43

iter5-0.cD23-Nov-2023107 43

iter5-0.inD23-Nov-2023196 43

iter6-0.cD23-Nov-202390 43

iter6-0.inD23-Nov-2023172 43

iter6-1.cD23-Nov-202370 32

iter6-1.inD23-Nov-2023194 43

iter7-0.cD23-Nov-202365 32

iter7-0.inD23-Nov-2023184 43

iter8-0.cD23-Nov-2023118 32

iter8-0.inD23-Nov-2023489 43

iter9-0.cD23-Nov-2023232 1211

iter9-0.inD23-Nov-20231.1 KiB43

lefur00-0.cD23-Nov-2023521 65

lefur00-0.inD23-Nov-2023346 43

lefur01-0.cD23-Nov-2023521 65

lefur01-0.inD23-Nov-2023346 43

lefur01-1.cD23-Nov-2023521 65

lefur01-1.inD23-Nov-2023346 43

lefur03-0.cD23-Nov-2023917 87

lefur03-0.inD23-Nov-2023514 43

lefur04-0.cD23-Nov-20231.2 KiB98

lefur04-0.inD23-Nov-2023652 43

lift1-0.cD23-Nov-2023311 109

lift1-0.inD23-Nov-2023539 43

lift1-1.cD23-Nov-2023437 1514

lift1-1.inD23-Nov-2023539 43

lift1-2.cD23-Nov-2023476 1615

lift1-2.inD23-Nov-2023539 43

lift1-3.cD23-Nov-2023513 1716

lift1-3.inD23-Nov-2023539 43

lift1-4.cD23-Nov-2023548 1817

lift1-4.inD23-Nov-2023539 43

lift1-5.cD23-Nov-2023524 1514

lift1-5.inD23-Nov-2023540 43

lift2-0.cD23-Nov-2023322 109

lift2-0.inD23-Nov-2023539 43

lift2-1.cD23-Nov-2023550 1817

lift2-1.inD23-Nov-2023539 43

lift2-2.cD23-Nov-2023632 2019

lift2-2.inD23-Nov-2023539 43

lift2-3.cD23-Nov-2023710 2221

lift2-3.inD23-Nov-2023539 43

lift2-4.cD23-Nov-2023784 2423

lift2-4.inD23-Nov-2023539 43

lift2-5.cD23-Nov-2023761 2120

lift2-5.inD23-Nov-2023540 43

lu-0.cD23-Nov-2023416 1110

lu-0.inD23-Nov-2023561 43

lu-1.cD23-Nov-2023416 1110

lu-1.inD23-Nov-2023561 43

lu-2.cD23-Nov-2023416 1110

lu-2.inD23-Nov-2023561 43

lu-3.cD23-Nov-2023597 1514

lu-3.inD23-Nov-2023561 43

lu_ijk-0.cD23-Nov-2023188 87

lu_ijk-0.inD23-Nov-2023265

lu_ijk-1.cD23-Nov-2023188 87

lu_ijk-1.inD23-Nov-2023265 43

lu_ijk-2.cD23-Nov-2023295 1211

lu_ijk-2.inD23-Nov-2023265 43

lu_spmd-0.cD23-Nov-2023354 1413

lu_spmd-0.inD23-Nov-2023648 43

lu_spmd-1.cD23-Nov-2023354 1413

lu_spmd-1.inD23-Nov-2023648 43

m1-0.cD23-Nov-2023128 76

m1-0.inD23-Nov-2023200 43

m1-1.cD23-Nov-2023290 1514

m1-1.inD23-Nov-2023200 43

m10-0.cD23-Nov-2023157 87

m10-0.inD23-Nov-2023224 43

m10-1.cD23-Nov-2023353 1615

m10-1.inD23-Nov-2023224 43

m11-0.cD23-Nov-2023547 76

m11-0.inD23-Nov-2023565 43

m12-0.cD23-Nov-202394 43

m12-0.inD23-Nov-2023218 43

m12-1.cD23-Nov-2023489 2423

m12-1.inD23-Nov-2023964 43

m2-0.cD23-Nov-2023226 1312

m2-0.inD23-Nov-2023256 43

m2-1.cD23-Nov-2023215 1110

m2-1.inD23-Nov-2023257 43

m3-0.cD23-Nov-2023119 43

m3-0.inD23-Nov-2023186 43

m4-0.cD23-Nov-2023110 65

m4-0.inD23-Nov-2023222 43

m4-1.cD23-Nov-2023110 65

m4-1.inD23-Nov-2023222 43

m7-0.cD23-Nov-2023133 76

m7-0.inD23-Nov-2023257 43

m7-1.cD23-Nov-2023221 1211

m7-1.inD23-Nov-2023257 43

m8-0.cD23-Nov-2023133 76

m8-0.inD23-Nov-2023292

m8-1.cD23-Nov-2023221 1211

m8-1.inD23-Nov-2023292 43

m9-0.cD23-Nov-2023110 65

m9-0.inD23-Nov-2023224 43

m9-1.cD23-Nov-2023110 65

m9-1.inD23-Nov-2023224 43

olda-0.cD23-Nov-2023212 98

olda-0.inD23-Nov-2023324 43

olda-1.cD23-Nov-2023250 109

olda-1.inD23-Nov-2023324 43

p.delft-0.cD23-Nov-2023169 54

p.delft-0.inD23-Nov-2023360 43

p.delft2-0.cD23-Nov-2023643 1211

p.delft2-0.inD23-Nov-20231.3 KiB43

p6-0.cD23-Nov-2023139 76

p6-0.inD23-Nov-2023228 43

p6-1.cD23-Nov-2023119 43

p6-1.inD23-Nov-2023186 43

stride1-0.cD23-Nov-202345 32

stride1-0.inD23-Nov-2023164 43

stride2-0.cD23-Nov-2023104 43

stride2-0.inD23-Nov-2023238 43

stride3-0.cD23-Nov-2023104 43

stride3-0.inD23-Nov-2023248 43

stride4-0.cD23-Nov-202347 32

stride4-0.inD23-Nov-2023176 43

stride5-0.cD23-Nov-2023120 43

stride5-0.inD23-Nov-2023269 43

stride6-0.cD23-Nov-2023104 43

stride6-0.inD23-Nov-2023218 43

stride6-1.cD23-Nov-202393 43

stride6-1.inD23-Nov-2023250 43

stride6-2.cD23-Nov-202393 43

stride6-2.inD23-Nov-2023250 43

stride7-0.cD23-Nov-2023343 1615

stride7-0.inD23-Nov-2023223 43

stride7-1.cD23-Nov-2023313 1312

stride7-1.inD23-Nov-2023224 43

substitution-0.cD23-Nov-2023140 43

substitution-0.inD23-Nov-2023155 43

substitution-1.cD23-Nov-2023183 43

substitution-1.inD23-Nov-2023156 43

substitution-2.cD23-Nov-202355 32

substitution-2.inD23-Nov-2023134 43

substitution-3.cD23-Nov-202312 21

substitution-3.inD23-Nov-2023115 43

substitution-4.cD23-Nov-202311 21

substitution-4.inD23-Nov-2023189 43

syr2k-0.cD23-Nov-2023233 54

syr2k-0.inD23-Nov-2023243 43

syr2k-1.cD23-Nov-2023207 54

syr2k-1.inD23-Nov-2023270 43

syr2k-2.cD23-Nov-2023233 54

syr2k-2.inD23-Nov-2023243 43

syr2k-3.cD23-Nov-2023207 54

syr2k-3.inD23-Nov-2023270 43

ts1d-check-sblock-0.cD23-Nov-2023499 1413

ts1d-check-sblock-0.inD23-Nov-2023456 43

ts1d-check0-0.cD23-Nov-2023584 1211

ts1d-check0-0.inD23-Nov-2023631 43

ts1d-mp-i_ts-m_b-0.cD23-Nov-20232.7 KiB3534

ts1d-mp-i_ts-m_b-0.inD23-Nov-20231.6 KiB43

ts1d-orig0-0.cD23-Nov-2023220 98

ts1d-orig0-0.inD23-Nov-2023455 43

wak1-0.cD23-Nov-2023676 2625

wak1-0.inD23-Nov-2023207 43

wak1-1.cD23-Nov-20231.6 KiB5453

wak1-1.inD23-Nov-2023207 43

wak2-0.cD23-Nov-2023814 2625

wak2-0.inD23-Nov-2023248 43

wak2-1.cD23-Nov-20231.1 KiB3534

wak2-1.inD23-Nov-2023248 43

wak3-0.cD23-Nov-2023151 98

wak3-0.inD23-Nov-2023235 43

wak3-1.cD23-Nov-2023437 2019

wak3-1.inD23-Nov-2023236 43

wak4-0.cD23-Nov-2023133 54

wak4-0.inD23-Nov-2023442 43

wak4-1.cD23-Nov-2023133 54

wak4-1.inD23-Nov-2023443 43

x-0.cD23-Nov-2023541 1514

x-0.inD23-Nov-2023239 43

x-1.cD23-Nov-2023541 1514

x-1.inD23-Nov-2023239 43

README

1The tests in this directory have been adapted from the corresponding omega+
2test cases.
3The options have been derived semi-automatically and may not always
4correspond to the intended meaning of the specified "effort" in the omega+
5test cases.
6