Commit b6379be0 authored by Erwan Jahier's avatar Erwan Jahier

lurette 1.44 Tue, 04 Dec 2007 10:47:42 +0100 by jahier

Parent-Version:      unstable.5
Version-Log:

source/util.ml
  add an entete function in order to decorate generated files.

source/solver.ml
  Add more debug info in case of failure.

source/parse_luc.ml
  better error message

source/env_state.ml
  Fix a bug in the handling of the (undocumented) ~default option.

source/lurettetop.ml
  better error message

install/configure.in
  Add stuff for configuring mac os
  use install instead of cp.

install/Makefile.lurette.in
user-rules
  some improvements(?)

source/Makefile.lucky
source/Makefile.gen_stubs
source/Makefile.lurette_lib
source/Makefile
polka/Makefile.config
polka/Makefile
source/gen_fake_lucky.ml
source/Makefile.gen_fake_lucky
install/xlurette.sh.in
install/xlurette.bat.in
install/set_env_var.in
install/lurettetop.sh.in
install/gen_stubs.sh.in
source/exp.ml
source/luc4ocaml.mli
source/luckyDraw.mli
source/Makefile.luc4ocaml
source/Makefile.luckyDraw
examples/lucky/external_88code/foo.c
examples/lucky/external_code/call_external_c_code.luc
examples/lucky/external_code/Makefile
VERSION
install/set_env_var.bat.in
examples/Makefile
examples/ocaml/crazy-rabbit/rabbit-dir-obstacle.luc
examples/ocaml/crazy-rabbit/Makefile
examples/ocaml/crazy-rabbit/rabbit.ml
examples/rml/Makefile
examples/lucky/other/Makefile
examples/luckyDraw/c/luckyDrawC_stubs.c.m4
examples/luckyDraw/c/essai.c
examples/luckyDraw/c/Makefile
examples/luckyDraw/ocaml/Makefile
examples/xlurette/heater/Makefile
examples/xlurette/Gyro/Makefile
utils/lucky_cpp
utils/luckytolatex
source/Makefile.release
source/version.ml
source/Makefile.luc2c
examples/xlurette/fault-tolerant-heater/Makefile
examples/xlurette/tram/Makefile
examples/xlurette/Sildex/Makefile
xlurette/makefile
xlurette/xlurette_glade_main.ml
lnsw
source/luc4c_stubs.h
source/luc4c_stubs.c
source/luc4c.ml
examples/lucky/C/Makefile
source/Makefile.luc4c
examples/lucky/lustre/Makefile
  Figthing with library stuff.
  Add headers (time-stamps)
  + other minor changes

examples/luckyDraw/c/luckyDrawC_stubs.h
  call the caml_startup() init procedure + various twix.

source/luc2c.ml
  Add a --luciole option

Project-Description: Lurette
parent 4be4c2b2
......@@ -89,7 +89,7 @@
(install/pixmaps/quit.xpm 494 1137765987 n/18_quit.xpm 1.1)
(examples/luckyDraw/ocaml/draw-ex.ml 3137 1165588586 l/8_draw-ex.ml 1.2)
(examples/xlurette/heater/buggy_heater_ctrl.lus 219 1137765987 m/10_buggy_heat 1.1)
(Makefile 637 1165855990 d/13_Makefile 1.13)
(Makefile 694 1196761662 d/13_Makefile 1.14)
(xlurette/Scade/Images/lurun.bmp 822 1122044801 i/22_lurun.bmp 1.1)
(examples/xlurette/heater/temp_float.luc 704 1137765987 m/9_temp_float 1.1)
(install/pixmaps/config-params.xpm 2753 1137765987 n/12_config-par 1.1)
......@@ -208,7 +208,6 @@
(source/constraint.mli 1733 1127735479 c/18_constraint 1.11)
(README-lurette 3191 1137765987 j/35_README-lur 1.1)
(install/pixmaps/lupref.bmp 822 1137765987 m/51_lupref.bmp 1.1)
(i386-linux-gcc3/include/signal4.h 6995 1138025047 o/32_signal4.h 1.1)
(source/formula_to_bdd.mli 1358 1137765987 g/35_formula_to 1.9)
(install/configure.in 10435 1196700198 d/11_configure. 1.28)
(examples/xlurette/Scade-win32/Command.saofd 4147 1137765987 m/1_Command.sa 1.1)
......@@ -265,7 +264,6 @@
(source/lurette_ocaml.ml 19119 1122044801 i/48_lurette_oc 1.1)
(examples/xlurette/tram/test1.res 0 1138025047 o/11_test1.res 1.1)
(xlurette/Scade/Images/lupref.bmp 822 1122044801 i/23_lupref.bmp 1.1)
(i386-linux-gcc3/include/communic.h 444 1138025047 o/35_communic.h 1.1)
(source/graph.ml 3777 1137765987 14_graph.ml 1.14)
(examples/xlurette/Scade-sparc/libdigital.saofdm 1256 1137765987 l/20_libdigital 1.1)
(source/util.ml 21408 1172658530 35_util.ml 1.81)
......@@ -282,7 +280,6 @@
(source/luc4c_caml.ml 712 1149596800 r/14_luc4c_caml 1.1)
(source/luckyDraw.mli 5107 1165855990 i/36_luckyDraw. 1.3.1.2)
(examples/lucky/tut-examples/simpler.luc 167 1137765987 k/26_simpler.lu 1.1)
(i386-linux-gcc3/bin/sim2chrogtk 784763 1138032075 q/15_sim2chrogt 1.1)
(install/pixmaps/batch.xpm 456 1137765987 n/13_batch.xpm 1.1)
(source/genlex.mli 3153 1122044801 h/23_genlex.mli 1.2)
(examples/xlurette/Scade-sparc/libmath.saofdm 1378 1137765987 l/14_libmath.sa 1.1)
......@@ -311,7 +308,7 @@
(GBDDML/Makefile 3166 1172658530 r/30_Makefile 1.2)
(examples/rml/window.out.exp 2210 1137765987 k/6_window.out 1.1)
(examples/xlurette/heater/test1.res 0 1137765987 m/22_test1.res 1.1)
(source/version.ml 21 1196700198 n/43_version.ml 1.10)
(source/version.ml 21 1196761662 n/43_version.ml 1.11)
(examples/xlurette/Scade-win32/Pilot.ewo 785 1137765987 l/28_Pilot.ewo 1.1)
(RELEASE-NOTES 3737 1165588586 h/45_RELEASE-NO 1.7.1.1)
(examples/lucky/C/test.res 0 1149596800 r/18_test.res 1.1)
......@@ -350,7 +347,6 @@
(doc/tutorial/macros.tex 5209 1138032075 q/28_macros.tex 1.1)
(examples/luckyDraw/ocaml/draw-ex.out.exp 472 1165477648 l/5_draw-ex.ou 1.2)
(source/lustreExp.mli 2372 1137765987 g/46_lustreExp. 1.12)
(i386-linux-gcc3/bin/lus2ec 677 1138032075 q/17_lus2ec 1.1)
(utils/luckytolatex 1517 1196700198 n/30_luckytolat 1.2)
(install/pixmaps/open.xpm 782 1137765987 n/20_open.xpm 1.1)
(utils/lucky.vim 1861 1090330182 h/44_lucky.vim 1.1)
......@@ -374,7 +370,6 @@
(examples/xlurette/heater/time-joly.res 13086 1137765987 m/17_time-joly. 1.1)
(source/socket_server.ml 1155 1122044801 i/40_socket_ser 1.1)
(source/Makefile.show_luc 1297 1172658530 b/40_Makefile.s 1.20.1.1)
(i386-linux-gcc3/include/config.h 506 1138025047 o/34_config.h 1.1)
(polka/C/polka.c 5608 1071844798 e/6_polka.c 1.2)
(doc/figs/lurette-start.fig 1604 1138034376 q/47_lurette-st 1.1)
(polka/Makefile 1648 1196700198 e/21_Makefile 1.3)
......@@ -415,7 +410,6 @@
(doc/tutorial/sensors.tex 846 1138032075 q/27_sensors.te 1.1)
(test/time-joly.res 10657 1165588586 b/49_time.res 1.83)
(test/time-joly.exp 10657 1172658530 b/48_time.exp 1.75)
(i386-linux-gcc3/bin/ec2c 580960 1138032075 q/16_ec2c 1.1)
(source/lutin_caml.mli 3222 1122044801 i/35_lutin_caml 1.1)
(examples/lucky/other/losange-3d.luc 570 1137765987 k/46_losange-3d 1.1)
(examples/lucky/other/test1.rif.exp 33449 1137765987 k/41_test1.rif. 1.1)
......@@ -529,9 +523,7 @@
(examples/xlurette/heater/test3.rif.exp 4560 1137765987 m/15_test3.rif. 1.1)
(source/Makefile.gen_fake_lutin 656 1137765987 d/17_Makefile.g 1.6)
(examples/lucky/other/test3.rif.exp 466 1137765987 k/35_test3.rif. 1.1)
(i386-linux-gcc3/bin/lusinfo 30352 1138032075 q/18_lusinfo 1.1)
(install/pixmaps/button-close.xpm 746 1137765987 n/27_button-clo 1.1)
(i386-linux-gcc3/bin/pollux 958048 1138032075 q/19_pollux 1.1)
(source/Makefile.gnuplot 461 1122044801 i/19_Makefile.g 1.1)
(examples/lucky/external_code/call_external_c_code.luc 1273 1196700198 j/23_call_exter 1.4)
(test/time-moucherotte.res 4158 1088412276 e/38_time-mouch 1.24)
......
......@@ -19,15 +19,26 @@ gen_version:
ci:
prcs checkin lurette.prj
prcs checkin -r 1 lurette.prj
make gen_version
lci:
prcs checkin -r unstable lurette.prj
make gen_version
ldiff:
pdiff -r unstable
diff:
pdiff -r 1
touch:
cd test && make touch
log:
prcs info -r unstable_1_43 -l lurette.prj
#!/bin/sh
POLLUX=pollux
TOOL=`basename $0`
USAGE=\
"usage: $TOOL <file>.lus <node> [-o <file>.ec] [-no] [-twice]\n\
-o <file>.ec : define output file\n\
-no : output on stdout\n\
-twice : expand twice (eval static node calls)"
#echo $#
if test $# -lt 2
then
echo
echo $USAGE
echo
exit 1
fi;
FILE=$1
MAIN=$2
OUT="-o $MAIN.ec"
shift
shift
while test $# -ne 0
do
if test $1 = "-o"
then
shift
if test $# -eq 0
then
echo
echo $USAGE
echo
exit 1
fi;
OUT="-o $1"
elif test $1 = "-no"
then
OUT=""
else
echo
echo $USAGE
echo
exit 1
fi;
shift
done;
#echo $#
$POLLUX -e -v -E -i $FILE -n $MAIN $OUT $*
/* communic.h provided by TNI and modified by verimag to be used by lurette */
#ifndef COMMUNICH
#define COMMUNICH
# define sortieSignal(a,b,c,d)
# define entreeSignal(a,b,c,d)
# define setOutput(a,b,c,d)
# define getInput(a,b,c,d)
# define setClock(a)
# define startProfile(a)
# define stopProfile()
# define tabIoAddress(a) state(a)
# define ptrIoAddress(a) &state(a)
# define ioAddress(a) state(a)
# define ioParam(a) a
#endif
/* config.h provided by TNI and modified by verimag to be used by lurette */
#ifndef CONFIGH
#define CONFIGH
# define state(a) _C_->a
/* was self instead of _C_ */
# define RPR(name,args1,args2) (name args2)
# define RPRDEFUN1(name, args) (name (args))
# define RPRDEFUN2(name, args1, args2) (name (args2))
# define AND ,
# define PR(name,args) name args
# define PRDEFUN(name, arglist, args) name (args)
#endif
/***************************signal4.h*******************************************
C code generation by Sildex V4
Copyright (c) CNET/TNI 1988-1996
This file contains macros and elementary function prototypes.
Suffixes provide basic typing information :
BOOL = boolean
INT32 = short
INT64 = integer
REAL32 = real
REAL64 = dreal
COMPLEX32 = complex
COMPLEX64 = dcomplex
******************************************************************************/
#ifndef SIGNALH
#define SIGNALH
#include <math.h>
/* Type declarations */
/* typedef short boolean; */
/* XXX R1 : is it ok ? */
typedef int boolean;
typedef struct {float real,im;} COMPLEX32;
typedef struct {double real,im;} COMPLEX64;
typedef unsigned char Char;
/* typedef struct {int length; char * pstring;} String; */
#define MAX_STRING 256
typedef struct {char pstring[MAX_STRING];} String;
#define reel real
#define affectArray(dest, source, size, type) {int i; for(i=0; i<size; i++) dest[i] = source[i];}
#define affectScalarToArray(dest, source, size, type) {int i; for(i=0; i<size; i++) dest[i] = source;}
#define false 0
#define true 1
/* Conversion functions*/
short cvreal2short(float);
int cvreal2integer(float);
short cvdouble2short(double);
int cvdouble2integer(double);
#define cvBOOLREAL32(a) ((a)?1.0:0.0)
#define cvBOOLREAL64(a) ((a)?(double)1.0:(double)0.0)
COMPLEX32 cvBOOLCOMPLEX32(boolean);
COMPLEX64 cvBOOLCOMPLEX64(boolean);
#define cvINT16BOOL(a) ((a)==1?(boolean)1:(boolean)0)
COMPLEX32 cvINT16COMPLEX32(short);
COMPLEX64 cvINT16COMPLEX64(short);
#define cvINT32BOOL(a) ((a)==1?(boolean)1:(boolean)0)
COMPLEX32 cvINT32COMPLEX32(long);
COMPLEX64 cvINT32COMPLEX64(long);
#define cvREAL32BOOL(a) ((a)==1.0?(boolean)1:(boolean)0)
COMPLEX32 cvREAL32COMPLEX32(float);
COMPLEX64 cvREAL32COMPLEX64(float);
#define cvREAL64BOOL(a) ((a)==1.0?(boolean)1:(boolean)0)
COMPLEX32 cvREAL64COMPLEX32(double);
COMPLEX64 cvREAL64COMPLEX64(double);
boolean cvCOMPLEX32BOOL(COMPLEX32);
short cvCOMPLEX32INT16(COMPLEX32);
long cvCOMPLEX32INT32(COMPLEX32);
float cvCOMPLEX32REAL32(COMPLEX32);
double cvCOMPLEX32REAL64(COMPLEX32);
COMPLEX64 cvCOMPLEX32COMPLEX64(COMPLEX32);
boolean cvCOMPLEX64BOOL(COMPLEX64);
short cvCOMPLEX64INT16(COMPLEX64);
long cvCOMPLEX64INT32(COMPLEX64);
float cvCOMPLEX64REAL32(COMPLEX64);
double cvCOMPLEX64REAL64(COMPLEX64);
COMPLEX32 cvCOMPLEX64COMPLEX32(COMPLEX64);
COMPLEX32 cvREAL32REAL32COMPLEX32(float, float);
COMPLEX64 cvREAL64REAL64COMPLEX64(double, double);
/* arithmetic */
COMPLEX32 addCOMPLEX32(COMPLEX32, COMPLEX32);
COMPLEX64 addCOMPLEX64(COMPLEX64, COMPLEX64);
COMPLEX32 subCOMPLEX32(COMPLEX32, COMPLEX32);
COMPLEX64 subCOMPLEX64(COMPLEX64, COMPLEX64);
COMPLEX32 oppCOMPLEX32(COMPLEX32);
COMPLEX64 oppCOMPLEX64(COMPLEX64);
COMPLEX32 mulCOMPLEX32(COMPLEX32, COMPLEX32);
COMPLEX64 mulCOMPLEX64(COMPLEX64, COMPLEX64);
COMPLEX32 divCOMPLEX32(COMPLEX32, COMPLEX32);
COMPLEX64 divCOMPLEX64(COMPLEX64, COMPLEX64);
short powINT16(short, long);
long powINT32(long, long);
#define absINT(a) ((a)>=0.0?(a):-(a))
#define absREAL32(a) ((a)>=0.0?(a):-(a))
float powREAL32(float, long);
#define absREAL64(a) ((a)>=0.0?(a):-(a))
double powREAL64(double, long);
COMPLEX32 powCOMPLEX32(COMPLEX32, long);
COMPLEX64 powCOMPLEX64(COMPLEX64, long);
/* comparisons */
boolean eqCOMPLEX32(COMPLEX32, COMPLEX32);
boolean eqCOMPLEX64(COMPLEX64, COMPLEX64);
boolean neqCOMPLEX32(COMPLEX32, COMPLEX32);
boolean neqCOMPLEX64(COMPLEX64, COMPLEX64);
#define eqSTRING(s1,s2) (strcmp((s1).pstring, (s2).pstring)==0)
#define neqSTRING(s1,s2) (strcmp((s1).pstring, (s2).pstring)!=0)
/* predefined functions */
COMPLEX32 conjCOMPLEX32(COMPLEX32);
COMPLEX64 conjCOMPLEX64(COMPLEX64);
#define rpartCOMPLEX32(a) ((a).real)
#define rpartCOMPLEX64(a) ((a).real)
#define ipartCOMPLEX32(a) ((a).im)
#define ipartCOMPLEX64(a) ((a).im)
float modCOMPLEX32(COMPLEX32);
double modCOMPLEX64(COMPLEX64);
float argCOMPLEX32(COMPLEX32);
double argCOMPLEX64(COMPLEX64);
#define bitshift(a,n) ((n)>0 ? ((a)<<(n)) : ((a)>>-(n)))
/* 16 bit Fixed-point arithmetic */
#define multfxps16(x,y) ((short)(((long)(x)*(long)(y))>>16))
#define divfxps16(shift,x,y) ((short)(((((long)(x))<<(16-shift))/(long)(y))))
/* 16/32 bit Fixed-point arithmetic, emulated by calls to floating-point standard C libraries for simulation */
#define multfxps32(x,y) ((long)((double)(x)*(double)(y)/4294967296.0))
/*#define divfxps32(x,y) ((long)(((double)(x)*4294967296.0)/(double)(y)))*/
#define divfxps32(shift,x,y) ((long)(((double)(x)*(double)(1<<(32-shift)))/(double)(y)))
#define transcend32(operat, inscale, outscale, x) ((long)((operat((double)(x)/(double)(1<<(32-inscale))))*((double)(1<<(32-outscale)))))
#define sqrtfxps32(inscale, outscale, x) (transcend32(sqrt, inscale, outscale, x))
#define cosfxps32(inscale, outscale, x) (transcend32(cos, inscale, outscale, x))
#define sinfxps32(inscale, outscale, x) (transcend32(sin, inscale, outscale, x))
#define tanfxps32(inscale, outscale, x) (transcend32(tan, inscale, outscale, x))
#define tanhfxps32(inscale, outscale, x) (transcend32(tanh, inscale, outscale, x))
#define coshfxps32(inscale, outscale, x) (transcend32(cosh, inscale, outscale, x))
#define sinhfxps32(inscale, outscale, x) (transcend32(sinh, inscale, outscale, x))
#define atanfxps32(inscale, outscale, x) (transcend32(atan, inscale, outscale, x))
#define acosfxps32(inscale, outscale, x) (transcend32(acos, inscale, outscale, x))
#define asinfxps32(inscale, outscale, x) (transcend32(asin, inscale, outscale, x))
#define expfxps32(inscale, outscale, x) (transcend32(exp, inscale, outscale, x))
#define log10fxps32(inscale, outscale, x) (transcend32(log10, inscale, outscale, x))
#define logfxps32(inscale, outscale, x) (transcend32(log, inscale, outscale, x))
#define transcend16(operat, inscale, outscale, x) ((short)((operat((double)(x)/(double)(1<<(16-inscale))))*((double)(1<<(16-outscale)))))
#define sqrtfxps16(inscale, outscale, x) (transcend16(sqrt, inscale, outscale, x))
#define cosfxps16(inscale, outscale, x) (transcend16(cos, inscale, outscale, x))
#define sinfxps16(inscale, outscale, x) (transcend16(sin, inscale, outscale, x))
#define tanfxps16(inscale, outscale, x) (transcend16(tan, inscale, outscale, x))
#define tanhfxps16(inscale, outscale, x) (transcend16(tanh, inscale, outscale, x))
#define coshfxps16(inscale, outscale, x) (transcend16(cosh, inscale, outscale, x))
#define sinhfxps16(inscale, outscale, x) (transcend16(sinh, inscale, outscale, x))
#define atanfxps16(inscale, outscale, x) (transcend16(atan, inscale, outscale, x))
#define acosfxps16(inscale, outscale, x) (transcend16(acos, inscale, outscale, x))
#define asinfxps16(inscale, outscale, x) (transcend16(asin, inscale, outscale, x))
#define expfxps16(inscale, outscale, x) (transcend16(exp, inscale, outscale, x))
#define log10fxps16(inscale, outscale, x) (transcend16(log10, inscale, outscale, x))
#define logfxps16(inscale, outscale, x) (transcend16(log, inscale, outscale, x))
#endif
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette unstable 5)
(Parent-Version lurette unstable 4)
(Version-Log "")
(Project-Version lurette 1 44)
(Parent-Version lurette unstable 5)
(Version-Log "
source/util.ml
add an entete function in order to decorate generated files.
source/solver.ml
Add more debug info in case of failure.
source/parse_luc.ml
better error message
source/env_state.ml
Fix a bug in the handling of the (undocumented) ~default option.
source/lurettetop.ml
better error message
install/configure.in
Add stuff for configuring mac os
use install instead of cp.
install/Makefile.lurette.in
user-rules
some improvements(?)
source/Makefile.lucky
source/Makefile.gen_stubs
source/Makefile.lurette_lib
source/Makefile
polka/Makefile.config
polka/Makefile
source/gen_fake_lucky.ml
source/Makefile.gen_fake_lucky
install/xlurette.sh.in
install/xlurette.bat.in
install/set_env_var.in
install/lurettetop.sh.in
install/gen_stubs.sh.in
source/exp.ml
source/luc4ocaml.mli
source/luckyDraw.mli
source/Makefile.luc4ocaml
source/Makefile.luckyDraw
examples/lucky/external_88code/foo.c
examples/lucky/external_code/call_external_c_code.luc
examples/lucky/external_code/Makefile
VERSION
install/set_env_var.bat.in
examples/Makefile
examples/ocaml/crazy-rabbit/rabbit-dir-obstacle.luc
examples/ocaml/crazy-rabbit/Makefile
examples/ocaml/crazy-rabbit/rabbit.ml
examples/rml/Makefile
examples/lucky/other/Makefile
examples/luckyDraw/c/luckyDrawC_stubs.c.m4
examples/luckyDraw/c/essai.c
examples/luckyDraw/c/Makefile
examples/luckyDraw/ocaml/Makefile
examples/xlurette/heater/Makefile
examples/xlurette/Gyro/Makefile
utils/lucky_cpp
utils/luckytolatex
source/Makefile.release
source/version.ml
source/Makefile.luc2c
examples/xlurette/fault-tolerant-heater/Makefile
examples/xlurette/tram/Makefile
examples/xlurette/Sildex/Makefile
xlurette/makefile
xlurette/xlurette_glade_main.ml
lnsw
source/luc4c_stubs.h
source/luc4c_stubs.c
source/luc4c.ml
examples/lucky/C/Makefile
source/Makefile.luc4c
examples/lucky/lustre/Makefile
Figthing with library stuff.
Add headers (time-stamps)
+ other minor changes
examples/luckyDraw/c/luckyDrawC_stubs.h
call the caml_startup() init procedure + various twix.
source/luc2c.ml
Add a --luciole option
")
(New-Version-Log ""
)
(Checkin-Time "Mon, 03 Dec 2007 17:43:18 +0100")
(Checkin-Time "Tue, 04 Dec 2007 10:47:42 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -125,7 +214,7 @@
(OcamlMakefile (lurette/17_OcamlMakef 1.55 644))
(install/Makefile.lurette.in (lurette/b/38_Makefile.l 1.39 644))
(user-rules (lurette/c/14_myrules 1.78 644))
(Makefile (lurette/d/13_Makefile 1.13 644))
(Makefile (lurette/d/13_Makefile 1.14 644))
(source/Makefile.lurettetop (lurette/d/14_Makefile.l 1.9 644))
(source/Makefile.gen_fake_lutin (lurette/d/17_Makefile.g 1.6 644))
......@@ -739,7 +828,7 @@
(source/version.ml (lurette/n/43_version.ml 1.10 644))
(source/version.ml (lurette/n/43_version.ml 1.11 644))
(source/Makefile.lutinlib (lurette/n/44_Makefile.l 1.1 644))
(source/Makefile.luc2c (lurette/n/45_Makefile.l 1.3 644))
(source/luc2c.ml (lurette/n/46_luc2c.ml 1.7 644))
......@@ -771,10 +860,7 @@
(examples/xlurette/Sildex/oracle_sildex.c (lurette/o/28_oracle_sil 1.1 644))
(examples/xlurette/Sildex/Makefile (lurette/o/29_Makefile 1.2 644))
(examples/xlurette/Sildex/env.luc (lurette/o/30_env.luc 1.1 644))
(i386-linux-gcc3/include/signal4.h (lurette/o/32_signal4.h 1.1 644))
(i386-linux-gcc3/include/ocaml2c.h (lurette/o/33_ocaml2c.h 1.1 644))
(i386-linux-gcc3/include/config.h (lurette/o/34_config.h 1.1 644))
(i386-linux-gcc3/include/communic.h (lurette/o/35_communic.h 1.1 644))
(doc/lurette-man/browse-button.jpg (lurette/q/2_browse-but 1.1 644) :no-keywords)
(doc/lurette-man/batch.jpg (lurette/q/3_batch.jpg 1.1 644) :no-keywords)
(doc/lurette-man/wearing_sensors.tex (lurette/q/4_wearing_se 1.1 644))
......@@ -788,11 +874,6 @@
(doc/lurette-man/examplereport.tex (lurette/q/12_examplerep 1.1 644))
(doc/lurette-man/desante.tex (lurette/q/13_desante.te 1.1 644))
(doc/lurette-man/Makefile (lurette/q/14_Makefile 1.2 644))
(i386-linux-gcc3/bin/sim2chrogtk (lurette/q/15_sim2chrogt 1.1 755) :no-keywords)
(i386-linux-gcc3/bin/ec2c (lurette/q/16_ec2c 1.1 755) :no-keywords)
(i386-linux-gcc3/bin/lus2ec (lurette/q/17_lus2ec 1.1 755))
(i386-linux-gcc3/bin/lusinfo (lurette/q/18_lusinfo 1.1 755))
(i386-linux-gcc3/bin/pollux (lurette/q/19_pollux 1.1 755) :no-keywords)
(i386-linux-gcc3/bin/getsaonodes (lurette/q/20_getsaonode 1.1 755))
(xlurette/makefile (lurette/q/21_makefile 1.2 644))
(xlurette/xlurette.glade (lurette/q/22_xlurette.g 1.1 644))
......
let str="unstable.4"
let str="unstable.5"
Markdown is supported
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