1. f6eb5fb Resolved Bug 334457 - [compiler][null] check compatibility of inherited null contracts by Stephan Herrmann · 13 years ago
  2. 8e84aed + added checking for ctor args by Stephan Herrmann · 13 years ago
  3. da9074e apply deferred checking also in assignment local-decl to fix their analysis inside loops etc. by Stephan Herrmann · 13 years ago
  4. 337d5ac + fixed an NPE in MessageSend.analyseArguments() by Stephan Herrmann · 13 years ago
  5. fabefc8 support upcoming M3 releases by Stephan Herrmann · 13 years ago
  6. 73ab01e Handle also local classes within loop or try-finally by Stephan Herrmann · 13 years ago
  7. 7fa52bc Implement deferred checking inside loops and finally blocks. by Stephan Herrmann · 13 years ago
  8. cad5f54 compatibility with current builds towards Juno M2. by Stephan Herrmann · 13 years ago
  9. b801979 Make the DOMAdaptation cope with OT/J-modifiers, too. by Stephan Herrmann · 13 years ago
  10. c38197f silly bug: need null to trigger initialization by Stephan Herrmann · 13 years ago
  11. c372d3e cross-test on top of the OTDT showed that calling bindArguments() early has unintended side-effects. by Stephan Herrmann · 13 years ago
  12. a9c1f34 compatibility among different JDT versions: translate generated constants. by Stephan Herrmann · 13 years ago
  13. f9b5c4e avoid constant conflicts with TagBits in JDT version up-to OTDT 2.1M1 by Stephan Herrmann · 13 years ago
  14. 46b2273 find the affected argument name also when the selected node *is* the argument. by Stephan Herrmann · 13 years ago
  15. d6349c2 One more location needing a test for isBaseType() (test & fix). by Stephan Herrmann · 13 years ago
  16. 15d883b Several issues regarding initialization order by Stephan Herrmann · 13 years ago
  17. d6c282e test & fix re non-reference types. by Stephan Herrmann · 13 years ago
  18. 4139268 fix regressions reported by jdt.tests.compiler.regression by Stephan Herrmann · 13 years ago
  19. d08cf1b protect generated annotations from being converted to DOM AST. by Stephan Herrmann · 13 years ago
  20. 24ccbe8 offer two proposals also in case of unknown nullness / missing annotation by Stephan Herrmann · 13 years ago
  21. f3e0c45 ranking of proposals: local change before change in super class. by Stephan Herrmann · 13 years ago
  22. 15e141c further adjust quickfixes to current implementation by Stephan Herrmann · 13 years ago
  23. b9ecf4c report null-issue in super call exactly once, by Stephan Herrmann · 13 years ago
  24. 411b63d unify diagnostics for different nodes, using the same "type mismatch" messages throughout by Stephan Herrmann · 13 years ago
  25. 02b895c + Fix source positions for synthetic parameter annotations (from defaults) by Stephan Herrmann · 13 years ago
  26. 1b3dc0c Adjust constants to avoid conflicts with new constants for Java7 by Stephan Herrmann · 13 years ago
  27. a39cdab - remove copying of inherited null annotations by Stephan Herrmann · 13 years ago
  28. acb097f + renamed one IProblem + adjust irritants to avoid conflict in v_C01 by Stephan Herrmann · 13 years ago
  29. 7b74133 change scheme of warning/error message from "null contract violation" to "type mismatch" by Stephan Herrmann · 13 years ago
  30. fc0c0d9 remove support for emulating annotation types. by Stephan Herrmann · 13 years ago
  31. 70eff36 remove obsolete workaround and specify what JDT/Core version resolved the issue. by Stephan Herrmann · 13 years ago
  32. 8b24477 Bugfix: arguments of a message send must be analyzed before checking against null contracts by Stephan Herrmann · 13 years ago
  33. 6f5943f New test and required fix: by Stephan Herrmann · 13 years ago
  34. 00f75e1 better option handling, previous version killed all workspace defaults by Stephan Herrmann · 14 years ago
  35. b73ebc7 update to new OT/J rules regarding unsafe lifting. by Stephan Herrmann · 14 years ago
  36. e57451e separate out non-OTDT projects like the nullity prototype by Stephan Herrmann · 14 years ago