Skip to content

Using loss with substituted receiver terms in exhaleExt#797

Merged
marcoeilers merged 1 commit into
masterfrom
meilers_exhale_ext_qp_fix
Jan 22, 2024
Merged

Using loss with substituted receiver terms in exhaleExt#797
marcoeilers merged 1 commit into
masterfrom
meilers_exhale_ext_qp_fix

Conversation

@marcoeilers

Copy link
Copy Markdown
Contributor

…and adding a qvars parameter to enable local checks if permission term is zero.

This fixes #796

…rs parameter to enable local checks if permission term is zero

@jcp19 jcp19 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am not familiar with this part of the code. Nonetheless, nothing wrong pops out to me

@marcoeilers marcoeilers merged commit 0b2dc01 into master Jan 22, 2024
@marcoeilers marcoeilers deleted the meilers_exhale_ext_qp_fix branch January 22, 2024 15: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.

Incompleteness when exhaling a QP whose permission expression depends on the quantified variable inside a package statement

2 participants