Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
fda65e93
Commit
fda65e93
authored
Mar 30, 2019
by
erwan
Browse files
Docs: update the Lutin tuto
parent
452e17d5
Pipeline
#21917
passed with stages
in 8 minutes and 34 seconds
Changes
8
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
Makefile.dev
View file @
fda65e93
...
...
@@ -16,7 +16,7 @@
###############################
# typical workflow:
# uv -> cia -> amend* -> push ->
# uv ->
[
cia -> amend*
]+
-> push ->
# wait for gitlab release job -> pull (to get the release tag)
# and then; optionnaly, to release an opam version:
# opam-rel
...
...
doc/lutin-tuto/Makefile
View file @
fda65e93
...
...
@@ -52,6 +52,8 @@ re :
x
:
xpdf
-fullscreen
$(MAIN)
-pdf
.pdf
y
:
xpdf
$(MAIN)
-pdf
.pdf
fig
:
$(OBJDIR)
make
$(FIGPDF)
...
...
doc/lutin-tuto/decr.lut
View file @
fda65e93
node
incr
(
x
:
int
)
returns
(
y
:
int
)
=
loop
y
=
x
+
1
loop
y
=
x
+
2
node
decr
(
y
:
int
)
returns
(
x
:
int
)
=
x
=
42
fby
loop
x
=
y
-
1
doc/lutin-tuto/emacs-org.el
View file @
fda65e93
...
...
@@ -38,7 +38,7 @@
'
((
emacs-lisp
.
t
)
(
ocaml
.
t
)
(
lutin
.
t
)
(
rif
.
t
)
;
(rif . t)
(
sh
.
t
)
)
)
...
...
doc/lutin-tuto/lutin-tuto-html.org
View file @
fda65e93
...
...
@@ -345,21 +345,21 @@ can use two tools that are part of the ~lutin~ distribution:
#+INCLUDE: "./decr.lut" src lutin
#+begin_src sh :tangle sh/lurette-demo.sh :exports none :noweb yes
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr" &&\
cat rdbg.rif |
sim2chrogtk -ecran > /dev/null
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr"
-o res.rif
&&\
sim2chrogtk -ecran
-in res.rif
> /dev/null
#+end_src
{{{run(./sh/lurette-demo.sh,
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr"
<prompt> cat rdbg.rif | sim2chrogtk -ecran > /dev/null
)}}}
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr -o res.rif")}}}
{{{run(./sh/lurette-demo.sh,
sim2chrogtk -ecran -in res.rif > /dev/null)}}}
{{{htmlonly([[./png/lurette-sim2chro.png]])}}}
# \vspace{-4cm}
{{{pdfhtml(
\includegraphics[width=8.5cm]{jpg/geluck-echec.jpg},
...
...
doc/lutin-tuto/lutin-tuto-pdf.org
View file @
fda65e93
...
...
@@ -218,21 +218,21 @@ It is possible to store the lutin RIF output into a file using the
#+INCLUDE: "./decr.lut" src lutin
#+begin_src sh :tangle sh/lurette-demo.sh :exports none :noweb yes
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr" &&\
cat rdbg.rif |
sim2chrogtk -ecran > /dev/null
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr"
-o res.rif
&&\
sim2chrogtk -ecran
-in res.rif
> /dev/null
#+end_src
{{{run(./sh/lurette-demo.sh,
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr"
<prompt> cat rdbg.rif | sim2chrogtk -ecran > /dev/null
)}}}
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr -o res.rif")}}}
{{{run(./sh/lurette-demo.sh,
sim2chrogtk -ecran -in res.rif > /dev/null)}}}
{{{htmlonly([[./png/lurette-sim2chro.png]])}}}
\pause
# \vspace{-4cm}
{{{pdfhtml(
\includegraphics[width=8.5cm]{jpg/geluck-echec.jpg},
...
...
doc/lutin-tuto/main.org
View file @
fda65e93
...
...
@@ -301,21 +301,21 @@ html.
#+INCLUDE: "./decr.lut" src lutin
#+begin_src sh :tangle sh/lurette-demo.sh :exports none :noweb yes
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr" &&\
cat rdbg.rif |
sim2chrogtk -ecran > /dev/null
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr"
-o res.rif
&&\
sim2chrogtk -ecran
-in res.rif
> /dev/null
#+end_src
{{{run(./sh/lurette-demo.sh,
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr"
<prompt> cat rdbg.rif | sim2chrogtk -ecran > /dev/null
)}}}
lurette -sut "lutin decr.lut -n incr" -env "lutin decr.lut -n decr" -o res.rif)}}}
{{{run(./sh/lurette-demo.sh,
sim2chrogtk -ecran -in res.rif > /dev/null)}}}
{{{htmlonly([[./png/lurette-sim2chro.png]])}}}
\pause
# \vspace{-4cm}
{{{pdfhtml(
\includegraphics[width=8.5cm]{jpg/geluck-echec.jpg},
...
...
lutin/src/lutinRun.ml
View file @
fda65e93
(* Time-stamp: <modified the
05
/0
7
/201
8
(at
14:20
) by Erwan Jahier> *)
(* Time-stamp: <modified the
29
/0
3
/201
9
(at
08:36
) by Erwan Jahier> *)
(**********************************************************************************)
type
vars
=
(
string
*
Data
.
t
)
list
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment