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

Merge in existing z3 mode? #2

Closed
cpitclaudel opened this issue Nov 21, 2015 · 3 comments
Closed

Merge in existing z3 mode? #2

cpitclaudel opened this issue Nov 21, 2015 · 3 comments

Comments

@cpitclaudel
Copy link

Hi there,

Are you aware of my own z3-mode at https://github.com/boogie-org/boogie-friends? We could merge some of the features, maybe.

Clément.
@zv
Copy link
Owner

zv commented Nov 21, 2015

I was not aware of your project!

It is great to know that one exists and I would love to collaborate on advancing a good, unified z3 emacs interfacing mode.

I will try to merge some changes of mine upstream to z3-smt2-mode when I can and perhaps try to work on the ecosystem of boogie-friends at large.

@cpitclaudel
Copy link
Author

Indeed, that would be cool. I'll take pull requests happily :) If you're interested in Dafny and boogie then I'll also welcome PRs for these, of course!

@cpitclaudel
Copy link
Author

I should probably update the README there, too; right now it's heavily dafny and boogie-centric

@zv zv closed this as completed Nov 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@zv @cpitclaudel