10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/examples/decomposition/linearization_stack/unbounded
svn://rumster@localhost/msagiv



2008-05-08T04:53:32.000000Z
2564
tla














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

stack.properties
file




2009-01-05T21:16:45.921875Z
61fe8d3597992958c3cf6a318eea12ba
2008-04-03T11:02:07.000000Z
2421
tla
has-props




















107

stack_pred.tvp
file




2009-01-05T21:16:45.937500Z
bc6e167b402c9d4797cec6b87efcb641
2008-04-03T11:02:07.000000Z
2421
tla
has-props




















2483

stack_stat.tvp
file




2009-01-05T21:16:45.968750Z
1adfa3f5e8e6645cd29b76ba778c3fd5
2008-05-08T04:53:32.000000Z
2564
tla
has-props




















13890

README.txt
file




2009-01-05T21:16:45.984375Z
f12a155a2a995e2687c468eb831e98d1
2008-04-03T11:02:07.000000Z
2421
tla
has-props




















349

stack-general.tvs
file




2009-01-05T21:16:46.031250Z
d3762bb4c5266b903f2a94cfb10cf617
2008-04-03T11:02:07.000000Z
2421
tla
has-props




















503

stack.tvp
file




2009-01-05T21:16:46.046875Z
7581ab5fb6fea2ea509a76a0942e1275
2008-04-03T11:02:07.000000Z
2421
tla
has-props




















4900

