Skip to content

add parser support for path related facts#190

Open
zirconium-n wants to merge 1 commit intorust-lang:masterfrom
zirconium-n:path-parser
Open

add parser support for path related facts#190
zirconium-n wants to merge 1 commit intorust-lang:masterfrom
zirconium-n:path-parser

Conversation

@zirconium-n
Copy link

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.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant