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
* 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
* 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