Commit 4f1ab1c3 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Starting a new version of the Lurette Manual.

Remove everything related to xlurette.
parent 7cd2e2b0
......@@ -214,3 +214,4 @@ examples/lutin/alice/
examples/lutin/comon/
test_old/
source/debug/
doc/lurette-man-old/*
\ No newline at end of file
The Lurette FAQ
* Using LuckyDraw or luc4ocaml, I hace errors such as :
<<luckyDraw.cmx is not a compilation unit description.>>
Certainly you are using a version of ocaml that does not match
the version of the lib it has been compiled with.
* Using lurette, I have an error message that looks like:
"
/tmp/lurette1/lurette__sut.c line 5: parse error before Ctx
...
"
-> Probably you are trying to use the Scade compiler to compile a
node named "foo". Make sure that you do not have any "foo.c" or
"foo.h" files that has been generated by the Verimag Lustre compiler
in your current directory. It might confuse Lurette.
* Using lurette, I have an error message that looks like:
"
Undefined first referenced
symbol in file
foo /tmp/lurette1/ccQihQN5.o
ld: fatal: Symbol referencing errors. No output written to lurette
collect2: ld returned 1 exit status
make: *** [scade] Error 1
"
-> it means that additional c files are need to compile you
node. This generally occurs when a program uses extern functions
or constants. For example, the scade compiler generates files such
as "foo_const.dc" or "foo_fctext.dc" that needs to be completed
and renamed "foo_const.c" resp "foo_fctext.c". One then need to
say Lurette to use it by filling the EXTRA_SOURCE_FILES entry of the
"Extra Environment Variables" window. Note that this is not a
Lurette issue, but an issue with the code generator you use (the
EXTRA_SOURCE_FILES entry filling excepted).
* It does not work.
-> Quit Lurette, and remove all generated files and try again
* It still does not work...
-> Well, then send me (erwan.jahier@imag.fr) the output messages of
*both* Lurette windows as well as the content of the ".lurette-rc"
file that should be in the directory where you launched Lurette (do
not forget to click on "save parameters" button first in order to
update the ".lurette-rc" file with the true settings you are using).
The Lurette V2 package
* What is needed
- gnu gcc
- gmp (Gnu multiple precision lib)
and optionnally
- gmp (Gnu multiple precision lib) if you want to use the C and the ocaml APIs
- gnuplot V3.8i or higher to display test data with gnuplot (via gnuplot-rif)
- gnuplot V3.8i or higher
- dot (graphviz)
- gtk-1 libs (for the GUI)
-o-
* Installation
* INSTALLATION
$ tar xvfz lurette-XXX.tgz
$ cd lurette-XXX
......@@ -23,62 +18,27 @@ This script creates in lurette-XXX/$(arch)/bin/ sh scripts that sets
enviroment variables necessary to the binaries in
lurette-XXX/$(arch)/bin to run correctly.
For example, it creates the sh script xlurette that sets the rigth
env vars and then launches xlurette_exe.
For example, it creates the sh script lurettetop that sets the rigth
env vars and then launches lurettetop_exe.
-o-
* List of provided tools
The lurette package is a set of tools that let one test and simulate
reactive programs (e.g., written in Lustre). Its heart is made of an
engine that draws (Boolean, integer and real) values according to a
non-deterministic specification written in the Lutin languages.
The provided tools are:
xlurette:
xlurette is a GUI build on top of lurettetop (see above). It is
probably your best entry point if you want to test your Lustre
programs.
Cf doc/lurette-man.pdf and/or check the tool-tip displayed when mouse
pointing at the different buttons of the GUI.
* DOCUMENTATION
lurettetop:
lurettetop is a top level loop that let one test reactive programs
written in Lustre. It is basically the non graphical version of
xlurette. You can type "help" at the prompt to see the list of
commands.
lutin:
A lutin (.lut) files interpreter.
There are also tools which are used by the ones above that one might
want to use.
sim2chro:
A timing diagram visualiser (.rif files) by Yann Rémond.
gnuplot-rif:
A program that uses gnuplot to visualise timing diagrams (.rif
files).
Also confere the tool section at the url
http://www-verimag.imag.fr/~synchron/
Try "lurettetop --help" at the command-line, or just 'lurettetop' and
then type 'help' and 'man' at the lurettetop prompt.
You can also have a look at Makefile files in the example directory.
-o-
* AUTHORS
Erwan Jahier and Pascal Raymond
-o-
* THANKS
* ACKNOWLEDGMENTS
Here is the list of tools that we used to develop this software.
Many thanks to everybody involved in the development and maintenance
......
......@@ -7,132 +7,151 @@ A4
Single
-2
1200 2
6 5085 4995 6165 6306
6 5085 4995 6165 6306
6 3240 4005 4320 5316
6 3240 4005 4320 5316
2 2 0 1 0 7 40 -1 20 0.000 0 0 -1 0 0 5
5239 5149 6165 5149 6165 6306 5239 6306 5239 5149
3394 4159 4320 4159 4320 5316 3394 5316 3394 4159
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 0 0 2
5239 5303 6165 5303
3394 4313 4320 4313
2 2 0 1 0 7 41 -1 20 0.000 0 0 -1 0 0 5
5162 5072 6088 5072 6088 6229 5162 6229 5162 5072
3317 4082 4243 4082 4243 5239 3317 5239 3317 4082
2 1 0 1 0 7 41 -1 -1 0.000 0 0 -1 0 0 2
5162 5226 6088 5226
3317 4236 4243 4236
2 1 0 1 0 7 43 -1 20 0.000 0 0 -1 0 0 2
5085 5149 6011 5149
3240 4159 4166 4159
2 2 0 1 0 7 44 -1 20 0.000 0 0 -1 0 0 5
5085 4995 6011 4995 6011 6152 5085 6152 5085 4995
3240 4005 4166 4005 4166 5162 3240 5162 3240 4005
-6
-6
6 7785 4995 8865 6306
6 7785 4995 8865 6306
6 5940 4005 7020 5316
6 5940 4005 7020 5316
2 2 0 1 0 7 40 -1 20 0.000 0 0 -1 0 0 5
7939 5149 8865 5149 8865 6306 7939 6306 7939 5149
6094 4159 7020 4159 7020 5316 6094 5316 6094 4159
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 0 0 2
7939 5303 8865 5303
6094 4313 7020 4313
2 2 0 1 0 7 41 -1 20 0.000 0 0 -1 0 0 5
7862 5072 8788 5072 8788 6229 7862 6229 7862 5072
6017 4082 6943 4082 6943 5239 6017 5239 6017 4082
2 1 0 1 0 7 41 -1 -1 0.000 0 0 -1 0 0 2
7862 5226 8788 5226
6017 4236 6943 4236
2 1 0 1 0 7 43 -1 20 0.000 0 0 -1 0 0 2
7785 5149 8711 5149
5940 4159 6866 4159
2 2 0 1 0 7 44 -1 20 0.000 0 0 -1 0 0 5
7785 4995 8711 4995 8711 6152 7785 6152 7785 4995
5940 4005 6866 4005 6866 5162 5940 5162 5940 4005
-6
-6
6 10665 4995 11745 6306
6 10665 4995 11745 6306
6 8820 4005 9900 5316
6 8820 4005 9900 5316
2 2 0 1 0 7 40 -1 20 0.000 0 0 -1 0 0 5
10819 5149 11745 5149 11745 6306 10819 6306 10819 5149
8974 4159 9900 4159 9900 5316 8974 5316 8974 4159
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 0 0 2
10819 5303 11745 5303
8974 4313 9900 4313
2 2 0 1 0 7 41 -1 20 0.000 0 0 -1 0 0 5
10742 5072 11668 5072 11668 6229 10742 6229 10742 5072
8897 4082 9823 4082 9823 5239 8897 5239 8897 4082
2 1 0 1 0 7 41 -1 -1 0.000 0 0 -1 0 0 2
10742 5226 11668 5226
8897 4236 9823 4236
2 1 0 1 0 7 43 -1 20 0.000 0 0 -1 0 0 2
10665 5149 11591 5149
8820 4159 9746 4159
2 2 0 1 0 7 44 -1 20 0.000 0 0 -1 0 0 5
10665 4995 11591 4995 11591 6152 10665 6152 10665 4995
8820 4005 9746 4005 9746 5162 8820 5162 8820 4005
-6
-6
6 10665 6885 11745 8235
6 8820 5895 9900 7245
2 2 0 1 0 7 41 -1 20 0.000 0 0 -1 0 0 5
10665 6885 11745 6885 11745 8235 10665 8235 10665 6885
8820 5895 9900 5895 9900 7245 8820 7245 8820 5895
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 0 0 2
10665 7065 11745 7065
8820 6075 9900 6075
-6
6 7582 3866 8077 4316
2 2 0 1 0 26 30 -1 20 0.000 0 0 -1 0 0 5
7582 3866 8077 3866 8077 4316 7582 4316 7582 3866
4 0 0 29 -1 18 12 0.0000 4 150 405 7627 4181 PRE\001
-6
6 10575 5940 11655 7290
2 2 0 1 0 7 41 -1 20 0.000 0 0 -1 0 0 5
10575 5940 11655 5940 11655 7290 10575 7290 10575 5940
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 0 0 2
10575 6120 11655 6120
-6
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
1 1 3.10 75.00 135.00
3330 5715 4770 5715
1485 4725 2925 4725
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 3
1 1 3.10 75.00 135.00
9810 5715 9810 7650 10665 7650
7965 4725 7965 6660 8820 6660
2 1 0 1 0 7 49 -1 -1 0.000 0 0 -1 1 0 2
1 1 3.10 75.00 135.00
8865 5715 10350 5715
7020 4725 8505 4725
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
4095 6120 2655 6120 2655 5355 4095 5355 4095 6120
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 5
1 1 3.10 75.00 135.00
9675 5715 9675 3780 1350 3780 1350 5670 2655 5670
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 2
1 1 3.10 75.00 135.00
1350 5670 1665 5670
2250 5130 810 5130 810 4365 2250 4365 2250 5130
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 4
1 1 3.10 75.00 135.00
4095 5940 4410 5940 4410 7515 4770 7515
7965 6075 5445 6075 5445 6525 6030 6525
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
6300 6615 4770 6615 4770 4680 6300 4680 6300 6615
4455 5625 2925 5625 2925 3690 4455 3690 4455 5625
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
9000 6615 7470 6615 7470 4680 9000 4680 9000 6615
7155 5625 5625 5625 5625 3690 7155 3690 7155 5625
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
11880 6615 10350 6615 10350 4680 11880 4680 11880 6615
10035 5625 8505 5625 8505 3690 10035 3690 10035 5625
2 1 0 1 0 7 49 -1 -1 0.000 0 0 -1 1 0 2
1 1 3.10 75.00 135.00
6165 5715 7470 5715
4320 4725 5625 4725
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 45.00 75.00
4770 5715 4905 5715 4905 5535 5085 5535
2925 4725 3060 4725 3060 4545 3240 4545
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 45.00 75.00
4905 5715 5175 5715
3060 4725 3330 4725
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 45.00 75.00
4770 5715 4905 5715 4905 5895 5248 5894
2925 4725 3060 4725 3060 4905 3403 4904
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 45.00 75.00
7470 5715 7605 5715 7605 5535 7785 5535
5625 4725 5760 4725 5760 4545 5940 4545
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 45.00 75.00
10350 5715 10485 5715 10485 5535 10665 5535
8505 4725 8640 4725 8640 4545 8820 4545
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 45.00 75.00
10485 5715 10755 5715
8640 4725 8910 4725
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 45.00 75.00
10350 5715 10485 5715 10485 5895 10827 5894
8505 4725 8640 4725 8640 4905 8982 4904
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 45.00 75.00
7605 5715 7875 5715
5760 4725 6030 4725
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 45.00 75.00
7470 5715 7605 5715 7605 5895 7947 5895
5625 4725 5760 4725 5760 4905 6102 4905
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 6
1 1 3.10 75.00 135.00
10035 4725 10215 4725 10215 5760 8370 5760 8370 6345 8820 6345
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 5
1 1 3.10 75.00 135.00
7830 4725 7830 2790 315 2790 315 4680 810 4680
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 2
1 1 3.10 75.00 135.00
7830 4635 7830 4320
2 4 0 2 0 31 40 -1 20 0.000 0 0 7 0 0 5
6300 7920 4770 7920 4770 7335 6300 7335 6300 7920
7560 6885 6030 6885 6030 6300 7560 6300 7560 6885
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 0 1 4
1 1 3.10 75.00 135.00
4770 7740 4410 7740 4410 8055 10665 8055
2 2 0 1 0 11 60 -1 20 0.000 0 0 -1 0 0 5
12375 8640 1215 8640 1215 3285 12375 3285 12375 8640
2 1 0 1 0 7 40 -1 -1 0.000 0 0 -1 1 0 6
6030 6750 5445 6750 5445 7065 8820 7065
2 4 0 2 0 31 50 -1 20 0.000 0 0 7 0 0 5
11610 5130 10530 5130 10530 4365 11610 4365 11610 5130
2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
1 1 3.10 75.00 135.00
11880 5715 12060 5715 12060 6750 10215 6750 10215 7335 10665 7335
2 2 0 1 0 26 30 -1 20 0.000 0 0 -1 0 0 5
1665 5445 2160 5445 2160 5895 1665 5895 1665 5445
4 0 0 40 -1 18 10 0.0000 4 120 705 2970 5760 LUCIOLE \001
4 0 0 40 -1 18 10 0.0000 4 120 720 5085 7650 sim2chro \001
4 0 0 40 -1 12 10 0.0000 4 90 270 5490 5265 ENV\001
4 0 0 40 -1 12 10 0.0000 4 90 270 8190 5265 SUT\001
4 0 0 40 -1 12 10 0.0000 4 105 630 10980 5265 oracle \001
4 0 0 40 -1 12 10 0.0000 4 105 360 10980 7020 .rif\001
4 0 0 29 -1 18 12 0.0000 4 150 405 1710 5715 PRE\001
10080 4725 10530 4725
2 1 0 1 0 7 49 -1 -1 0.000 0 0 7 1 0 2
1 1 3.10 75.00 135.00
11070 5130 11070 5895
2 2 0 1 0 11 60 -1 20 0.000 0 0 -1 0 0 5
11970 7605 90 7605 90 2520 11970 2520 11970 7605
4 0 0 40 -1 18 10 0.0000 4 120 705 1125 4770 LUCIOLE \001
4 0 0 40 -1 12 10 0.0000 4 90 270 3645 4275 ENV\001
4 0 0 40 -1 12 10 0.0000 4 90 270 6345 4275 SUT\001
4 0 0 40 -1 12 10 0.0000 4 105 630 9135 4275 oracle \001
4 0 0 40 -1 12 10 0.0000 4 105 360 9135 6030 .rif\001
4 0 0 40 -1 18 10 0.0000 4 120 720 6390 6525 sim2chro \001
4 0 0 40 -1 18 10 0.0000 4 150 795 6345 6750 gnuplot-rif\001
4 0 0 40 -1 18 10 0.0000 4 120 660 10665 4815 check-rif\001
4 0 0 40 -1 12 10 0.0000 4 75 360 10800 6075 .cov\001
.SUFFIXES=
MAIN=lurette-man
objdir=./objs
figdir=../figs
FIGS=$(objdir)/lurette-step.ps $(objdir)/windows.ps $(objdir)/para.ps \
$(objdir)/lurette-start.ps $(objdir)/lurette-try.ps \
$(objdir)/obj-code-gen.ps $(objdir)/components-diagram.ps \
$(objdir)/heater_sensors.ps
ALLTEX=sensors.tex wearing_sensors.tex heater_control.tex heater_control_env.tex touch.tex
all : $(objdir) pdf
make re
make re
.PHONY:touch.tex
touch.tex:
touch touch.tex
re : touch.tex
make pdf
pdf:touch.tex $(MAIN).pdf
cp $(objdir)/$(MAIN).pdf .
bib :
cd $(objdir); bibtex $(MAIN)
v :
xpdf $(MAIN).pdf
cp : $(MAIN).pdf
cp -f $(MAIN).pdf /usr/local/www/DIST-TOOLS/SYNCHRONE/lurette/doc/
cp -f $(MAIN).pdf /usr/local/tools/lustre-misc/lurette/doc
build:
cd ../test; make doctex; make docdot
$(objdir):
mkdir $(objdir)
$(MAIN).ps : $(objdir)/$(MAIN).dvi
cd $(objdir); dvips $(MAIN).dvi -o ../$(MAIN).ps ; cp $(MAIN).dvi ..
$(MAIN).pdf : touch.tex $(objdir)/$(MAIN).tex $(FIGS)
cd $(objdir); pdflatex $(MAIN).tex -o ../$(MAIN).pdf
$(objdir)/$(MAIN).dvi : $(objdir)/$(MAIN).tex $(FIGS)
cd $(objdir); latex $(MAIN).tex
$(objdir)/$(MAIN).tex : $(MAIN).tex $(ALLTEX)
cp $(MAIN).tex $(objdir)/$(MAIN).tex
$(objdir)/%.ps : $(figdir)/%.fig
# fig2dev -Lpstex $(figdir)/$*.fig > $(objdir)/$*.ps
# fig2dev -Lpstex_t -p $*.ps $(figdir)/$*.fig > $(objdir)/$*.tex
cp $(figdir)/$*.fig $(objdir)/$*.fig
fig2dev -Lpstex $(objdir)/$*.fig > $(objdir)/$*.ps
cd $(objdir); epstopdf $*.ps
cd $(objdir); fig2dev -Lpstex_t -p $*.pdf $*.fig > $*.tex
clean:
rm -rf $(objdir)/*
\documentclass[twoside, titlepage]{article}
\usepackage{/usr/local/common/TEXINPUTS/verimagreport}
%\usepackage{verimagreport}
%\usepackage{/usr/local/common/TEXINPUTS/verimagreport}
\usepackage{verimagreport}
\usepackage{ifthen}
%\NeedsTeXFormat{LaTeX2e}
......
Supports Markdown
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