Re: Costly bat.new/bat.append not optimized out

Hi Roberto, Thanks for your reply. Roberto Cornacchia <roberto.cornacchia@gmail.com> writes: [..]

Ps. It's actually not very difficult to write it yourself if you feel like it. There is a template in the code.

Interesting. I think we will go for this. -- Frédéric Jolliton Sécuractive