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

Publish new version with new combinators (mkPower missing) #72

Open
Munksgaard opened this issue Jan 18, 2022 · 4 comments
Open

Publish new version with new combinators (mkPower missing) #72

Munksgaard opened this issue Jan 18, 2022 · 4 comments

Comments

@Munksgaard
Copy link
Contributor

Documentation here: https://z3prover.github.io/api/html/group__capi.html#ga8414506c805caa171f0c1fe29f9f9612
@Munksgaard
Copy link
Contributor Author

Oh wait, it's there, it's just not published yet. Would you consider publishing a new version sometime soon? :-)

@Munksgaard Munksgaard changed the title Missing combinator: mkPower Publish new version with new combinators (mkPower missing) Jan 18, 2022
@Munksgaard
Copy link
Contributor Author

The README and several issues/PRs mention release 408.3, but I can't seem to find it anywhere? z3.cabal lists the master version as 408.2.

@IagoAbal
Copy link
Owner

I will try to release something soon, sorry about that, I have a serious lack of spare time. 😄

@Munksgaard
Copy link
Contributor Author

No worries, thank you for your work :)

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
@Munksgaard @IagoAbal