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