Manu Sridharan
|
f2f65bfbc5
|
oops, version should be 1.3.7
|
2015-05-29 13:20:25 -07:00 |
Manu Sridharan
|
894f010ff9
|
version 1.3.8
|
2015-05-29 12:20:53 -07:00 |
Manu Sridharan
|
7ad8700064
|
update version numbers to 1.3.7-SNAPSHOT everywhere
|
2015-05-28 10:37:01 -07:00 |
Julian Dolby
|
c2b62f2ddc
|
newer junit
|
2015-04-06 10:00:44 -04:00 |
Julian Dolby
|
a1bc84356d
|
scandriod merge
|
2014-10-01 21:32:36 -04:00 |
Juergen Graf
|
6f8aee80c6
|
Merge branch 'wala' into master
|
2014-07-28 17:09:02 +02:00 |
Julian Dolby
|
080325b5f6
|
merge
|
2013-06-25 11:57:37 -04:00 |
Manu Sridharan
|
cc9c8e407b
|
rename to fit Maven conventions
|
2013-05-28 15:31:06 -07:00 |
Manu Sridharan
|
06361377e3
|
progress on getting polyglot tests to run under maven
|
2013-05-27 16:34:06 -07:00 |
Manu Sridharan
|
e6bef253ff
|
Merge branch 'master' into maven
|
2013-05-02 10:58:55 -07:00 |
Manu Sridharan
|
80c031d48b
|
store results in file
|
2013-04-29 20:33:10 -07:00 |
Marcel Bruch
|
7c2d18cd58
|
[releng] added preliminary maven tycho build support
|
2013-04-29 13:13:22 +02:00 |
Manu Sridharan
|
00eb1d2bd2
|
Set all projects to build against Java 6; no semantic change. Fixes #20
|
2013-04-10 16:01:27 -07:00 |
dolby
|
f7a7d66b28
|
move loop unrolling code to wala from Miniatur/MemSAT
|
2012-10-03 10:53:04 -04:00 |
Manu Sridharan
|
56f3d847a5
|
more conversion to Unix line endings
|
2012-09-04 15:59:50 -07:00 |
dolby
|
319eacc529
|
merge changes and changes for atomic sets work
|
2012-08-29 16:35:34 -04:00 |
dolby
|
1965001200
|
adapt to changes in source position mapping
|
2012-07-02 13:38:59 -04:00 |
Julian Dolby
|
1c7177fc4a
|
use default jre
|
2012-07-02 13:35:49 -04:00 |
dolby
|
e241e755b3
|
fix to launcher
|
2012-06-29 14:46:37 -04:00 |
dolby-oss
|
a9ec87f360
|
Changes motivated by analysis issues in JavaScript. The main change is that calls of the form f.x() in JavaScript are now analyzed like 'method calls' so that the 'this' pointer in the receiver functions can be filtered based upon the types that actually have the method being invoked. This requires much more dynamic filtering than in a language like Java, since properties like 'x' are simply properties that happen to hold functions, and so can be assigned in a first-class manner. Thus, the filtering needs to handle variance in both the types and the values of their properties; this is implemented as multiple levels of abstract object directed side effect equations in the dataflow system.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4535 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2012-03-01 02:45:51 +00:00 |
dolby-oss
|
81c12b97af
|
cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4189 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2011-06-30 15:41:40 +00:00 |
sjfink
|
3a49f17ebc
|
update code formatting for Eclipse 3.6
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4048 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2011-02-03 15:14:47 +00:00 |
dolby-oss
|
8069fe81d8
|
fix issues with junit 3 vs. 4 by adding hacking method to get a name like the one junit 3 gives
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3790 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2010-01-06 13:57:06 +00:00 |
msridhar1
|
8025302fd0
|
update to JUnit 4
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3743 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-07-27 22:48:04 +00:00 |
sjfink
|
053213e0e2
|
suppress a compiler warning
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3451 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-13 19:38:15 +00:00 |
sjfink
|
3717fcf1e6
|
switch to WALA code formatting
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3450 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-13 19:22:09 +00:00 |
sjfink
|
9e2a5b90d7
|
add EPL notice
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3448 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-13 19:20:26 +00:00 |
sjfink
|
957cb2b8ca
|
deprecate Trace
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3432 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-04-09 20:31:14 +00:00 |
sjfink
|
2b24aa35ff
|
fix polyglot CAst compile errors
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3354 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-18 22:47:26 +00:00 |
dolby-oss
|
05ac449dcc
|
refactor polyglot-based java code in its own projects
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3165 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-01-09 02:54:36 +00:00 |