Re: [isabelle] Decision procedures through computation & code_reflect

In summary, there have been some issues posted here concerning
evaluation using code generation in general.  To my understanding these
could be resolved.  Admittedly, the technical issues to be observed are
a little intricate.

Are there any remaining issues left, particularly concerning surprising
performance results?  Only issues hinted to can be expected to be
resolved for a future release.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.