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

..20-Jan-2022-

READMEH A D20-Jan-2022243 65

basics-0.cH A D20-Jan-2022139 76

basics-0.inH A D20-Jan-2022228 43

basics-1.cH A D20-Jan-2022119 43

basics-1.inH A D20-Jan-2022186 43

chosol-0.cH A D20-Jan-2022155 87

chosol-0.inH A D20-Jan-2022267 43

chosol-1.cH A D20-Jan-2022155 87

chosol-1.inH A D20-Jan-2022267 43

code_gen-0.cH A D20-Jan-2022175 87

code_gen-0.inH A D20-Jan-2022250 43

code_gen-1.cH A D20-Jan-2022367 1716

code_gen-1.inH A D20-Jan-2022250 43

code_gen-2.cH A D20-Jan-2022370 1615

code_gen-2.inH A D20-Jan-2022251 43

collard-0.cH A D20-Jan-2022362 1514

collard-0.inH A D20-Jan-2022448 43

dagstuhl1-0.cH A D20-Jan-202260 32

dagstuhl1-0.inH A D20-Jan-2022142 43

dagstuhl1-1.cH A D20-Jan-202264 32

dagstuhl1-1.inH A D20-Jan-2022131 43

fc1-0.cH A D20-Jan-2022230 87

fc1-0.inH A D20-Jan-2022291 43

fc1-1.cH A D20-Jan-2022435 1615

fc1-1.inH A D20-Jan-2022457 43

fc1-2.cH A D20-Jan-2022435 1615

fc1-2.inH A D20-Jan-2022457 43

fc2-0.cH A D20-Jan-2022230 87

fc2-0.inH A D20-Jan-2022291 43

fc2-1.cH A D20-Jan-2022435 1615

fc2-1.inH A D20-Jan-2022457 43

floor_bound-0.cH A D20-Jan-202280 32

floor_bound-0.inH A D20-Jan-2022186 43

floor_bound-1.cH A D20-Jan-202256 32

floor_bound-1.inH A D20-Jan-2022149 43

floor_bound-2.cH A D20-Jan-202260 32

floor_bound-2.inH A D20-Jan-2022199 43

floor_bound-3.cH A D20-Jan-202279 32

floor_bound-3.inH A D20-Jan-2022250 43

floor_bound-4.cH A D20-Jan-202299 43

floor_bound-4.inH A D20-Jan-2022203 43

floor_bound-5.cH A D20-Jan-202261 32

floor_bound-5.inH A D20-Jan-2022203 43

floor_bound-6.cH A D20-Jan-2022100 43

floor_bound-6.inH A D20-Jan-2022256 43

gc-0.cH A D20-Jan-202245 32

gc-0.inH A D20-Jan-2022164 43

ge-0.cH A D20-Jan-2022188 87

ge-0.inH A D20-Jan-2022265 43

ge-1.cH A D20-Jan-2022188 87

ge-1.inH A D20-Jan-2022265 43

gist-0.cH A D20-Jan-202289 43

gist-0.inH A D20-Jan-2022284 43

gist-1.cH A D20-Jan-202289 43

gist-1.inH A D20-Jan-2022272 43

gist-2.cH A D20-Jan-202291 43

gist-2.inH A D20-Jan-2022270 43

gist-3.cH A D20-Jan-202292 43

gist-3.inH A D20-Jan-2022284 43

gist-4.cH A D20-Jan-202289 43

gist-4.inH A D20-Jan-2022284 43

gist-5.cH A D20-Jan-202290 43

gist-5.inH A D20-Jan-2022286 43

guard1-0.cH A D20-Jan-202238 32

guard1-0.inH A D20-Jan-2022175 43

guard1-1.cH A D20-Jan-202238 32

guard1-1.inH A D20-Jan-2022175 43

hpf-0.cH A D20-Jan-2022169 54

hpf-0.inH A D20-Jan-2022360 43

if_then-0.cH A D20-Jan-2022332 1413

if_then-0.inH A D20-Jan-2022422 43

if_then-1.cH A D20-Jan-2022162 109

if_then-1.inH A D20-Jan-2022348 43

if_then-2.cH A D20-Jan-2022228 1312

if_then-2.inH A D20-Jan-2022348 43

if_then-3.cH A D20-Jan-2022265 1413

if_then-3.inH A D20-Jan-2022349 43

if_then-4.cH A D20-Jan-2022187 87

if_then-4.inH A D20-Jan-2022357 43

if_then-5.cH A D20-Jan-2022187 87

if_then-5.inH A D20-Jan-2022357 43

iter1-0.cH A D20-Jan-202245 32

iter1-0.inH A D20-Jan-2022123 43

iter2-0.cH A D20-Jan-202292 43

iter2-0.inH A D20-Jan-2022174 43

iter3-0.cH A D20-Jan-202293 43

iter3-0.inH A D20-Jan-2022163 43

iter4-0.cH A D20-Jan-202298 43

iter4-0.inH A D20-Jan-2022181 43

iter5-0.cH A D20-Jan-2022107 43

iter5-0.inH A D20-Jan-2022196 43

iter6-0.cH A D20-Jan-202290 43

iter6-0.inH A D20-Jan-2022172 43

iter6-1.cH A D20-Jan-202270 32

iter6-1.inH A D20-Jan-2022194 43

iter7-0.cH A D20-Jan-202265 32

iter7-0.inH A D20-Jan-2022184 43

iter8-0.cH A D20-Jan-2022118 32

iter8-0.inH A D20-Jan-2022489 43

iter9-0.cH A D20-Jan-2022232 1211

iter9-0.inH A D20-Jan-20221.1 KiB43

lefur00-0.cH A D20-Jan-2022521 65

lefur00-0.inH A D20-Jan-2022346 43

lefur01-0.cH A D20-Jan-2022521 65

lefur01-0.inH A D20-Jan-2022346 43

lefur01-1.cH A D20-Jan-2022521 65

lefur01-1.inH A D20-Jan-2022346 43

lefur03-0.cH A D20-Jan-2022917 87

lefur03-0.inH A D20-Jan-2022514 43

lefur04-0.cH A D20-Jan-20221.2 KiB98

lefur04-0.inH A D20-Jan-2022652 43

lift1-0.cH A D20-Jan-2022311 109

lift1-0.inH A D20-Jan-2022539 43

lift1-1.cH A D20-Jan-2022437 1514

lift1-1.inH A D20-Jan-2022539 43

lift1-2.cH A D20-Jan-2022476 1615

lift1-2.inH A D20-Jan-2022539 43

lift1-3.cH A D20-Jan-2022513 1716

lift1-3.inH A D20-Jan-2022539 43

lift1-4.cH A D20-Jan-2022548 1817

lift1-4.inH A D20-Jan-2022539 43

lift1-5.cH A D20-Jan-2022524 1514

lift1-5.inH A D20-Jan-2022540 43

lift2-0.cH A D20-Jan-2022322 109

lift2-0.inH A D20-Jan-2022539 43

lift2-1.cH A D20-Jan-2022550 1817

lift2-1.inH A D20-Jan-2022539 43

lift2-2.cH A D20-Jan-2022632 2019

lift2-2.inH A D20-Jan-2022539 43

lift2-3.cH A D20-Jan-2022710 2221

lift2-3.inH A D20-Jan-2022539 43

lift2-4.cH A D20-Jan-2022784 2423

lift2-4.inH A D20-Jan-2022539 43

lift2-5.cH A D20-Jan-2022761 2120

lift2-5.inH A D20-Jan-2022540 43

lu-0.cH A D20-Jan-2022416 1110

lu-0.inH A D20-Jan-2022561 43

lu-1.cH A D20-Jan-2022416 1110

lu-1.inH A D20-Jan-2022561 43

lu-2.cH A D20-Jan-2022416 1110

lu-2.inH A D20-Jan-2022561 43

lu-3.cH A D20-Jan-2022597 1514

lu-3.inH A D20-Jan-2022561 43

lu_ijk-0.cH A D20-Jan-2022188 87

lu_ijk-0.inH A D20-Jan-2022265 43

lu_ijk-1.cH A D20-Jan-2022188 87

lu_ijk-1.inH A D20-Jan-2022265 43

lu_ijk-2.cH A D20-Jan-2022295 1211

lu_ijk-2.inH A D20-Jan-2022265 43

lu_spmd-0.cH A D20-Jan-2022354 1413

lu_spmd-0.inH A D20-Jan-2022648 43

lu_spmd-1.cH A D20-Jan-2022354 1413

lu_spmd-1.inH A D20-Jan-2022648 43

m1-0.cH A D20-Jan-2022128 76

m1-0.inH A D20-Jan-2022200 43

m1-1.cH A D20-Jan-2022290 1514

m1-1.inH A D20-Jan-2022200 43

m10-0.cH A D20-Jan-2022157 87

m10-0.inH A D20-Jan-2022224 43

m10-1.cH A D20-Jan-2022353 1615

m10-1.inH A D20-Jan-2022224 43

m11-0.cH A D20-Jan-2022547 76

m11-0.inH A D20-Jan-2022565 43

m12-0.cH A D20-Jan-202294 43

m12-0.inH A D20-Jan-2022218 43

m12-1.cH A D20-Jan-2022489 2423

m12-1.inH A D20-Jan-2022964 43

m2-0.cH A D20-Jan-2022226 1312

m2-0.inH A D20-Jan-2022256 43

m2-1.cH A D20-Jan-2022215 1110

m2-1.inH A D20-Jan-2022257 43

m3-0.cH A D20-Jan-2022119 43

m3-0.inH A D20-Jan-2022186 43

m4-0.cH A D20-Jan-2022110 65

m4-0.inH A D20-Jan-2022222 43

m4-1.cH A D20-Jan-2022110 65

m4-1.inH A D20-Jan-2022222 43

m7-0.cH A D20-Jan-2022133 76

m7-0.inH A D20-Jan-2022257 43

m7-1.cH A D20-Jan-2022221 1211

m7-1.inH A D20-Jan-2022257 43

m8-0.cH A D20-Jan-2022133 76

m8-0.inH A D20-Jan-2022292 43

m8-1.cH A D20-Jan-2022221 1211

m8-1.inH A D20-Jan-2022292 43

m9-0.cH A D20-Jan-2022110 65

m9-0.inH A D20-Jan-2022224 43

m9-1.cH A D20-Jan-2022110 65

m9-1.inH A D20-Jan-2022224 43

olda-0.cH A D20-Jan-2022212 98

olda-0.inH A D20-Jan-2022324 43

olda-1.cH A D20-Jan-2022250 109

olda-1.inH A D20-Jan-2022324 43

p.delft-0.cH A D20-Jan-2022169 54

p.delft-0.inH A D20-Jan-2022360 43

p.delft2-0.cH A D20-Jan-2022643 1211

p.delft2-0.inH A D20-Jan-20221.3 KiB43

p6-0.cH A D20-Jan-2022139 76

p6-0.inH A D20-Jan-2022228 43

p6-1.cH A D20-Jan-2022119 43

p6-1.inH A D20-Jan-2022186 43

stride1-0.cH A D20-Jan-202245 32

stride1-0.inH A D20-Jan-2022164 43

stride2-0.cH A D20-Jan-2022104 43

stride2-0.inH A D20-Jan-2022238 43

stride3-0.cH A D20-Jan-2022104 43

stride3-0.inH A D20-Jan-2022248 43

stride4-0.cH A D20-Jan-202247 32

stride4-0.inH A D20-Jan-2022176 43

stride5-0.cH A D20-Jan-2022120 43

stride5-0.inH A D20-Jan-2022269 43

stride6-0.cH A D20-Jan-2022104 43

stride6-0.inH A D20-Jan-2022218 43

stride6-1.cH A D20-Jan-202293 43

stride6-1.inH A D20-Jan-2022250 43

stride6-2.cH A D20-Jan-202293 43

stride6-2.inH A D20-Jan-2022250 43

stride7-0.cH A D20-Jan-2022343 1615

stride7-0.inH A D20-Jan-2022223 43

stride7-1.cH A D20-Jan-2022313 1312

stride7-1.inH A D20-Jan-2022224 43

substitution-0.cH A D20-Jan-2022140 43

substitution-0.inH A D20-Jan-2022155 43

substitution-1.cH A D20-Jan-2022183 43

substitution-1.inH A D20-Jan-2022156 43

substitution-2.cH A D20-Jan-202255 32

substitution-2.inH A D20-Jan-2022134 43

substitution-3.cH A D20-Jan-202212 21

substitution-3.inH A D20-Jan-2022115 43

substitution-4.cH A D20-Jan-202211 21

substitution-4.inH A D20-Jan-2022189 43

syr2k-0.cH A D20-Jan-2022233 54

syr2k-0.inH A D20-Jan-2022243 43

syr2k-1.cH A D20-Jan-2022207 54

syr2k-1.inH A D20-Jan-2022270 43

syr2k-2.cH A D20-Jan-2022233 54

syr2k-2.inH A D20-Jan-2022243 43

syr2k-3.cH A D20-Jan-2022207 54

syr2k-3.inH A D20-Jan-2022270 43

ts1d-check-sblock-0.cH A D20-Jan-2022499 1413

ts1d-check-sblock-0.inH A D20-Jan-2022456 43

ts1d-check0-0.cH A D20-Jan-2022584 1211

ts1d-check0-0.inH A D20-Jan-2022631 43

ts1d-mp-i_ts-m_b-0.cH A D20-Jan-20222.7 KiB3534

ts1d-mp-i_ts-m_b-0.inH A D20-Jan-20221.6 KiB43

ts1d-orig0-0.cH A D20-Jan-2022220 98

ts1d-orig0-0.inH A D20-Jan-2022455 43

wak1-0.cH A D20-Jan-2022676 2625

wak1-0.inH A D20-Jan-2022207 43

wak1-1.cH A D20-Jan-20221.6 KiB5453

wak1-1.inH A D20-Jan-2022207 43

wak2-0.cH A D20-Jan-2022814 2625

wak2-0.inH A D20-Jan-2022248 43

wak2-1.cH A D20-Jan-20221.1 KiB3534

wak2-1.inH A D20-Jan-2022248 43

wak3-0.cH A D20-Jan-2022151 98

wak3-0.inH A D20-Jan-2022235 43

wak3-1.cH A D20-Jan-2022437 2019

wak3-1.inH A D20-Jan-2022236 43

wak4-0.cH A D20-Jan-2022133 54

wak4-0.inH A D20-Jan-2022442 43

wak4-1.cH A D20-Jan-2022133 54

wak4-1.inH A D20-Jan-2022443 43

x-0.cH A D20-Jan-2022541 1514

x-0.inH A D20-Jan-2022239 43

x-1.cH A D20-Jan-2022541 1514

x-1.inH A D20-Jan-2022239 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