Pascual Martinez-Gomez comments

Repositories
Issues
Comments

Results 3 comments of


                                            Pascual Martinez-Gomez

trafficstars

Abduction does not work with the newer version of Coq

In Coq 8.6, does that output only produce 4 characters "^"?

Abduction does not work with the newer version of Coq

I think the "^^^^" string when inserting axioms is typically longer because it underlines the axiom name; but I have not yet confirmed that. If the above is true, perhaps...

bugfix around this error: local variable 'failure_log' referenced before assignment

Thank you for the PR and sorry for taking so long to answer. Let me try to merge. Thank you for your contribution!