Skip to content
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

feat(verifier): generate and run an empty but typed program #5659

Merged
merged 4 commits into from
May 26, 2023
Merged

feat(verifier): generate and run an empty but typed program #5659

merged 4 commits into from
May 26, 2023

Conversation

zrlk
Copy link
Contributor

@zrlk zrlk commented May 25, 2023

No description provided.

shahms
shahms reviewed May 25, 2023
View reviewed changes
kythe/cxx/verifier/assertions_to_souffle.h Outdated Show resolved Hide resolved
kythe/cxx/verifier/assertions_to_souffle_test.cc Outdated Show resolved Hide resolved
kythe/cxx/verifier/souffle_interpreter.cc Outdated Show resolved Hide resolved
@zrlk zrlk enabled auto-merge (squash) May 26, 2023 16:33
@zrlk zrlk merged commit 67a19fb into kythe:master May 26, 2023
4 checks passed
@zrlk zrlk deleted the vfl branch May 26, 2023 16:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@shahms shahms shahms approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@zrlk @shahms