Re: [isabelle] Creating ML data is slow. No sharing/caching?

... I just wanted to share those numbers in the previous mail. I never
thought that writing a custom toString function can make such a huge
difference. 30min vs. 30sec. The tested data is a ~500 rules iptables
firewall [1]


(and probably I should unify my mail clients key binding to avoid
those half-finished mails. Sorry for the noise.)

[1] paper at FM'15

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