kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Enable sqrt* intrinsics

Open tautschnig opened this issue 1 year ago • 0 comments

Requires fixes in CBMC's sqrt* implementations.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

tautschnig avatar Feb 07 '24 10:02 tautschnig