[llvm] specify NaN behavior more precisely (PR #66579)

Nuno Lopes via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 19 09:00:44 PDT 2023

Previous message: [llvm] specify NaN behavior more precisely (PR #66579)
Next message: [llvm] specify NaN behavior more precisely (PR #66579)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

nunoplopes wrote:

FWIW, I'm trying to implement this new semantics in Alive2. I'll report back the changes in failed/passed tests later.

https://github.com/llvm/llvm-project/pull/66579

Previous message: [llvm] specify NaN behavior more precisely (PR #66579)
Next message: [llvm] specify NaN behavior more precisely (PR #66579)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list