Skip to content

[Fixbug] Is exiting fix#293

Merged
xinli-git merged 5 commits intohidet-org:mainfrom
xinli-git:is_exiting_fix
Jun 28, 2023
Merged

[Fixbug] Is exiting fix#293
xinli-git merged 5 commits intohidet-org:mainfrom
xinli-git:is_exiting_fix

Conversation

@xinli-git
Copy link
Copy Markdown
Contributor

_is_exiting is set to True by at_exit, and False in the usual case, the logic currently is flipped.

Now that is_exiting is working properly, we are actually clearning up memory. As a result, I found a different bug where dummy input creation is not properly handled for different data types (e.g. int types that are used for indexing)

This was not found before because we are re-using old memory regions and somehow these old allocations had proper values in them.

@xinli-git xinli-git changed the title Is exiting fix [Fixbug] Is exiting fix Jun 27, 2023
@xinli-git
Copy link
Copy Markdown
Contributor Author

The changes seems to pass, will merge. CC @yaoyaoding

@xinli-git xinli-git merged commit 0e5518c into hidet-org:main Jun 28, 2023
@xinli-git xinli-git deleted the is_exiting_fix branch July 5, 2023 21:07
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.

2 participants