Stream: Coq users

Topic: native_compute


view this post on Zulip Jason Gross (May 21 2020 at 21:33):

@Maxime Dénès native_computeis pretty great (when I'm not computing enormous PHOASTs)! I now have a real-world example where it gives almost a 90% speed-up over vm_compute

view this post on Zulip Maxime Dénès (May 21 2020 at 22:15):

Nice to hear! :)

view this post on Zulip Cody Roux (May 22 2020 at 02:39):

Jason Gross said:

Maxime Dénès native_computeis pretty great (when I'm not computing enormous PHOASTs)! I now have a real-world example where it gives almost a 90% speed-up over vm_compute

A Gross PHOAST would then be a GHOAST?


Last updated: Jan 31 2023 at 13:02 UTC