missing files

include/conv.h

+/* C code generated by lustrec
+   Version number 1.1-Unversioned directory
+   Code is C99 compliant
+   Using (double) floating-point numbers */
+   
+#ifndef _CONV
+#define _CONV
+
+/* Imports standard library */
+#include "/Users/Teme/Documents/GitHub/lustrec/include/lustrec/arrow.h"
+
+
+/* Import dependencies */
+
+/* Types definitions */
+
+/* Global constant (declarations, definitions are in C file) */
+
+/* Structs declarations */
+
+/* Nodes declarations */
+extern double int_to_real (int in1
+                           );
+
+extern int real_to_int (double in1
+                        );
+
+
+#endif
+

include/math.h

+/* C code generated by lustrec
+   Version number 1.1-Unversioned directory
+   Code is C99 compliant
+   Using (double) floating-point numbers */
+   
+#ifndef _MATH
+#define _MATH
+
+/* Imports standard library */
+#include "/Users/Teme/Documents/GitHub/lustrec/include/lustrec/arrow.h"
+
+
+/* Import dependencies */
+
+/* Types definitions */
+
+/* Global constant (declarations, definitions are in C file) */
+
+/* Structs declarations */
+
+/* Nodes declarations */
+extern double sqrt (double x
+                    );
+
+extern double sinh (double x
+                    );
+
+extern double sin (double x
+                   );
+
+extern double pow (double x, double n
+                   );
+
+extern double fabs (double x
+                    );
+
+extern double erf (double x
+                   );
+
+extern double ceil (double x
+                    );
+
+extern double cosh (double x
+                    );
+
+extern double cos (double x
+                   );
+
+extern double cbrt (double x
+                    );
+
+extern double atanh (double x
+                     );
+
+extern double atan2 (double x, double n
+                     );
+
+extern double atan (double x
+                    );
+
+extern double asinh (double x
+                     );
+
+extern double asin (double x
+                    );
+
+extern double acosh (double x
+                     );
+
+extern double acos (double x
+                    );
+
+
+#endif
+

include/mpfr_lustre.c

+#include <mpfr.h>
+#include "mpfr_lustre.h"
+
+void MPFR_LUSTRE_INIT () {
+  return;
+}
+
+void MPFR_LUSTRE_CLEAR () {
+  return;
+}
+
+void MPFRNeq_step (mpfr_t i1, mpfr_t i2, 
+                          _Bool (*out)
+                          )
+{
+  *out = mpfr_lessgreater_p(i1, i2);
+}
+
+void MPFREq_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         )
+{
+  *out = mpfr_equal_p(i1, i2);
+}
+
+void MPFRGt_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         )
+{
+  *out = mpfr_greater_p(i1, i2);
+}
+
+void MPFRGe_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         )
+{
+  *out = mpfr_greaterequal_p(i1, i2);
+}
+
+extern void MPFRLt_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         )
+{
+  *out = mpfr_less_p(i1, i2);
+}
+void MPFRLe_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         )
+{
+  *out = mpfr_lessequal_p(i1, i2);
+}
+
+void MPFRDiv_step (mpfr_t i1, mpfr_t i2, 
+                          mpfr_t out
+                          )
+{
+  mpfr_div(out, i1, i2, MPFR_RNDN);
+}
+
+void MPFRTimes_step (mpfr_t i1, mpfr_t i2, 
+                            mpfr_t out
+                            )
+{
+  mpfr_mul(out, i1, i2, MPFR_RNDN);
+}
+
+void MPFRMinus_step (mpfr_t i1, mpfr_t i2, 
+                            mpfr_t out
+                            )
+{
+  mpfr_sub(out, i1, i2, MPFR_RNDN);
+}
+
+void MPFRPlus_step (mpfr_t i1, mpfr_t i2, 
+                           mpfr_t out
+                           )
+{
+  mpfr_add(out, i1, i2, MPFR_RNDN);
+}
+
+void MPFRUminus_step (mpfr_t i, 
+                             mpfr_t out
+                             )
+{
+  mpfr_neg(out, i, MPFR_RNDN);
+}
+
+void MPFRInit(mpfr_t i, mpfr_prec_t prec)
+{
+  mpfr_init2(i, prec);
+}
+
+void MPFRClear(mpfr_t i)
+{
+  mpfr_clear(i);
+}

include/mpfr_lustre.h

+/* C code generated by lustrec
+   Version number 1.1-Unversioned directory
+   Code is C99 compliant
+   Using MPFR multi-precision numbers */
+   
+#ifndef _MPFR_LUSTRE
+#define _MPFR_LUSTRE
+
+/* Imports standard library */
+#include <mpfr.h>
+#include "/Users/Teme/Documents/GitHub/lustrec/include/lustrec/arrow.h"
+
+
+/* Import dependencies */
+
+/* Types definitions */
+
+/* Global constant (declarations, definitions are in C file) */
+
+/* Global initialization declaration */
+extern void MPFR_LUSTRE_INIT ();
+
+/* Global clear declaration */
+extern void MPFR_LUSTRE_CLEAR ();
+
+/* Structs declarations */
+
+/* Nodes declarations */
+extern void MPFRNeq_step (mpfr_t i1, mpfr_t i2, 
+                          _Bool (*out)
+                          );
+
+extern void MPFREq_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         );
+
+extern void MPFRGt_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         );
+
+extern void MPFRGe_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         );
+
+extern void MPFRLt_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         );
+
+extern void MPFRLe_step (mpfr_t i1, mpfr_t i2, 
+                         _Bool (*out)
+                         );
+
+extern void MPFRDiv_step (mpfr_t i1, mpfr_t i2, 
+                          mpfr_t out
+                          );
+
+extern void MPFRTimes_step (mpfr_t i1, mpfr_t i2, 
+                            mpfr_t out
+                            );
+
+extern void MPFRMinus_step (mpfr_t i1, mpfr_t i2, 
+                            mpfr_t out
+                            );
+
+extern void MPFRPlus_step (mpfr_t i1, mpfr_t i2, 
+                           mpfr_t out
+                           );
+
+extern void MPFRUminus_step (mpfr_t i, 
+                             mpfr_t out
+                             );
+
+
+#endif
+

include/mpfr_lustre.lusi

+
+
+function MPFRUminus(i: real) returns (out: real) lib gmp lib mpfr;
+
+function MPFRPlus(i1, i2: real) returns (out: real);
+
+function MPFRMinus(i1, i2: real) returns (out: real);
+
+function MPFRTimes(i1, i2: real) returns (out: real);
+
+function MPFRDiv(i1, i2: real) returns (out: real);
+
+function MPFRLe(i1, i2: real) returns (out: bool);
+
+function MPFRLt(i1, i2: real) returns (out: bool);
+
+function MPFRGe(i1, i2: real) returns (out: bool);
+
+function MPFRGt(i1, i2: real) returns (out: bool);
+
+function MPFREq(i1, i2: real) returns (out: bool);
+
+function MPFRNeq(i1, i2: real) returns (out: bool);