|
|
f1a69f164e
|
Add Halmos support for formal verification (#5034)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2024-05-23 09:01:12 -06:00 |
|
|
|
4032b42694
|
Branchless ternary, min and max methods (#4976)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2024-04-23 14:08:08 +02:00 |
|
|
|
dfae50fa5b
|
Refactor abs without logical branching (#4497)
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2024-01-18 20:22:47 +00:00 |
|
