New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add parser support for path related facts #190

Open

zirconium-n wants to merge 1 commit into rust-lang:master from zirconium-n:path-parser

zirconium-n commented Nov 14, 2022

Add child_path and path_is_var relations to parser.
Add path_moved_at_base, path_assigned_at_base, path_accessed_at_base effects to parser.


          add parser for path related facts

cb69365

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet