DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
566 Commits 8 Branches 13 Tags 80 MiB
Commit Graph

566 Commits

Author SHA1 Message Date
sjfink 3407a55320 shared code formatter settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1064 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-07 13:20:49 +00:00
sjfink 590dbf0bd6 change "correct" (?) answer to 16 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1062 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 20:17:08 +00:00
sjfink e32d081945 update svn:ignore 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1061 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 20:12:35 +00:00
schandra_sf 23e2d805ac Initial 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1060 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 19:55:45 +00:00
schandra_sf 43866414de Initial 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1059 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 19:52:04 +00:00
schandra_sf 152a7bc56a Initial 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1058 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 19:50:10 +00:00
schandra_sf 92af67ce9b Added an assert in make() with variable length 
list of arguments, to make sure the arity of the
function is in agreement.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 19:46:07 +00:00
schandra_sf 535bdf4bc9 Made the constructor protected (was private) 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1056 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 19:43:39 +00:00
schandra_sf 053eb95444 Fixed prefixNotation for NullaryRelation 
Added make for NullaryRelation

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1055 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 19:42:19 +00:00
dolby-oss d12cabee64 make test1 only count application statements to avoid library-dependent answer 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-04 17:14:59 +00:00
sjfink 5f3bb0aa86 add some more functions to look up instructions 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1051 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-03 20:09:42 +00:00
dolby-oss 0c456261ff restore code that is being used 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-03 19:58:01 +00:00
sjfink 7db5909f07 make SSAInstruction.equals() consistently use == 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-03 17:26:38 +00:00
sjfink 25cfa83e11 make SSAInstruction.equals() consistently use == 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-03 17:26:35 +00:00
sjfink a03a4accd8 make SSAInstruction.equals() consistently use == 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-03 17:26:31 +00:00
sjfink 8c2927636c move PrunedCFG to wala.core 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1045 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-03 17:07:57 +00:00
sjfink 9086a2aed6 move PrunedCFG to wala.core 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-03 17:07:54 +00:00
sjfink a9e7350cf5 initial check-in 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1041 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-02 17:13:47 +00:00
sjfink 78de93a13e new logic tests from Satish 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1040 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-02 17:13:29 +00:00
sjfink 42a1dfd652 new logic tests from Satish 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1039 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-02 17:13:26 +00:00
sjfink 5a982601c5 add a dependency 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1038 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-02 17:12:48 +00:00
sjfink 59717ff68f remove unused dependencies 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1037 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-02 17:12:26 +00:00
dolby-oss b120c59abf slight generalization of duplicate to add copyInto 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1036 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-02 04:15:35 +00:00
sjfink 9cdd4f4791 minor changes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-02 02:22:42 +00:00
sjfink 2f5f87ce03 misc. utilities 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1034 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-01 03:10:31 +00:00
sjfink 8185a52d72 switch to more precise pointer analysis 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-01 03:09:15 +00:00
sjfink 82f285c616 another slicing test, from pavol cerny 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-05-01 03:08:41 +00:00
sjfink 56f920907d enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1029 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:47:11 +00:00
sjfink 924aa96d9d enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1028 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:47:06 +00:00
sjfink 398caf19c1 enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1027 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:47:01 +00:00
sjfink 8b1a9b1750 enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1026 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:46:57 +00:00
sjfink 4278d66a9e enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1025 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:46:54 +00:00
sjfink 4d5d40f5c1 enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1024 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:46:51 +00:00
sjfink fe94d20c11 enable project-specific compiler settings 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1023 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-30 13:46:48 +00:00
sjfink 66697dacb1 regen jar file 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1022 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-27 20:43:18 +00:00
dolby-oss 57742fc75a add comments 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1021 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-27 14:35:49 +00:00
sjfink c7dfb81aab publish Tables utilities 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1020 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-27 14:10:54 +00:00
sjfink a2c7c8d6e4 check arguments to public methods 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1019 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 20:35:25 +00:00
sjfink 876a5225ec check arguments to public methods 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1018 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 20:35:01 +00:00
sjfink b9e9306198 misc. cleanups and annotations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1017 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 18:15:56 +00:00
sjfink 0c1b11ff76 misc. cleanups and annotations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1016 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 18:15:49 +00:00
sjfink 19f96af94d misc. cleanups and annotations 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1015 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 18:15:46 +00:00
sjfink f239bd6148 bug fixes, cleanups, and more generics 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1014 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 17:29:50 +00:00
sjfink 4f9d62784e bug fixes, cleanups, and more generics 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1013 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 17:29:29 +00:00
sjfink 47df58f051 minor bug fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1012 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 17:00:41 +00:00
sjfink 0ff21e9cce just format 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1011 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 16:04:16 +00:00
sjfink 0c79812aca misc. cleanups, annotations, and bug fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1010 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 15:36:44 +00:00
sjfink ec2e0f5967 misc minor cleanups, annotations, and bug fixes 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1009 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 14:47:41 +00:00
sjfink 4a29f033c8 annotations and minor cleanups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1008 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 13:53:16 +00:00
sjfink 9e6c8864e8 annotations and minor cleanups 
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1007 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
 2007-04-26 13:53:00 +00:00