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.

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

Support legality check of scheduling #304

Conversation

iasakura
Copy link

@iasakura iasakura commented Oct 13, 2019

This PR implements a legality check of scheduling.
We can use legality check either
(i) enable last parameter do_legaliy_check of function::codegen, or
(ii) call function::check_legality() directly.
(i) is the recommended way because (ii) has some preconditions like that function::gen_time_space_domain() is called before.
The algorithm of legality check is also explained in #300 (comment).
Also, some simple test cases are added (tests_175--178) (We may need more tests...).

@iasakura
Copy link
Author

@rbaghdadi Hi.

I have already finished the initial implementation of scheduling check. I would very appreciate if you review and comment my code. Thank you.

@iasakura iasakura closed this Jan 7, 2021
@iasakura iasakura reopened this Jan 25, 2021
@iasakura iasakura closed this May 4, 2023
@iasakura iasakura deleted the support-legality-check-of-scheduling branch May 4, 2023 20:34
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