Skip to content

Conversation

@yelite
Copy link
Contributor

@yelite yelite commented Aug 25, 2022

This PR:

  • Adds TIR assert printing
  • Adds helpers for stmt body printing and concise scoping

This PR is in draft state because it's branched off from a pending PR #12582

Tracking issue: #11912

cc @junrushao @gbonik

@github-actions github-actions bot requested a review from junrushao August 25, 2022 17:27
@yelite yelite force-pushed the tunip-tir-stmt-assert branch 4 times, most recently from a43b1f6 to 327097f Compare August 29, 2022 14:58
@yelite yelite force-pushed the tunip-tir-stmt-assert branch from 327097f to dd410c3 Compare August 31, 2022 03:08
yelite and others added 7 commits September 16, 2022 23:26
Co-authored-by: Greg Bonik <gbonik@octoml.ai>
Co-authored-by: Greg Bonik <gbonik@octoml.ai>
Co-authored-by: Junru Shao <jshao@octoml.ai>
Co-authored-by: Greg Bonik <gbonik@octoml.ai>

Fix lint
Co-authored-by: Greg Bonik <gbonik@octoml.ai>
Co-authored-by: Greg Bonik <gbonik@octoml.ai>
Co-authored-by: Greg Bonik <gbonik@octoml.ai>
Co-authored-by: Greg Bonik <gbonik@octoml.ai>
@yelite yelite force-pushed the tunip-tir-stmt-assert branch from dd410c3 to d26a634 Compare September 17, 2022 03:42
@areusch areusch added needs-triage PRs or issues that need to be investigated by maintainers to find the right assignees to address it and removed needs-triage PRs or issues that need to be investigated by maintainers to find the right assignees to address it labels Oct 19, 2022
@junrushao junrushao closed this Jan 18, 2023
@junrushao junrushao reopened this Jan 18, 2023
@junrushao junrushao closed this Jan 18, 2023
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.

3 participants