1. 15d883b Several issues regarding initialization order 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. d6c282e test & fix re non-reference types. by Stephan Herrmann · 11 years ago
  5. 9168c69 test & fix re non-reference types. by Stephan Herrmann · 11 years ago
  6. cffa0e2 new version for the feature by Stephan Herrmann · 11 years ago
  7. 4139268 fix regressions reported by jdt.tests.compiler.regression by Stephan Herrmann · 11 years ago
  8. d08cf1b protect generated annotations from being converted to DOM AST. by Stephan Herrmann · 11 years ago
  9. 24ccbe8 offer two proposals also in case of unknown nullness / missing annotation by Stephan Herrmann · 11 years ago
  10. f3e0c45 ranking of proposals: local change before change in super class. by Stephan Herrmann · 11 years ago
  11. 15e141c further adjust quickfixes to current implementation by Stephan Herrmann · 11 years ago
  12. b9ecf4c report null-issue in super call exactly once, by Stephan Herrmann · 11 years ago
  13. 76d45ac report null-issue in super call exactly once, by Stephan Herrmann · 11 years ago
  14. 411b63d unify diagnostics for different nodes, using the same "type mismatch" messages throughout by Stephan Herrmann · 11 years ago
  15. b4a70d0 unify diagnostics for different nodes, using the same "type mismatch" messages throughout by Stephan Herrmann · 11 years ago
  16. 02b895c + Fix source positions for synthetic parameter annotations (from defaults) by Stephan Herrmann · 11 years ago
  17. 3e928e8 + Fix source positions for synthetic parameter annotations (from defaults) by Stephan Herrmann · 11 years ago
  18. 1b3dc0c Adjust constants to avoid conflicts with new constants for Java7 by Stephan Herrmann · 11 years ago
  19. a39cdab - remove copying of inherited null annotations by Stephan Herrmann · 11 years ago
  20. d045c75 - remove copying of inherited null annotations by Stephan Herrmann · 11 years ago
  21. acb097f + renamed one IProblem + adjust irritants to avoid conflict in v_C01 by Stephan Herrmann · 11 years ago
  22. 7b74133 change scheme of warning/error message from "null contract violation" to "type mismatch" by Stephan Herrmann · 11 years ago
  23. d6d46a2 change scheme of warning/error message from "null contract violation" to "type mismatch" by Stephan Herrmann · 11 years ago
  24. fc0c0d9 remove support for emulating annotation types. by Stephan Herrmann · 11 years ago
  25. 892a6f6 remove support for emulating annotation types. by Stephan Herrmann · 11 years ago
  26. 70eff36 remove obsolete workaround and specify what JDT/Core version resolved the issue. by Stephan Herrmann · 11 years ago
  27. 8b24477 Bugfix: arguments of a message send must be analyzed before checking against null contracts by Stephan Herrmann · 11 years ago
  28. b8f5cfe Bugfix: arguments of a message send must be analyzed before checking against null contracts by Stephan Herrmann · 11 years ago
  29. 1b387a3 add legal files by Stephan Herrmann · 11 years ago
  30. 4a47627 add legal files by Stephan Herrmann · 11 years ago
  31. 6f5943f New test and required fix: by Stephan Herrmann · 11 years ago
  32. 10113f6 New test and required fix: by Stephan Herrmann · 11 years ago
  33. 00f75e1 better option handling, previous version killed all workspace defaults by Stephan Herrmann · 11 years ago
  34. b73ebc7 update to new OT/J rules regarding unsafe lifting. by Stephan Herrmann · 11 years ago
  35. 1b0d5b7 gather all nullity related projects under contrib by Stephan Herrmann · 11 years ago
  36. e57451e separate out non-OTDT projects like the nullity prototype by Stephan Herrmann · 11 years ago