10

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



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














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

AbstractBasicAbstraction.java
file




2009-01-05T21:15:16.406250Z
0a6c4a9a7e9a1b5f7cdf742b43ba2757
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















4111

BasicJavaConstants.java
file




2009-01-05T21:15:16.421875Z
1922fdfb739644faeb756a7f4e50fa91
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















2509

BasicAssertionFactory.java
file




2009-01-05T21:15:16.437500Z
56676d68bf5cc8617eaa140ed2ea06c0
2008-10-05T10:27:49.000000Z
2693
tla
has-props




















3071

BasicMemoryModeler.java
file




2009-01-05T21:15:16.437500Z
600d7a5fd07583f1ae2b70c9d34ee2c7
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















12479

BasicTVLAJavaAssertion.java
file




2009-01-05T21:15:16.453125Z
68a4303f9cb598c24270024d2237b556
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















541

BasicTVSBuilder.java
file




2009-01-05T21:15:16.468750Z
84aa5270d81e5a9a3ea93852fc3d3f96
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















6559

BasicVocabulary.java
file




2009-01-05T21:15:16.468750Z
29270f8bc15da9bd5af1939d89fe7d69
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















7176

