10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/src/tvla/analysis/interproc/api/javaanalysis/abstraction
svn://rumster@localhost/msagiv



2008-10-05T10:27:49.000000Z
2693
tla














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

basic
dir

AbstractionFactory.java
file




2009-01-05T21:15:17.265625Z
4908296ce51074a1aeccdb8315e8974c
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















3659

IJavaAssertion.java
file




2009-01-05T21:15:17.281250Z
cd6aa55e7457ccbfe7846a388d274904
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















664

IJavaVocabulary.java
file




2009-01-05T21:15:17.296875Z
64667c4f40570fed3276f06468cd0266
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















3877

IJavaAbstraction.java
file




2009-01-05T21:15:17.296875Z
33fdf7b594cc6fb114cb6b2909460a23
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















1111

allocationsitesNN
dir

IJavaAssertionFactory.java
file




2009-01-05T21:15:17.312500Z
229ba80c79ec74eee8da26c0c6845c4f
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















729

localheaps
dir

IJavaMemoryModeler.java
file




2009-01-05T21:15:17.312500Z
24f087e9ea15ca22c0284e482dfeac6a
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















716

allocationsites
dir

typepiles
dir

IJavaTVSBuilder.java
file




2009-01-05T21:15:17.328125Z
a0bb93efc303c3f5ad248d5fd121ec0b
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















712

