| commit | 627b36c18da702f93bec87c509fd15f0bd95eb35 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jan 06 00:30:04 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Jan 06 00:30:04 2011 +0000 |
| tree | 2b9797dd6f92f8b4379a30e3da5b1ecc7d4215e3 | |
| parent | d295ad9c2d18ac232b72549184c131a03077e4d4 [diff] |
First take at implementing predicate checks for OTREDyn. Status in test suite CallinMethodBinding: 0/18/394 (E/F/T)