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
There has been one or two corrections in the reification table of the guidelines, by Jonas Heinecke and me (e.g., see :poss relation where arg0 and arg1 are switched). Maybe it would be good to write a function that crawls always the latest amr guidelines and tries extract reification rule table, and only then if it doesn't work uses a stored table (and if it does work, potentially issue a warning if the crawled version and the version in store are different)?
I'm kinda having this problem also in Smatchpp (for now I took to manually update the table). I can make a pull request in case I find a neat solution, or maybe you have a better suggestion.
The text was updated successfully, but these errors were encountered:
There has been one or two corrections in the reification table of the guidelines, by Jonas Heinecke and me (e.g., see :poss relation where arg0 and arg1 are switched).
Maybe it would be good to write a function that crawls always the latest amr guidelines and tries extract reification rule table, and only then if it doesn't work uses a stored table (and if it does work, potentially issue a warning if the crawled version and the version in store are different)?
No, at least not in the library itself. It might be useful to do something like this in a GitHub action on a pull request. But I think this will happen infrequently enough that manual intervention is enough.
There has been one or two corrections in the reification table of the guidelines, by Jonas Heinecke and me (e.g., see
:poss
relation where arg0 and arg1 are switched). Maybe it would be good to write a function that crawls always the latest amr guidelines and tries extract reification rule table, and only then if it doesn't work uses a stored table (and if it does work, potentially issue a warning if the crawled version and the version in store are different)?I'm kinda having this problem also in Smatchpp (for now I took to manually update the table). I can make a pull request in case I find a neat solution, or maybe you have a better suggestion.
The text was updated successfully, but these errors were encountered: