Skip to content

Deterministic Plugin Execution Order#853

Merged
ArquintL merged 5 commits into
masterfrom
arquintl-plugin-order
Mar 11, 2025
Merged

Deterministic Plugin Execution Order#853
ArquintL merged 5 commits into
masterfrom
arquintl-plugin-order

Conversation

@ArquintL

Copy link
Copy Markdown
Member

This PR ensures that plugins are executed in the same order as specified by the user. Since the refute plugin is part of the default plugins, we have to take extra care not to execute the same plugin multiple times.

@ArquintL ArquintL requested a review from marcoeilers March 11, 2025 13:21
Comment thread src/main/scala/viper/silver/frontend/SilFrontend.scala
Comment thread src/main/scala/viper/silver/frontend/SilFrontend.scala Outdated
@ArquintL ArquintL merged commit e8521cb into master Mar 11, 2025
@ArquintL ArquintL deleted the arquintl-plugin-order branch March 11, 2025 16:15
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