Skip to content

Fixing issue #849 #857

Merged
marcoeilers merged 6 commits into
masterfrom
meilers_fix_849
Apr 4, 2025
Merged

Fixing issue #849 #857
marcoeilers merged 6 commits into
masterfrom
meilers_fix_849

Conversation

@marcoeilers

@marcoeilers marcoeilers commented Mar 18, 2025

Copy link
Copy Markdown
Contributor

ExtensionExp gets new abstract methods extensionIsValidTrigger and extensionIsForbiddenInTrigger (similar to extensionIsPure etc.), which return false and true by default, which can be used by extension expressions to decide whether they can be used as triggers or not. This replaces the previous behavior where our consistency checks would always reject extension expressions as triggers.

This fixes issue #849.

@marcoeilers marcoeilers enabled auto-merge (squash) March 18, 2025 18:11
@marcoeilers marcoeilers requested a review from ArquintL April 4, 2025 13:04
@marcoeilers

Copy link
Copy Markdown
Contributor Author

@ArquintL I'd like to use his in the SIF plugin to make sure SIF expressions in triggers don't lead to crashes, as is currently the case.

@ArquintL ArquintL left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM but I've left one minor remark

Comment thread src/main/scala/viper/silver/ast/utility/Expressions.scala Outdated
@marcoeilers marcoeilers disabled auto-merge April 4, 2025 13:42
@marcoeilers marcoeilers enabled auto-merge (squash) April 4, 2025 13:42
@marcoeilers marcoeilers merged commit 94bd536 into master Apr 4, 2025
@marcoeilers marcoeilers deleted the meilers_fix_849 branch April 4, 2025 14:01
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