10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/examples/decomposition/linearization/set_pldi08/dcas/g
svn://rumster@localhost/msagiv



2008-11-05T16:41:49.000000Z
2839
tla














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

dcas.tvp
file




2009-01-05T21:17:11.359375Z
02ea12387f309ebe98f3700a6c45072e
2008-11-05T16:41:49.000000Z
2839
tla
has-props




















5432

dcas.tvs
file




2009-01-05T21:17:11.359375Z
9c83edff8be3fdc779f74df4f782229e
2008-11-05T16:41:49.000000Z
2839
tla
has-props




















1605

dcas_pred.tvp
file




2009-01-05T21:17:11.375000Z
f9c310af5cc86bf74f28edb6448f48ff
2008-11-05T16:41:49.000000Z
2839
tla
has-props




















10881

dcas_stat.tvp
file




2009-01-05T21:17:11.375000Z
80a15a87fec63caa0eb140d09d4ed508
2008-11-05T16:41:49.000000Z
2839
tla
has-props




















21628

