msridhar1 88eaba4ee7 add models for System.getProperty() methods to fix bug reported by Ravi Chandran on mailing list ... git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4002 f5eafffb-2e1d-0410-98e4-8ec43c5233c4		2010-11-23 17:39:19 +00:00
..
.cvsignore	attempt to introduce tags and trunk	2006-11-22 17:38:46 +00:00
J2SEClassHierarchyExclusions.txt	remove EMF	2007-12-12 20:46:05 +00:00
SyntheticJ2SEModel.txt	clean up some utilities dealing with analysis scopes	2007-12-14 15:07:11 +00:00
WalaUtilMessages.properties	attempt to introduce tags and trunk	2006-11-22 17:38:46 +00:00
codetemplates.xml	attempt to introduce tags and trunk	2006-11-22 17:38:46 +00:00
dictionary.txt	words	2008-11-26 18:47:51 +00:00
formatter.xml	attempt to introduce tags and trunk	2006-11-22 17:38:46 +00:00
log.properties	attempt to introduce tags and trunk	2006-11-22 17:38:46 +00:00
natives.xml	add models for System.getProperty() methods to fix bug reported by Ravi Chandran on mailing list	2010-11-23 17:39:19 +00:00
primordial.txt	moved primordial.txt to wala.core, to avoid implicit dependence from core to core.tests	2008-11-20 01:50:55 +00:00
wala.properties.sample	another clarification in comments	2009-04-03 17:23:44 +00:00