Julian Dolby
080325b5f6
merge
2013-06-25 11:57:37 -04:00
Manu Sridharan
3b1889121b
add missing copyright headers
2013-05-22 15:39:19 -07:00
Julian Dolby
afccdd2189
Annotation support
2013-02-02 21:27:45 -05:00
dolby
f7a7d66b28
move loop unrolling code to wala from Miniatur/MemSAT
2012-10-03 10:53:04 -04:00
Manu Sridharan
24eb803211
organize imports; no semantic change
2012-09-04 16:24:37 -07:00
Manu Sridharan
256cd06460
Convert all Java source files to use Unix line endings; no semantic change
2012-09-04 15:56:05 -07:00
Manu Sridharan
8f2ac704f4
remove assertion related to source positions
2012-08-29 10:34:50 -07:00
dolby
3f47e6e4b2
Revert "fixes for java soiurce positions"
...
This reverts commit 59fc11b5f3
.
2012-08-21 16:22:03 -04:00
dolby
59fc11b5f3
fixes for java soiurce positions
2012-06-29 15:45:42 -04:00
dolby-oss
4c6d062dbb
blunt force trauma to CAst frond end:
...
1) Structural changes in the AstTranslator to allow retranslation and generation of custom IR. This is mostly moving state from the translator itself into the context.
2) Some refactoring to share some AST generation code across the Java and JavaScript front ends.
3) Switching to the latest Rhino, release 1.7R3; this is a pervasive change to the JavaScript Rhino translator, since it involves switching to the new AST interface in Rhino.
4) Common code to, as an option, translate Do-style loops by replicating the loop body. This allows the use of CAstNode.LOOP forms for such loops.
5) Some bug fixes to the mechanisms of the CAstRewriter to handle weird control flow cases.
6) An example of retranslation to specialize JavaScript methods based on how many arguments they receive at call sites.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4425 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2012-01-27 20:15:33 +00:00
dolby-oss
3d76f097b5
fix a few warnings
...
get the right version of the polyglot jar
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4156 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 16:46:41 +00:00
dolby-oss
9e2c05f206
merge from polyglot3 branch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4155 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 16:20:21 +00:00
dolby-oss
41daeadbb8
merge polyglot3 branch
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4154 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:55:30 +00:00
msridhar1
857e456806
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4081 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-03 04:08:05 +00:00
rmfuhrer
34fca8ebca
Fixed nit: findInnermostClassLoader() no longer adds nulls into the Set of parent class loaders.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3773 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-12-02 19:05:23 +00:00
dolby-oss
2e8da872c0
support for replication-based translation of Do loops in Java, so that the standard LOOP node type can be used.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3596 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-05-15 16:06:09 +00:00
sjfink
9939142eae
switch from Assertions._assert to Java assertions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3555 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-30 13:16:52 +00:00
dolby-oss
b10a6cc818
more detail in an assertion failure
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3531 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-23 14:52:12 +00:00
sjfink
5afa0c4b6a
suppress some compiler warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-13 19:42:46 +00:00
sjfink
31086f1f2e
switch to wala code formatter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3452 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-04-13 19:39:48 +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
6d7fe4cc2c
refactor polyglot-based java code in its own projects
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3163 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2009-01-09 02:52:56 +00:00