Project

General

Profile

« Previous | Next » 

Revision 55242433

Added by Xavier Thirioux over 10 years ago

missing dummy lib for arrays

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@139 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

test/src/arrays_arnaud/dummy_lib.lusi
1

  
2
node test(x:int) returns (t:int^2);
3

  
4
function _MatMul_real (
5
	const n, m, p : int ;
6
	in1 : real^n^m ;
7
	in2 : real^m^p)
8
returns (
9
	out : real^n^p) ;
10

  
11
function _Vect_Leqt_real (
12
	const n : int ;
13
	in : real^n ;
14
	in2 : real^n)
15
returns (
16
	out : bool^n) ;
17

  
18
node imp1(const m:int; a:int^(3*m)) returns (c:int^m);
19

  
20
node imp2(const n:int; a:int^n) returns (d:int^n);

Also available in: Unified diff