Skip to content

Only use Boogie projects that are relevant for Dafny #3029

New issue
New issue
Open
Open
Only use Boogie projects that are relevant for Dafny#3029
Labels
area: performancePerformance issueskind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnykind: language development speedSlows down development of Dafny the language, flaky testspart: verifierTranslation from Dafny to Boogie (translator)
@keyboardDrummer

Description

@keyboardDrummer
keyboardDrummer
opened on Nov 9, 2022

Not all of the Boogie projects, such as Concurrency and Houdini, are relevant for Dafny, and these projects may do mandatory preprocessing steps that effect the processing of Boogie programs originating from Dafny.

We should change Boogie's architecture so using some of these projects becomes optional.

Related: #2358

Metadata

Metadata

Assignees

No one assigned

    Labels

    area: performancePerformance issueskind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnykind: language development speedSlows down development of Dafny the language, flaky testspart: verifierTranslation from Dafny to Boogie (translator)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions