Merge in existing z3 mode?
cpitclaudel opened this issue · comments
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.
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.
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!
I should probably update the README there, too; right now it's heavily dafny and boogie-centric