Project

General

Profile

Revision 30f46c0c

View differences:

Makefile.in
4 4
datarootdir = ${prefix}/share
5 5
includedir = ${prefix}/include
6 6

  
7
LUSI_LIBS=include/math.lusi include/conv.lusi
7
LUSI_LIBS=include/lustrec_math.lusi include/simulink_math_fcn.lusi include/conv.lusi
8 8
LUSI_MPFR_LIB=include/mpfr_lustre.lusi
9 9
LOCAL_BINDIR=bin
10 10
LOCAL_DOCDIR=doc/manual
......
40 40
	@make -C src clean
41 41

  
42 42
dist-src-clean: clean
43
	@rm -f config.log config.status include/*.lusic include/math.h include/conv.h include/mpfr_lustre.h
43
	@rm -f config.log config.status include/*.lusic include/lustrec_math.h include/simulink_math_fcn.h include/conv.h include/mpfr_lustre.h
44 44
	@rm -f Makefile ./src/Makefile ./src/pluginList.ml ./src/version.ml ./src/_tags
45 45

  
46 46
DIST_ARCHIVE_NAME=lustrec-$(shell $(LOCAL_BINDIR)/lustrec -version | grep version | cut -d, -f 2 | sed -e "s/ version //" -e "s/ (/-/" -e "s/ /-/" -e "s/\//-/" -e "s/)//")-src.tar.gz
include/lustrec_math.lusi
1
function acos (x: real) returns (y: real) prototype C lib m;
2
function acosh (x: real) returns (y: real) prototype C lib m;
3
function asin (x: real) returns (y: real) prototype C lib m;
4
function asinh (x: real) returns (y: real) prototype C lib m;
5
function atan (x: real) returns (y: real) prototype C lib m;
6
function atan2(x:real; n: real) returns (y: real) prototype C lib m;
7
function atanh (x: real) returns (y: real) prototype C lib m;
8
function cbrt (x: real) returns (y: real) prototype C lib m;
9
function cos (x: real) returns (y: real) prototype C lib m;
10
function cosh (x: real) returns (y: real) prototype C lib m;
11
function ceil (x: real) returns (y: real) prototype C lib m;
12
function erf (x: real) returns (y: real) prototype C lib m;
13
function fabs (x: real) returns (y: real) prototype C lib m;
14
function tan (x: real) returns (y: real) prototype C lib m;
15
function pow (x:real; n: real) returns (y: real) prototype C lib m;
16
function sin (x: real) returns (y: real) prototype C lib m;
17
function sinh (x: real) returns (y: real) prototype C lib m;
18
function sqrt (x: real) returns (y: real) prototype C lib m;
include/lustrec_math.smt2
1
(declare-rel  cbrt (Real Real))
2
(declare-rel  ceil (Real Real))
3
(declare-rel  erf (Real Real))
4
(declare-rel  fabs (Real Real))
5
(declare-rel  pow (Real Real Real))
6
(declare-rel  sqrt (Real Real))
include/math.lusi
1
function acos (x: real) returns (y: real) prototype C lib m;
2
function acosh (x: real) returns (y: real) prototype C lib m;
3
function asin (x: real) returns (y: real) prototype C lib m;
4
function asinh (x: real) returns (y: real) prototype C lib m;
5
function atan (x: real) returns (y: real) prototype C lib m;
6
function atan2(x:real; n: real) returns (y: real) prototype C lib m;
7
function atanh (x: real) returns (y: real) prototype C lib m;
8
function cbrt (x: real) returns (y: real) prototype C lib m;
9
function cos (x: real) returns (y: real) prototype C lib m;
10
function cosh (x: real) returns (y: real) prototype C lib m;
11
function ceil (x: real) returns (y: real) prototype C lib m;
12
function erf (x: real) returns (y: real) prototype C lib m;
13
function fabs (x: real) returns (y: real) prototype C lib m;
14
function tan (x: real) returns (y: real) prototype C lib m;
15
function pow (x:real; n: real) returns (y: real) prototype C lib m;
16
function sin (x: real) returns (y: real) prototype C lib m;
17
function sinh (x: real) returns (y: real) prototype C lib m;
18
function sqrt (x: real) returns (y: real) prototype C lib m;
include/math.smt2
1
(declare-rel  cbrt (Real Real))
2
(declare-rel  ceil (Real Real))
3
(declare-rel  erf (Real Real))
4
(declare-rel  fabs (Real Real))
5
(declare-rel  pow (Real Real Real))
6
(declare-rel  sqrt (Real Real))
src/backends/EMF/EMF_library_calls.ml
13 13
  if Corelang.is_imported_node decl then
14 14
    let inode = Corelang.imported_node_of_top decl in
15 15
    match inode.nodei_id, Filename.basename decl.top_decl_owner with
16
    | name, (("math" | "conv") as lib) -> (
16
    | name, (("lustrec_math" | "simulink_math_fcn" | "conv") as lib) -> (
17 17
      fprintf fmt "\"kind\": \"functioncall\",@ \"name\": \"%s\",@ \"library\": \"%s\",@ "
18 18
        name lib;
19 19
      fprintf fmt "\"lhs\": [@[%a@]],@ \"args\": [@[%a@]]"

Also available in: Unified diff