log

age author description
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