May 2014 - Projects

havm: branch master updated: havm-0.25-11-gf2d7b4e
by git＠lrde.epita.fr 06 May '14

06 May '14

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "HAVM, a Tree intermediate language interpreter". The branch master has been updated via f2d7b4e2fc053aa06c4172aa4ce4a68ef6dba027 (commit) via 54d9b4cd2dea5c7047c7ecccc58de01cecd81e4c (commit) via 1acc62f1b2df50537435059bcd816c65319d5efc (commit) via 86cd1ed61db693e9e39c5f9f15225a7c7c55a81b (commit) from 41c602c0e0f26580127fc6ab08e1ac7131b3baa1 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- f2d7b4e Convert to UTF-8. 54d9b4c Update doc remote installation settings to target the new location. 1acc62f Update the builtins documentation. 86cd1ed Fix and update copyright years. ----------------------------------------------------------------------- Summary of changes: AUTHORS | 7 +++++-- ChangeLog | 13 +++++++------ Makefile.am | 4 +++- NEWS | 4 ++-- README | 3 ++- THANKS | 4 ++-- TODO | 7 ++++--- configure.ac | 4 +++- debian/copyright | 4 ++-- doc/Makefile.am | 10 +++++----- doc/builtins.texi | 2 +- doc/havm.texi | 10 +++++++--- src/Makefile.am | 4 +++- src/Opt.hs | 3 ++- tests/cmp.test | 2 +- tests/defs.in | 2 +- tests/trace.test | 2 +- 17 files changed, 51 insertions(+), 34 deletions(-) hooks/post-receive -- HAVM, a Tree intermediate language interpreter

1 0

havm: havm-0.25-11-gf2d7b4e Convert to UTF-8.
by Roland Levillain 06 May '14

06 May '14

* THANKS, * TODO, * doc/havm.texi: Here. --- ChangeLog | 10 +++++----- THANKS | 4 ++-- TODO | 4 ++-- doc/havm.texi | 5 +++-- 4 files changed, 12 insertions(+), 11 deletions(-) diff --git a/ChangeLog b/ChangeLog index 70c8542..febbd1e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -335,7 +335,7 @@ 2005-06-14 Roland Levillain <roland(a)lrde.epita.fr> - * doc/havm.texi (HIR): Add � \' � to the list of escapes supported + * doc/havm.texi (HIR): Add « \' » to the list of escapes supported in literals. 2005-06-14 Roland Levillain <roland(a)lrde.epita.fr> @@ -528,17 +528,17 @@ (version_message): New. Remove a few extra $. -2003-08-13 Beno�t Perrot <benoit(a)lrde.epita.fr> +2003-08-13 Benoît Perrot <benoit(a)lrde.epita.fr> * src/RuntimeCommon.hs (rtError): Display error message on stdout. -2003-08-13 Beno�t Perrot <benoit(a)lrde.epita.fr> +2003-08-13 Benoît Perrot <benoit(a)lrde.epita.fr> * src/RuntimeCommon.hs (rtError): Distribute rtError. * src/RuntimeSubstring.hs (rtSubstring), src/RuntimeChar.hs (rtChr): Use rtError() instead of error(). -2003-08-13 Beno�t Perrot <benoit(a)lrde.epita.fr> +2003-08-13 Benoît Perrot <benoit(a)lrde.epita.fr> * src/RuntimeSubstring.hs (rtSubstring): Check bounds. * src/RuntimeChar.hs (rtChr) : Check bounds. @@ -1202,7 +1202,7 @@ Copyright (C) 2002-2003 Robert Anisko Copyright (C) 2003-2007, 2009, 2011-2013 Laboratoire de Recherche et -D�veloppement de l'EPITA +Développement de l'EPITA This file is part of HAVM. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General diff --git a/THANKS b/THANKS index 54315be..db57b56 100644 --- a/THANKS +++ b/THANKS @@ -6,13 +6,13 @@ People who contributed to Havm: * Roland Levillain roland(a)lrde.epita.fr - More builtins -* Yann R�gis-Gianas yann.regisgianas(a)gmail.com +* Yann Régis-Gianas yann.regisgianas(a)gmail.com - Port to GHC 6.4 * Pablo Oliveira pablo(a)sifflez.org - Patch scanner -* Th�ophile Ranquet ranquet(a)lrde.epita.fr +* Théophile Ranquet ranquet(a)lrde.epita.fr - Version 0.25 Local Variables: diff --git a/TODO b/TODO index 3bbeae0..7c55633 100644 --- a/TODO +++ b/TODO @@ -11,8 +11,8 @@ This should explicitly be handled by the students, instead of this silly "label end" stuff. * Main/main -Autrefois on appelait main "Main", et pour la compatibilit� arri�re, -j'aimerais que HAVM lance main si pr�sente, � d�faut Main, � d�faut +Autrefois on appelait main "Main", et pour la compatibilité arrière, +j'aimerais que HAVM lance main si présente, à défaut Main, à défaut meurt. * Fixing the handling of jumps. diff --git a/doc/havm.texi b/doc/havm.texi index b9c776b..837c7c5 100644 --- a/doc/havm.texi +++ b/doc/havm.texi @@ -5,6 +5,7 @@ @settitle Havm @value{VERSION} @setchapternewpage odd @finalout +@documentencoding UTF-8 @comment %**end of header @c @href(URL, TITLE) @@ -123,9 +124,9 @@ Information about @havm{} can be found on @href{@wiki{}/Projects/Havm, @havm{} Home Page}, and feedback can be sent to @href{projects@@lrde.epita.fr, @acronym{lrde}'s Projects Address}. @acronym{LRDE} stands for @href{http://www.lrde.epita.fr, Laboratoire de -Recherche et D�velopment de l'@acronym{EPITA}}, i.e., the Research and +Recherche et Dévelopment de l'@acronym{EPITA}}, i.e., the Research and Development Labof @acronym{EPITA}, the @href{http://www.epita.fr, Ecole -Pour l'Informatique et les Techniques Avanc�es}. +Pour l'Informatique et les Techniques Avancées}. @href{FIXME:, Andrew Appel's home page} includes links to material related to compilers theory, and some information about the -- 1.7.10.4

1 0

havm: havm-0.25-10-g54d9b4c Update doc remote installation settings to target the new location.
by Roland Levillain 06 May '14

06 May '14

* doc/Makefile.am (install_doc_user, install_doc_host, install_doc_dir): Here. --- doc/Makefile.am | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index 91504cc..13af4a6 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,4 +1,4 @@ -## Copyright (C) 2003, 2005, 2013 EPITA Research and Development +## Copyright (C) 2003, 2005, 2013, 2014 EPITA Research and Development ## Laboratory (LRDE) ## This file is part of HAVM. This program is free software; you can @@ -24,9 +24,9 @@ clean-local: rm -rf havm.t2d # Installing the documentation for students. -install_doc_user = akim -install_doc_host = www.lrde.epita.fr -install_doc_dir = www/ccmp/doc +install_doc_user = tiger +install_doc_host = perso.lrde.epita.fr +install_doc_dir = www/doc .PHONY: install-doc-remote install-doc-remote: havm.html scp $^ "$(install_doc_user)@$(install_doc_host):$(install_doc_dir)" -- 1.7.10.4

1 0

havm: havm-0.25-9-g1acc62f Update the builtins documentation.
by Roland Levillain 06 May '14

06 May '14

* doc/builtins.texi: Sync with tc-assignments. --- doc/builtins.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/builtins.texi b/doc/builtins.texi index cb1fe15..14e0f1a 100644 --- a/doc/builtins.texi +++ b/doc/builtins.texi @@ -42,7 +42,7 @@ Return the address of a freshly allocated block of memory of size @c This is because of a bug in Texinfo that we can use @deffnx inside @c a @ifset here. @deffn int not (@var{boolean}: int) -Return 1 if @var{boolean} = 1, else return 0. +Return 1 if @var{boolean} = 0, else return 1. @end deffn @ifset havm -- 1.7.10.4

1 0