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]

  Cornelius

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

[1] https://github.com/diekmann/Iptables_Semantics paper at FM'15




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