Commit Graph

2 Commits

Author SHA1 Message Date
Anna Kozlova
621795bbee isApplicability check based on pertinentToApplicability 2015-11-30 15:11:41 +01:00
Anna Kozlova
dccb826526 new inference: cache substitutor for outer call conflict resolution 2014-03-07 18:02:48 +01:00