Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support easy configuration of alternate Z3 version when installing Dafny #3478

Open
robin-aws opened this issue Feb 7, 2023 · 2 comments
Open

Support easy configuration of alternate Z3 version when installing Dafny #3478

robin-aws opened this issue Feb 7, 2023 · 2 comments
Assignees
@robin-aws
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny

Comments

@robin-aws
Copy link
Member

Meta-issue to track this as a Dafny 4.0 dependency, since we intend to upgrade the default version but want to make it easy for users to stick to 4.8.5 for a while if they need to. Includes at least:
@robin-aws robin-aws added this to the Dafny 4.0 milestone Feb 7, 2023
@robin-aws robin-aws self-assigned this Feb 19, 2023
@robin-aws
Copy link
Member Author

Decided to not block Dafny 4.0 on this but can add it easily on demand.

@robin-aws robin-aws removed this from the Dafny 4.0 milestone Mar 7, 2023
@keyboardDrummer keyboardDrummer added the kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny label Mar 30, 2023
@kjx
Copy link

kjx commented Jul 9, 2023

Not sure if this is better here or as a separate issue - here because its' clearly a related concern:
On arm64 (i.e. mac) Hombrew Dafny gets a native z3
but it seems the standalone dafnies installed by the VScode IDE or from the nightly still pick up an intel z3, which does work but is rather slower than native.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robin-aws robin-aws

Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@kjx @keyboardDrummer @robin-aws