1. 45238f5 One more location needing a test for isBaseType() (test & fix). by Stephan Herrmann · 11 years ago
  2. 75da5a3 Several issues regarding initialization order by Stephan Herrmann · 11 years ago
  3. 9ade599 J2SE-1.5 is enough for this project (and don't store OT-specific options) by Stephan Herrmann · 11 years ago
  4. 9168c69 test & fix re non-reference types. by Stephan Herrmann · 11 years ago
  5. 76d45ac report null-issue in super call exactly once, by Stephan Herrmann · 11 years ago
  6. b4a70d0 unify diagnostics for different nodes, using the same "type mismatch" messages throughout by Stephan Herrmann · 11 years ago
  7. 3e928e8 + Fix source positions for synthetic parameter annotations (from defaults) by Stephan Herrmann · 11 years ago
  8. d045c75 - remove copying of inherited null annotations by Stephan Herrmann · 11 years ago
  9. d6d46a2 change scheme of warning/error message from "null contract violation" to "type mismatch" by Stephan Herrmann · 11 years ago
  10. 892a6f6 remove support for emulating annotation types. by Stephan Herrmann · 11 years ago
  11. b8f5cfe Bugfix: arguments of a message send must be analyzed before checking against null contracts by Stephan Herrmann · 11 years ago
  12. 10113f6 New test and required fix: by Stephan Herrmann · 11 years ago
  13. 1b0d5b7 gather all nullity related projects under contrib by Stephan Herrmann · 11 years ago