From dd7468b787b0841a0dc23b2336223959b0bf2a4d Mon Sep 17 00:00:00 2001 From: Salvador Abreu Date: Wed, 26 May 2021 10:21:13 +0100 Subject: [PATCH] just recap --- ref-impl/sspl | Bin 36069 -> 0 bytes ref-impl/x/acker | Bin 13312 -> 0 bytes ref-impl/x/acker_c | Bin 8192 -> 0 bytes ref-impl/x/acker_cx | Bin 8192 -> 0 bytes ref-impl/x/acker_p | Bin 14336 -> 0 bytes ref-impl/x/beep | Bin 13312 -> 0 bytes ref-impl/x/fact | Bin 13312 -> 0 bytes ref-impl/x/qsort-break | Bin 17408 -> 0 bytes ref-impl/x/qsort-ints | Bin 13312 -> 0 bytes ref-impl/x/qsort-ints-p | Bin 14336 -> 0 bytes ref-impl/x/qsort-ints-temp | Bin 13312 -> 0 bytes ref-impl/x/qsort-rec | Bin 15360 -> 0 bytes ref-impl/x/qsort-stdin | Bin 41984 -> 0 bytes ref-impl/x/recurse | Bin 13312 -> 0 bytes ref-impl/x/rev | Bin 13312 -> 0 bytes ref-impl/x/rev-global | Bin 14336 -> 0 bytes ref-impl/x/reverse | Bin 13312 -> 0 bytes ref-impl/x/string-compare | Bin 19456 -> 0 bytes ref-impl/x/strings | Bin 15360 -> 0 bytes ref-impl/x/swap | Bin 14336 -> 0 bytes ref-impl/x/swap1 | Bin 14336 -> 0 bytes ref-impl/x/z | Bin 13312 -> 0 bytes runtime/sim2c | 0 runtime/test1 | Bin 17709 -> 0 bytes runtime/test3 | Bin 16509 -> 0 bytes runtime/test4 | Bin 16817 -> 0 bytes runtime/test5 | Bin 18777 -> 0 bytes sim2c-1.0.orig/sim2c | 0 sim2c-1.0.orig/sim2c-1.0/sim2c | 0 sim2c-1.0.orig/sim2c-1.0/test1 | Bin 17709 -> 0 bytes sim2c-1.0.orig/sim2c-1.0/test3 | Bin 16509 -> 0 bytes sim2c-1.0.orig/sim2c-1.0/test4 | Bin 16817 -> 0 bytes sim2c-1.0.orig/sim2c-1.0/test5 | Bin 18777 -> 0 bytes sim2c-1.0.orig/test1 | Bin 17709 -> 0 bytes sim2c-1.0.orig/test3 | Bin 16509 -> 0 bytes sim2c-1.0.orig/test4 | Bin 16817 -> 0 bytes sim2c-1.0.orig/test5 | Bin 18777 -> 0 bytes sim2c-1.0/debian/rules | 0 sim2c-1.0/sim2c | 0 sim2c-1.0/test1 | Bin 9048 -> 0 bytes sim2c-1.0/test1x | Bin 9048 -> 0 bytes sim2c-1.0/test3 | Bin 8856 -> 0 bytes sim2c-1.0/test4 | Bin 9136 -> 0 bytes sim2c-1.0/test5 | Bin 9048 -> 0 bytes sintaxe-vspl.pdf | Bin 94657 -> 0 bytes sintaxe-vspl.tex | 36 ++++++++++++++++++------------------ 46 files changed, 18 insertions(+), 18 deletions(-) mode change 100755 => 100644 ref-impl/sspl mode change 100755 => 100644 ref-impl/x/acker mode change 100755 => 100644 ref-impl/x/acker_c mode change 100755 => 100644 ref-impl/x/acker_cx mode change 100755 => 100644 ref-impl/x/acker_p mode change 100755 => 100644 ref-impl/x/beep mode change 100755 => 100644 ref-impl/x/fact mode change 100755 => 100644 ref-impl/x/qsort-break mode change 100755 => 100644 ref-impl/x/qsort-ints mode change 100755 => 100644 ref-impl/x/qsort-ints-p mode change 100755 => 100644 ref-impl/x/qsort-ints-temp mode change 100755 => 100644 ref-impl/x/qsort-rec mode change 100755 => 100644 ref-impl/x/qsort-stdin mode change 100755 => 100644 ref-impl/x/recurse mode change 100755 => 100644 ref-impl/x/rev mode change 100755 => 100644 ref-impl/x/rev-global mode change 100755 => 100644 ref-impl/x/reverse mode change 100755 => 100644 ref-impl/x/string-compare mode change 100755 => 100644 ref-impl/x/strings mode change 100755 => 100644 ref-impl/x/swap mode change 100755 => 100644 ref-impl/x/swap1 mode change 100755 => 100644 ref-impl/x/z mode change 100755 => 100644 runtime/sim2c mode change 100755 => 100644 runtime/test1 mode change 100755 => 100644 runtime/test3 mode change 100755 => 100644 runtime/test4 mode change 100755 => 100644 runtime/test5 mode change 100755 => 100644 sim2c-1.0.orig/sim2c mode change 100755 => 100644 sim2c-1.0.orig/sim2c-1.0/sim2c mode change 100755 => 100644 sim2c-1.0.orig/sim2c-1.0/test1 mode change 100755 => 100644 sim2c-1.0.orig/sim2c-1.0/test3 mode change 100755 => 100644 sim2c-1.0.orig/sim2c-1.0/test4 mode change 100755 => 100644 sim2c-1.0.orig/sim2c-1.0/test5 mode change 100755 => 100644 sim2c-1.0.orig/test1 mode change 100755 => 100644 sim2c-1.0.orig/test3 mode change 100755 => 100644 sim2c-1.0.orig/test4 mode change 100755 => 100644 sim2c-1.0.orig/test5 mode change 100755 => 100644 sim2c-1.0/debian/rules mode change 100755 => 100644 sim2c-1.0/sim2c mode change 100755 => 100644 sim2c-1.0/test1 mode change 100755 => 100644 sim2c-1.0/test1x mode change 100755 => 100644 sim2c-1.0/test3 mode change 100755 => 100644 sim2c-1.0/test4 mode change 100755 => 100644 sim2c-1.0/test5 diff --git a/ref-impl/sspl b/ref-impl/sspl old mode 100755 new mode 100644 index e3b7640..e3b7640 Binary files a/ref-impl/sspl and b/ref-impl/sspl differ diff --git a/ref-impl/x/acker b/ref-impl/x/acker old mode 100755 new mode 100644 index d561f85..d561f85 Binary files a/ref-impl/x/acker and b/ref-impl/x/acker differ diff --git a/ref-impl/x/acker_c b/ref-impl/x/acker_c old mode 100755 new mode 100644 index 6eb6f4e..6eb6f4e Binary files a/ref-impl/x/acker_c and b/ref-impl/x/acker_c differ diff --git a/ref-impl/x/acker_cx b/ref-impl/x/acker_cx old mode 100755 new mode 100644 index a6327bf..a6327bf Binary files a/ref-impl/x/acker_cx and b/ref-impl/x/acker_cx differ diff --git a/ref-impl/x/acker_p b/ref-impl/x/acker_p old mode 100755 new mode 100644 index 77b4162..77b4162 Binary files a/ref-impl/x/acker_p and b/ref-impl/x/acker_p differ diff --git a/ref-impl/x/beep b/ref-impl/x/beep old mode 100755 new mode 100644 index 7365450..7365450 Binary files a/ref-impl/x/beep and b/ref-impl/x/beep differ diff --git a/ref-impl/x/fact b/ref-impl/x/fact old mode 100755 new mode 100644 index 083c8bd..083c8bd Binary files a/ref-impl/x/fact and b/ref-impl/x/fact differ diff --git a/ref-impl/x/qsort-break b/ref-impl/x/qsort-break old mode 100755 new mode 100644 index 49a7c40..49a7c40 Binary files a/ref-impl/x/qsort-break and b/ref-impl/x/qsort-break differ diff --git a/ref-impl/x/qsort-ints b/ref-impl/x/qsort-ints old mode 100755 new mode 100644 index d5ad90b..d5ad90b Binary files a/ref-impl/x/qsort-ints and b/ref-impl/x/qsort-ints differ diff --git a/ref-impl/x/qsort-ints-p b/ref-impl/x/qsort-ints-p old mode 100755 new mode 100644 index 17ebe12..17ebe12 Binary files a/ref-impl/x/qsort-ints-p and b/ref-impl/x/qsort-ints-p differ diff --git a/ref-impl/x/qsort-ints-temp b/ref-impl/x/qsort-ints-temp old mode 100755 new mode 100644 index a551c19..a551c19 Binary files a/ref-impl/x/qsort-ints-temp and b/ref-impl/x/qsort-ints-temp differ diff --git a/ref-impl/x/qsort-rec b/ref-impl/x/qsort-rec old mode 100755 new mode 100644 index 4a1a967..4a1a967 Binary files a/ref-impl/x/qsort-rec and b/ref-impl/x/qsort-rec differ diff --git a/ref-impl/x/qsort-stdin b/ref-impl/x/qsort-stdin old mode 100755 new mode 100644 index 59648e0..59648e0 Binary files a/ref-impl/x/qsort-stdin and b/ref-impl/x/qsort-stdin differ diff --git a/ref-impl/x/recurse b/ref-impl/x/recurse old mode 100755 new mode 100644 index e4cd069..e4cd069 Binary files a/ref-impl/x/recurse and b/ref-impl/x/recurse differ diff --git a/ref-impl/x/rev b/ref-impl/x/rev old mode 100755 new mode 100644 index eaf00e6..eaf00e6 Binary files a/ref-impl/x/rev and b/ref-impl/x/rev differ diff --git a/ref-impl/x/rev-global b/ref-impl/x/rev-global old mode 100755 new mode 100644 index 122ed34..122ed34 Binary files a/ref-impl/x/rev-global and b/ref-impl/x/rev-global differ diff --git a/ref-impl/x/reverse b/ref-impl/x/reverse old mode 100755 new mode 100644 index 5d72ac3..5d72ac3 Binary files a/ref-impl/x/reverse and b/ref-impl/x/reverse differ diff --git a/ref-impl/x/string-compare b/ref-impl/x/string-compare old mode 100755 new mode 100644 index aae4a13..aae4a13 Binary files a/ref-impl/x/string-compare and b/ref-impl/x/string-compare differ diff --git a/ref-impl/x/strings b/ref-impl/x/strings old mode 100755 new mode 100644 index 3131bd9..3131bd9 Binary files a/ref-impl/x/strings and b/ref-impl/x/strings differ diff --git a/ref-impl/x/swap b/ref-impl/x/swap old mode 100755 new mode 100644 index ffc2a64..ffc2a64 Binary files a/ref-impl/x/swap and b/ref-impl/x/swap differ diff --git a/ref-impl/x/swap1 b/ref-impl/x/swap1 old mode 100755 new mode 100644 index 34c4e2a..34c4e2a Binary files a/ref-impl/x/swap1 and b/ref-impl/x/swap1 differ diff --git a/ref-impl/x/z b/ref-impl/x/z old mode 100755 new mode 100644 index 2c05af3..2c05af3 Binary files a/ref-impl/x/z and b/ref-impl/x/z differ diff --git a/runtime/sim2c b/runtime/sim2c old mode 100755 new mode 100644 index 5a80f96..5a80f96 --- a/runtime/sim2c +++ b/runtime/sim2c diff --git a/runtime/test1 b/runtime/test1 old mode 100755 new mode 100644 index c9e43ad..c9e43ad Binary files a/runtime/test1 and b/runtime/test1 differ diff --git a/runtime/test3 b/runtime/test3 old mode 100755 new mode 100644 index 7697d58..7697d58 Binary files a/runtime/test3 and b/runtime/test3 differ diff --git a/runtime/test4 b/runtime/test4 old mode 100755 new mode 100644 index 5237d08..5237d08 Binary files a/runtime/test4 and b/runtime/test4 differ diff --git a/runtime/test5 b/runtime/test5 old mode 100755 new mode 100644 index 6aeeae2..6aeeae2 Binary files a/runtime/test5 and b/runtime/test5 differ diff --git a/sim2c-1.0.orig/sim2c b/sim2c-1.0.orig/sim2c old mode 100755 new mode 100644 index 5a80f96..5a80f96 --- a/sim2c-1.0.orig/sim2c +++ b/sim2c-1.0.orig/sim2c diff --git a/sim2c-1.0.orig/sim2c-1.0/sim2c b/sim2c-1.0.orig/sim2c-1.0/sim2c old mode 100755 new mode 100644 index 5a80f96..5a80f96 --- a/sim2c-1.0.orig/sim2c-1.0/sim2c +++ b/sim2c-1.0.orig/sim2c-1.0/sim2c diff --git a/sim2c-1.0.orig/sim2c-1.0/test1 b/sim2c-1.0.orig/sim2c-1.0/test1 old mode 100755 new mode 100644 index c9e43ad..c9e43ad Binary files a/sim2c-1.0.orig/sim2c-1.0/test1 and b/sim2c-1.0.orig/sim2c-1.0/test1 differ diff --git a/sim2c-1.0.orig/sim2c-1.0/test3 b/sim2c-1.0.orig/sim2c-1.0/test3 old mode 100755 new mode 100644 index 7697d58..7697d58 Binary files a/sim2c-1.0.orig/sim2c-1.0/test3 and b/sim2c-1.0.orig/sim2c-1.0/test3 differ diff --git a/sim2c-1.0.orig/sim2c-1.0/test4 b/sim2c-1.0.orig/sim2c-1.0/test4 old mode 100755 new mode 100644 index 5237d08..5237d08 Binary files a/sim2c-1.0.orig/sim2c-1.0/test4 and b/sim2c-1.0.orig/sim2c-1.0/test4 differ diff --git a/sim2c-1.0.orig/sim2c-1.0/test5 b/sim2c-1.0.orig/sim2c-1.0/test5 old mode 100755 new mode 100644 index 6aeeae2..6aeeae2 Binary files a/sim2c-1.0.orig/sim2c-1.0/test5 and b/sim2c-1.0.orig/sim2c-1.0/test5 differ diff --git a/sim2c-1.0.orig/test1 b/sim2c-1.0.orig/test1 old mode 100755 new mode 100644 index c9e43ad..c9e43ad Binary files a/sim2c-1.0.orig/test1 and b/sim2c-1.0.orig/test1 differ diff --git a/sim2c-1.0.orig/test3 b/sim2c-1.0.orig/test3 old mode 100755 new mode 100644 index 7697d58..7697d58 Binary files a/sim2c-1.0.orig/test3 and b/sim2c-1.0.orig/test3 differ diff --git a/sim2c-1.0.orig/test4 b/sim2c-1.0.orig/test4 old mode 100755 new mode 100644 index 5237d08..5237d08 Binary files a/sim2c-1.0.orig/test4 and b/sim2c-1.0.orig/test4 differ diff --git a/sim2c-1.0.orig/test5 b/sim2c-1.0.orig/test5 old mode 100755 new mode 100644 index 6aeeae2..6aeeae2 Binary files a/sim2c-1.0.orig/test5 and b/sim2c-1.0.orig/test5 differ diff --git a/sim2c-1.0/debian/rules b/sim2c-1.0/debian/rules old mode 100755 new mode 100644 index 95b7d10..95b7d10 --- a/sim2c-1.0/debian/rules +++ b/sim2c-1.0/debian/rules diff --git a/sim2c-1.0/sim2c b/sim2c-1.0/sim2c old mode 100755 new mode 100644 index 95d0c55..95d0c55 --- a/sim2c-1.0/sim2c +++ b/sim2c-1.0/sim2c diff --git a/sim2c-1.0/test1 b/sim2c-1.0/test1 old mode 100755 new mode 100644 index 99c3ac6..99c3ac6 Binary files a/sim2c-1.0/test1 and b/sim2c-1.0/test1 differ diff --git a/sim2c-1.0/test1x b/sim2c-1.0/test1x old mode 100755 new mode 100644 index b225463..b225463 Binary files a/sim2c-1.0/test1x and b/sim2c-1.0/test1x differ diff --git a/sim2c-1.0/test3 b/sim2c-1.0/test3 old mode 100755 new mode 100644 index f9db003..f9db003 Binary files a/sim2c-1.0/test3 and b/sim2c-1.0/test3 differ diff --git a/sim2c-1.0/test4 b/sim2c-1.0/test4 old mode 100755 new mode 100644 index 80d6cfe..80d6cfe Binary files a/sim2c-1.0/test4 and b/sim2c-1.0/test4 differ diff --git a/sim2c-1.0/test5 b/sim2c-1.0/test5 old mode 100755 new mode 100644 index 962e235..962e235 Binary files a/sim2c-1.0/test5 and b/sim2c-1.0/test5 differ diff --git a/sintaxe-vspl.pdf b/sintaxe-vspl.pdf index a38c994..27e2895 100644 Binary files a/sintaxe-vspl.pdf and b/sintaxe-vspl.pdf differ diff --git a/sintaxe-vspl.tex b/sintaxe-vspl.tex index ea3ce49..e758cbb 100644 --- a/sintaxe-vspl.tex +++ b/sintaxe-vspl.tex @@ -3,12 +3,12 @@ \usepackage{pslatex} \usepackage{a4wide} %\usepackage{isolatin1} -\usepackage{latin1} +%\usepackage{latin1} \usepackage[portuges]{babel} -\usepackage{picins} +%\usepackage{picins} -\defõ{\~o} -\defÕ{\~O} +%\defõ{\~o} +%\defÕ{\~O} \begin{document} @@ -18,26 +18,26 @@ \begin{center} \begin{Large} - \textsf{Compiladores -- Ano lectivo 2011/12} + \textsf{Compiladores -- Ano lectivo 2020/21} \textbf{Linguagem \LANG} \\ \end{Large} \mbox{}\\ \hrulefill{} \begin{center} - Informação de versão: \verb$Id: sintaxe-vspl.tex,v 1.3 2012/03/09 08:02:10 spa Exp $ + (Versão de 2021.03.15) \end{center} \end{center} -\noindent \hrulefill{} {\Large Especificação} \hrulefill{} +\noindent \hrulefill{} {\Large Especificação} \hrulefill{} \let\tplsec\section \let\tplsubsec\subsection \input{../teoricas/prog-lang.tex} -\tplsec{Restrições à Linguagem} +\tplsec{Restrições à Linguagem} -Para facilitar a implementação dum compilador para \LANG{}, são -impostas algumas restrições à linguagem, que seguem: +Para facilitar a implementação dum compilador para \LANG{}, são +impostas algumas restrições à linguagem, que seguem: \begin{enumerate} \item Tipos de dados: s\'o existem os tipos inteiro, booleano e os constructores de tipo array, tuplo e fun\c c\~ao. Em particular @@ -65,7 +65,7 @@ impostas algumas restrições à linguagem, que seguem: % Initial revision % % Revision 1.10 2006/10/19 07:13:25 spa -% Mods para 2006/07: uniformização com slides. +% Mods para 2006/07: uniformização com slides. % % Revision 1.9 2006/10/19 06:46:06 spa % *** empty log message *** @@ -74,34 +74,34 @@ impostas algumas restrições à linguagem, que seguem: % *** empty log message *** % % Revision 1.7 2002/12/11 08:02:33 spa -% Ultima versão antes de incluir nos apontamentos. +% Ultima versão antes de incluir nos apontamentos. % % Revision 1.6 2002/11/06 14:57:10 spa % *** empty log message *** % % Revision 1.5 2002/10/24 09:32:46 spa -% Versão apresentada aos alunos hoje. +% Versão apresentada aos alunos hoje. % % Revision 1.4 2002/10/24 07:58:15 spa -% 1ª versão para 2002/03. +% 1ª versão para 2002/03. % % Revision 1.3 2002/10/24 07:25:33 spa -% Início da versão TPL-03 +% Início da versão TPL-03 % % Revision 1.2 2002/10/24 06:52:10 spa -% Versão usada em 2001/02. +% Versão usada em 2001/02. % % Revision 1.1 2002/03/26 11:35:32 spa % Initial revision % % Revision 1.4 2001/03/25 23:44:03 spa -% Correcções de Português. +% Correcções de Português. % % Revision 1.3 2001/03/20 11:56:07 spa % Footnote re. TPL evoluir. % % Revision 1.2 2001/03/20 11:16:58 spa -% subsection -> subsubsection em dois sítios. +% subsection -> subsubsection em dois sítios. % % Revision 1.1 2001/03/20 11:14:38 spa % Initial revision -- libgit2 0.21.2