sjfink
|
ba386f24ac
|
massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1383 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 22:08:19 +00:00 |
sjfink
|
5eb76541f0
|
massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1382 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 22:08:13 +00:00 |
sjfink
|
cc3303f9ee
|
massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1381 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 22:07:33 +00:00 |
sjfink
|
10492c7298
|
massive overhaul of Warnings management
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1379 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 22:07:24 +00:00 |
sjfink
|
9923041760
|
clean up some comments
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1378 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 15:50:34 +00:00 |
sjfink
|
4edd97bdc0
|
add a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1377 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 15:41:41 +00:00 |
dolby-oss
|
9ffe419bb3
|
new constant value accessors
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1376 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 15:13:06 +00:00 |
sjfink
|
da8c93ec1a
|
misc. housekeeping and some slicer bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1375 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 14:11:24 +00:00 |
sjfink
|
4dfe343b67
|
misc. housekeeping and some slicer bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1374 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 14:11:20 +00:00 |
sjfink
|
4310457e45
|
misc. housekeeping and some slicer bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1373 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 14:11:16 +00:00 |
sjfink
|
b9cb75f490
|
misc. housekeeping and some slicer bug fixes
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1372 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 14:11:06 +00:00 |
sjfink
|
ae534d2d89
|
minor housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1371 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 04:18:16 +00:00 |
sjfink
|
91ff8cfe08
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1370 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:49 +00:00 |
sjfink
|
f3bd02c77b
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1369 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:44 +00:00 |
sjfink
|
323f72c3fe
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1368 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:38 +00:00 |
sjfink
|
6a2d703907
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1367 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:32 +00:00 |
sjfink
|
be145b3838
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1366 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:29 +00:00 |
sjfink
|
5d6eb70c5b
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1365 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:24 +00:00 |
sjfink
|
8864b70d50
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1364 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:07:14 +00:00 |
sjfink
|
dd8d708fc3
|
miscellaneous housekeeping
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1363 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-06 03:06:36 +00:00 |
sjfink
|
9f8adcd989
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1362 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:58:03 +00:00 |
sjfink
|
0350934bce
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1361 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:56:36 +00:00 |
sjfink
|
7bef92b496
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1360 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:56:32 +00:00 |
sjfink
|
2d88f526b6
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1359 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:56:23 +00:00 |
sjfink
|
92ea341cf5
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1358 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:56:07 +00:00 |
sjfink
|
0d92f19829
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1357 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:56:02 +00:00 |
sjfink
|
192579b816
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1355 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:55:54 +00:00 |
sjfink
|
a96d004737
|
small cleanups relating to migration to Eclipse 3.3
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1353 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 23:55:43 +00:00 |
sjfink
|
5140fc0ceb
|
set javac fail on error
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1351 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 19:53:44 +00:00 |
sjfink
|
bca3b2f407
|
set javac fail on error
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1350 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 19:53:38 +00:00 |
sjfink
|
d4e7f31285
|
export slicer package
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1349 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 19:53:16 +00:00 |
loginov
|
da8176075d
|
Added the missing com.ibm.wala.ipa.slicer.thin to the export-package list.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1348 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 18:47:35 +00:00 |
sjfink
|
27937ca35b
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1347 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:05:03 +00:00 |
sjfink
|
2445a55ad8
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1346 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:04:57 +00:00 |
sjfink
|
e34aa83beb
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1345 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:04:50 +00:00 |
sjfink
|
04e7807ce5
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1344 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:04:43 +00:00 |
sjfink
|
c29f416283
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1343 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:04:39 +00:00 |
sjfink
|
ca0a40c850
|
delete CallGraph.getInterpreter() and CFGProvider
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1342 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-05 03:04:34 +00:00 |
sjfink
|
8b13f5d9ef
|
add method getCFG()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1340 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 20:48:23 +00:00 |
sjfink
|
62046775c7
|
support distribute of not operator
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1339 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 17:53:16 +00:00 |
sjfink
|
a457e9f03c
|
more trivial decision support
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1338 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 14:50:53 +00:00 |
sjfink
|
7b4f70d521
|
add a trivial semi-decision procedure
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1337 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 13:30:24 +00:00 |
sjfink
|
0869d265ab
|
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1336 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 11:03:04 +00:00 |
sjfink
|
cb320d24fe
|
test reported slicing bug: unreproduced
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1335 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 10:55:58 +00:00 |
sjfink
|
0e243489e8
|
test reported slicing bug: unreproduced
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1334 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 10:55:52 +00:00 |
sjfink
|
e0452d38f2
|
some refactoring and more pretty printing
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1333 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-03 01:09:48 +00:00 |
dolby-oss
|
db20b2bf15
|
improve precision of model for creation of nodes in DOM
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1332 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-02 21:11:14 +00:00 |
sjfink
|
a896d160b7
|
type parameter from manu
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1331 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-02 17:45:07 +00:00 |
sjfink
|
c8039fb680
|
add a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1330 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-02 17:44:49 +00:00 |
sjfink
|
f411feb5c4
|
generics from manu
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1329 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-07-02 11:52:50 +00:00 |