You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
First, just add inf. rules with paths (and introduce the approximate syntax, with the usual % as a placeholder, for (always) the target's name). -> Path-aware inference rules #1
Next, get the GNU syntax (target%pattern : src%pattern) accepted & recognized as inf. rule
And then make it actually work, too...
The text was updated successfully, but these errors were encountered:
target%pattern : src%pattern
) accepted & recognized as inf. ruleThe text was updated successfully, but these errors were encountered: