Tue, 29 Apr 2014 16:16:27 +0200 |
Miguel Garcia |
Merge
|
Tue, 29 Apr 2014 14:51:51 +0200 |
Miguel Garcia |
[flow-sensitive] formatting
|
Tue, 29 Apr 2014 14:47:57 +0200 |
Miguel Garcia |
[flow-sensitive] better encapsulation, CastCheckExtractor
|
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
|
Tue, 29 Apr 2014 14:33:09 +0200 |
Miguel Garcia |
[flow-sensitive] bug fixes, missing state clearing
|