Mon, 24 Nov 2014 13:53:14 +0100 |
Roland Schatz |
Generalize NULL handling to work on arbitrary pointers.
|
Wed, 19 Nov 2014 11:36:48 +0100 |
Gilles Duboscq |
StampTool: add more methods to create object stamps to avoid using too many boolean arguments, add some javadoc, use them.
|
Thu, 18 Sep 2014 17:41:19 +0200 |
Gilles Duboscq |
Stamp: interface types can not be trusted except after explicit runtime checks
|
Mon, 18 Aug 2014 14:04:21 +0200 |
Doug Simon |
added factory method to all Node classes; replaced Node classes instantiation with calls to factory methods; replaced identity tests on Node classes with ' == <node class>.getGenClass()' idiom
|
Fri, 09 May 2014 17:33:14 +0200 |
Miguel Garcia |
[single-pass-iter] early pruning of state map, visit a whole method
|
Mon, 05 May 2014 16:59:02 +0200 |
Miguel Garcia |
[flow-sensitive] fix in knownNotToConform
|
Fri, 02 May 2014 21:05:13 +0200 |
Miguel Garcia |
[flow-sensitive] minor refactorings for readability, documentation
|
Tue, 29 Apr 2014 16:53:35 +0200 |
Miguel Garcia |
[flow-sensitive] no-precision-loss check in downcast
|
Tue, 29 Apr 2014 14:42:51 +0200 |
Miguel Garcia |
[flow-sensitive] renaming: untrivialNull -> nonTrivialNull
|
Tue, 29 Apr 2014 14:40:23 +0200 |
Miguel Garcia |
[flow-sensitive] renaming: downcast-helpers
|
Tue, 29 Apr 2014 13:32:28 +0200 |
Miguel Garcia |
[flow-sensitive] renaming: downcasted -> downcast
|
Sun, 27 Apr 2014 17:29:19 +0200 |
Doug Simon |
fixed some minor javadoc formatting issues
|
Fri, 25 Apr 2014 16:50:52 +0200 |
Miguel Garcia |
Add phase FlowSensitiveReductionPhase.
|