Gitiles
Code Review
Sign In
git.eclipse.org
/
objectteams
/
org.eclipse.objectteams
/
4c1bd561253c34678c5429f73cdd6c1ebadd38d6
/
contrib
70eff36
remove obsolete workaround and specify what JDT/Core version resolved the issue.
by Stephan Herrmann
· 14 years ago
8b24477
Bugfix: arguments of a message send must be analyzed before checking against null contracts
by Stephan Herrmann
· 14 years ago
b8f5cfe
Bugfix: arguments of a message send must be analyzed before checking against null contracts
by Stephan Herrmann
· 14 years ago
1b387a3
add legal files
by Stephan Herrmann
· 14 years ago
4a47627
add legal files
by Stephan Herrmann
· 14 years ago
6f5943f
New test and required fix:
by Stephan Herrmann
· 14 years ago
10113f6
New test and required fix:
by Stephan Herrmann
· 14 years ago
00f75e1
better option handling, previous version killed all workspace defaults
by Stephan Herrmann
· 14 years ago
b73ebc7
update to new OT/J rules regarding unsafe lifting.
by Stephan Herrmann
· 14 years ago
1b0d5b7
gather all nullity related projects under contrib
by Stephan Herrmann
· 14 years ago
e57451e
separate out non-OTDT projects like the nullity prototype
by Stephan Herrmann
· 14 years ago