Commit 66bf095a authored by erwan's avatar erwan
Browse files

Add a grammar file under CC licence

parent 6e10b5ef
......@@ -63,7 +63,7 @@ PARSER=$(OBJPDF)/lv6parser.tex
-include ./Makefile.local
all: $(OBJPDF) $(MAIN).pdf
all: $(OBJPDF) $(MAIN).pdf lv6grammarlicence.tex
.PHONY: dofigs
dofigs: $(FIGS)
......@@ -89,6 +89,10 @@ $(MAIN).pdf : $(PARSER) $(SRCS) $(LUS2TEX) $(SUMMARY) $(FIGS) $(OBJPDF)/version
(cd objpdf; pdflatex ../$(MAIN).tex )
mv objpdf/$(MAIN).pdf .
lv6grammarlicence.pdf: lv6grammarlicence.tex $(PARSER) $(OBJPDF)/version.tex
cp $< $(OBJPDF)
(cd objpdf; pdflatex ../$< )
mv objpdf/$@ .
#------------------------------
# Special : fig 2 latex 2 pdf
......
......@@ -602,6 +602,9 @@ tt \\
\end{tabular}
\end{center}
Note that calling \prog{current} on a stream that is already on the
base clock is an error.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
......
\input{preambule}
\input{version}
\usepackage[
type={CC},
modifier={by},
version={4.0},
]{doclicense}
\title{The Lustre V6 Grammar Rules}
\author{Erwan Jahier, Pascal Raymond, Nicolas Halbwachs}
\date{
Software Version: \version{}
(\versiondate) }
\begin{document}
%\maketitlepage
\maketitle
\doclicenseThis
\newpage
\newcommand{\lsx}[1]{{ \bf $\langle$\mbox{\it \hyperlink{#1}{#1}$\rangle$}}}
\newcommand{\lsxDef}[1]{{\bf $\langle$\mbox{\it \hypertarget{#1}{#1}$\rangle$}}}
\newcommand{\mygrammar}[1]{
% \begin{grammarrule}
\begin{longtable}{lrl}
#1
\end{longtable}
% \end{grammarrule}
}
\input{lv6parser}
We recall that grammar rules are given using an extended BNF notation, where
non-terminals are written \lsxDef{like\_this} and terminals \lx{like
that}. All non-terminals (should) have pdf internal links to ease the reading.
\begin{itemize}
\item
One-line comments start with \key{--} and stop at the the end of the
line.
\item
Multi-line comments start with '\key{(*}' and end at the next following
'\key{*)}' ('\key{/*}' and '\key{*/}' also work).
Multi-line comments cannot be nested.
\item \bnfleftident{TK\_IDENT} stands for identifier: \bnftoken{[\_a-zA-Z][\_a-zA-Z0-9]*}
\item \bnfleftident{TK\_LONGIDENT} stands for pointed (or long)
identifier, that is, two identifiers separated by a double colon:
\bnfleftident{TK\_IDENT}\bnftoken{::}\bnfleftident{TKIDENT}
% \bnftoken{[\_a-zA-Z][\_a-zA-Z0-9]*}\bnftoken{::}\bnftoken{[\_a-zA-Z][\_a-zA-Z0-9]*} ,
\end{itemize}
% so that links remain inside the appendix
\gdef\bnfleftident#1{%
\bf $\langle$\mbox{\it \hypertarget{alt#1}{#1}$\rangle$}
}%
\gdef\bnfrightident#1{%
{\bf $\langle$\mbox{\it \hyperlink{alt#1}{#1}$\rangle$}}
}%
\ebnftable
\end{document}
==> lus2lic0.sum <==
Test run by jahier on Fri Jun 19 16:31:25
Test run by jahier on Thu Jul 16 16:02:36
Native configuration is x86_64-pc-linux-gnu
=== lus2lic0 tests ===
......@@ -66,7 +66,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
==> lus2lic1.sum <==
Test run by jahier on Fri Jun 19 16:31:26
Test run by jahier on Thu Jul 16 16:02:36
Native configuration is x86_64-pc-linux-gnu
=== lus2lic1 tests ===
......@@ -413,7 +413,7 @@ PASS: ./lus2lic {-2c multipar.lus -n multipar}
PASS: sh multipar.sh
==> lus2lic2.sum <==
Test run by jahier on Fri Jun 19 16:31:48
Test run by jahier on Thu Jul 16 16:02:59
Native configuration is x86_64-pc-linux-gnu
=== lus2lic2 tests ===
......@@ -753,7 +753,7 @@ PASS: sh zzz2.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
Test run by jahier on Fri Jun 19 16:32:18
Test run by jahier on Thu Jul 16 16:03:31
Native configuration is x86_64-pc-linux-gnu
=== lus2lic3 tests ===
......@@ -1267,7 +1267,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
Test run by jahier on Fri Jun 19 16:33:00
Test run by jahier on Thu Jul 16 16:04:14
Native configuration is x86_64-pc-linux-gnu
=== lus2lic4 tests ===
......@@ -1759,7 +1759,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
# of expected failures 54
==> lus2lic1.sum <==
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 33923 {}
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 38449 {}
=== lus2lic1 Summary ===
......@@ -1787,14 +1787,14 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 33923
# of unexpected failures 6
===============================
# Total number of failures: 10
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 22 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 30 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 42 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 20 seconds
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 23 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 32 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 43 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 21 seconds
* Ref time:
69.10user 14.89system 1:55.13elapsed 72%CPU (0avgtext+0avgdata 42100maxresident)k
0inputs+151576outputs (0major+8407303minor)pagefaults 0swaps
70.94user 15.61system 1:59.12elapsed 72%CPU (0avgtext+0avgdata 42400maxresident)k
24inputs+151584outputs (0major+8407741minor)pagefaults 0swaps
* Quick time (-j 4):
83.76user 16.48system 1:23.56elapsed 119%CPU (0avgtext+0avgdata 42296maxresident)k
0inputs+150184outputs (0major+8362589minor)pagefaults 0swaps
101.95user 20.24system 1:42.06elapsed 119%CPU (0avgtext+0avgdata 42568maxresident)k
14576inputs+147936outputs (15major+8232208minor)pagefaults 0swaps
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