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.

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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