Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Coq8.6 support? #4

Open
wangjwchn opened this issue Jul 27, 2017 · 5 comments
Open

Coq8.6 support? #4

wangjwchn opened this issue Jul 27, 2017 · 5 comments

Comments

@wangjwchn
Copy link

Are you going to update it for Coq8.6?
@gmalecha
Copy link
Owner

gmalecha commented Jul 27, 2017 •
edited
Loading

I will look into it. I know some pieces of the Coq API changed, so I need to look into what needs to be fixed.

@gmalecha
Copy link
Owner

I've pushed a new branch called coq-8.6. I haven't been able to test it thoroughly yet, but if you'd like to test it out, I'd welcome feedback.

@gmalecha
Copy link
Owner

I'm planning on updating this to support Coq 8.9 and 8.10 in the near future (but probably not for a week or two)

@wangjwchn
Copy link
Author

Great!

@gmalecha
Copy link
Owner

It seems like SMTCoq is a viable alternative to this repository. @wangjwchn would that address your needs?

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gmalecha @wangjwchn