sjfink
|
b54da11b8d
|
add a model for java.lang.Thread
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-10-06 22:00:31 +00:00 |
sjfink
|
efd9b82fc7
|
export source files too
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2937 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 01:55:38 +00:00 |
sjfink
|
80fcdc7bd5
|
tweak arraycopy model
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2936 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-07-01 01:52:34 +00:00 |
sjfink
|
4e8ea646df
|
improve model of native method Array.get
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2356 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2008-01-10 22:53:53 +00:00 |
sjfink
|
4c973295e9
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2085 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-03 15:41:59 +00:00 |
sjfink
|
f9549c3200
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2084 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-12-03 15:41:38 +00:00 |
sjfink
|
f2c1acaabb
|
add an instance key to model the char[] contents of a string constant
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2079 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-29 18:54:44 +00:00 |
sjfink
|
de61e14c0b
|
better String models from Marco
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2078 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-11-29 18:38:10 +00:00 |
sjfink
|
df97f42b7e
|
attempt to introduce tags and trunk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@490 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2006-11-22 17:38:46 +00:00 |