Revision e5d77428
include/conv.lusi  

1  1 
function real_to_int (in1: real) returns (out: int) prototype C; 
2 
function _Floor (in1: real) returns (out: int) prototype C; 

3 
function _floor (in1: real) returns (out: real) prototype C; 

4 
function _Ceiling (in1: real) returns (out: int) prototype C; 

5 
function _ceil (in1: real) returns (out: real) prototype C; 

6 
function _Round (in1: real) returns (out: int) prototype C; 

7 
function _round (in1: real) returns (out: real) prototype C; 

8  
9  2 
function int_to_real (in1: int) returns (out: real) prototype C; 
3  
4 
function _Floor (in1: real) returns (out: int) prototype C lib m; 

5 
function _floor (in1: real) returns (out: real) prototype C lib m; 

6 
function _Ceiling (in1: real) returns (out: int) prototype C lib m; 

7 
function _ceil (in1: real) returns (out: real) prototype C lib m; 

8 
function _Round (in1: real) returns (out: int) prototype C lib m; 

9 
function _round (in1: real) returns (out: real) prototype C lib m; 

10 
include/mpfr_lustre.c  

95  95 
mpfr_clear(i); 
96  96 
} 
97  97  
98 
// functions of conv 

99  
100 
void MPFRint_to_real_step (int i, mpfr_t out) 

101 
{ 

102 
mpfr_set_si(out, i, MPFR_RNDN); 

103 
} 

98  104 
// functions of lustrec_math 
99  105 
void MPFRacos_step (mpfr_t i, 
100  106 
mpfr_t out 
include/mpfr_lustre.lusi  

20  20  
21  21 
function MPFRNeq(i1, i2: real) returns (out: bool); 
22  22  
23 
 Functions already available in conv 

24 
function MPFRint_to_real (x: int) returns (y: real); 

25  
23  26 
 Functions already available in lustrec_math 
24  27  
25  28 
function MPFRacos (x: real) returns (y: real) ; 
src/plugins/mpfr/mpfr.ml  

97  97 
 ">" > "MPFRGt" 
98  98 
 "=" > "MPFREq" 
99  99 
 "!=" > "MPFRNeq" 
100 
(* Conv functions *) 

101 
 "int_to_real" > "MPFRint_to_real" 

100  102 
(* Math library functions *) 
101  103 
 "acos" > "MPFRacos" 
102  104 
 "acosh" > "MPFRacosh" 
Also available in: Unified diff