Skip to content
Snippets Groups Projects
Commit 4d841db7 authored by Hamza Bourbouh's avatar Hamza Bourbouh
Browse files

add tanh

parent 83dc064f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
include/lustrec_math.lusi
+ 1
− 1
View file @ 4d841db7
......@@ -23,4 +23,4 @@ function sinh (x: real) returns (y: real) prototype C lib m;
function sqrt (x: real) returns (y: real) prototype C lib m;
function trunc (x: real) returns (y: real) prototype C lib m;
function tan (x: real) returns (y: real) prototype C lib m;
function tanh (x: real) returns (y: real) prototype C lib m;
include/lustrec_math.smt2
+ 1
− 0
View file @ 4d841db7
......@@ -23,3 +23,4 @@
(declare-rel exp ( Real Real) )
(declare-rel log ( Real Real) )
(declare-rel log10 ( Real Real) )
(declare-rel tanh ( Real Real) )
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment