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 ac93a91b0d3537621a4d64619e217ab27ee47025 (commit)
via e1f8060a6baf6a6ba262ba282944f784aec94b48 (commit)
via b64d9b224ac338a88733ac1a01323a5f214e8994 (commit)
via cbc954b1d28ac0352dc8e9c584ab2d9b27602298 (commit)
via d3b5c93be88dd1e1dc18f7647ad49a050cba0c14 (commit)
from f2d7b4e2fc053aa06c4172aa4ce4a68ef6dba027 (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 -----------------------------------------------------------------
ac93a91 Regen ChangeLog for version 0.26.
e1f8060 Version 0.26.
b64d9b2 Update copyright notices.
cbc954b checkLow should occur before plaining.
d3b5c93 Arithmetic overflow should wrap around.
-----------------------------------------------------------------------
Summary of changes:
.last-cl-gen | 2 +-
AUTHORS | 20 ++++----
ChangeLog | 137 ++++++++++++++++++++++++++++++++++++++++++++++----
Makefile.am | 20 ++++----
NEWS | 29 +++++++----
README | 20 ++++----
THANKS | 1 +
TODO | 20 ++++----
configure.ac | 24 +++++----
doc/Makefile.am | 30 +++++------
src/Main.hs | 4 +-
src/Makefile.am | 20 ++++----
src/Opt.hs | 2 +-
src/StdBinop.hs | 15 ++++--
tests/Makefile.am | 15 ++++--
tests/cmp.test | 13 ++---
tests/defs.in | 12 ++---
tests/nestedseq.hir | 8 +++
tests/nestedseq.test | 23 +++++++++
tests/overflow.lir | 14 ++++++
tests/overflow.out | 1 +
tests/overflow.test | 30 +++++++++++
tests/trace.test | 13 ++---
23 files changed, 348 insertions(+), 125 deletions(-)
create mode 100644 tests/nestedseq.hir
create mode 100755 tests/nestedseq.test
create mode 100644 tests/overflow.lir
create mode 100644 tests/overflow.out
create mode 100755 tests/overflow.test
hooks/post-receive
--
HAVM, a Tree intermediate language interpreter
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 annotated tag havm-0.26 has been created
at a416c69cbc3e03010200c3430889b9d52764a30a (tag)
tagging ac93a91b0d3537621a4d64619e217ab27ee47025 (commit)
replaces havm-0.25
tagged by Roland Levillain
on Tue May 6 16:33:39 2014 +0200
- Log -----------------------------------------------------------------
HAVM 0.26.
Pablo de Oliveira (2):
Arithmetic overflow should wrap around.
checkLow should occur before plaining.
Roland Levillain (14):
Regen ChangeLog.
Version 0.25a.
Fix build issues with GHC 7.4.
Make recent versions of GHC enable all RTS options.
Change HAVM's bug report e-mail address.
Add a target to install HAVM's documentation on the Web.
Add a rule to update ChangeLog using Git commit messages.
Fix and update copyright years.
Update the builtins documentation.
Update doc remote installation settings to target the new location.
Convert to UTF-8.
Update copyright notices.
Version 0.26.
Regen ChangeLog for version 0.26.
-----------------------------------------------------------------------
hooks/post-receive
--
HAVM, a Tree intermediate language interpreter
On 11/04/2014 22:16, Pablo Oliveira wrote:
> Dear HAVM maintainers,
Dear Pablo,
> Currently havm --low fails to reject some invalid LIR programs such as:
>
> label main
> seq
> seq
> sxp
> const 0
> seq end
> seq end
> label end
>
> Because "plaining" step comes first, and removes unneeded nested seqs, checkLow fails to see that the original program contains nested seqs.
>
> Attached is a tentative patch that fixes this.
Thank you for your patch! I'll apply it to for the next release of HAVM.
> PS: Roland, Akim, sorry for directly CCing you. But since my last week messages to projects(a)lrde.epita.fr list went unanswered (http://lists.lrde.epita.fr/pipermail/projects/2014-April/thread.html), I'm not sure if the list is active anymore :)
The list is still active. I'm just very late; sorry! :)
Kind regards,
Roland
--
Roland Levillain
EPITA Research and Development Laboratory (LRDE)
14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France
Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr
* AUTHORS,
* Makefile.am,
* NEWS,
* README,
* TODO,
* configure.ac,
* doc/Makefile.am,
* src/Makefile.am,
* tests/cmp.test,
* tests/defs.in,
* tests/nestedseq.test,
* tests/overflow.test,
* tests/trace.test:
Here.
---
AUTHORS | 20 +++++++++++---------
ChangeLog | 20 +++++++++++---------
Makefile.am | 20 +++++++++++---------
NEWS | 20 +++++++++++---------
README | 20 +++++++++++---------
TODO | 20 +++++++++++---------
configure.ac | 20 +++++++++++---------
doc/Makefile.am | 30 ++++++++++++++++--------------
src/Makefile.am | 20 +++++++++++---------
tests/cmp.test | 12 +++++-------
tests/defs.in | 12 +++++-------
tests/nestedseq.test | 12 +++++-------
tests/overflow.test | 12 +++++-------
tests/trace.test | 12 +++++-------
14 files changed, 129 insertions(+), 121 deletions(-)
diff --git a/AUTHORS b/AUTHORS
index 2b88f49..c0ef54e 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,15 +11,17 @@ Copyright (C) 2002-2003 Robert Anisko
Copyright (C) 2003-2007, 2009, 2011-2013 EPITA Research and Development
Laboratory (LRDE)
-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
-Public License version 2 as published by the Free Software
-Foundation.
+This file is part of HAVM.
-This program is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-General Public License for more details.
+HAVM is free software: you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 2 of the License, or
+(at your option) any later version.
+
+HAVM is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
You should have received a copy of the GNU General Public License
-along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+along with HAVM. If not, see <http://www.gnu.org/licenses/>.
diff --git a/ChangeLog b/ChangeLog
index febbd1e..c8bc312 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1204,15 +1204,17 @@ Copyright (C) 2002-2003 Robert Anisko
Copyright (C) 2003-2007, 2009, 2011-2013 Laboratoire de Recherche et
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
-Public License version 2 as published by the Free Software
-Foundation.
+This file is part of HAVM.
-This program is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-General Public License for more details.
+HAVM is free software: you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 2 of the License, or
+(at your option) any later version.
+
+HAVM is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
You should have received a copy of the GNU General Public License
-along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+along with HAVM. If not, see <http://www.gnu.org/licenses/>.
diff --git a/Makefile.am b/Makefile.am
index 0001ad1..6f6ee30 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -2,18 +2,20 @@
# Copyright (C) 2003-2006, 2013 EPITA Research and Development
# Laboratory (LRDE)
#
-# 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
-# Public License version 2 as published by the Free Software
-# Foundation.
+# This file is part of HAVM.
#
-# This program is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-# General Public License for more details.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#
+# HAVM is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
ACLOCAL_AMFLAGS = -I build-aux
diff --git a/NEWS b/NEWS
index 7b65752..2d84d88 100644
--- a/NEWS
+++ b/NEWS
@@ -135,18 +135,20 @@ FIXME: Complete from ChangeLog.
Copyright (C) 2003-2006, 2012 EPITA Research and Development
Laboratory (LRDE)
-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
-Public License version 2 as published by the Free Software
-Foundation.
+This file is part of HAVM.
-This program is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-General Public License for more details.
+HAVM is free software: you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 2 of the License, or
+(at your option) any later version.
+
+HAVM is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
You should have received a copy of the GNU General Public License
-along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+along with HAVM. If not, see <http://www.gnu.org/licenses/>.
Local Variables:
diff --git a/README b/README
index 0b7e56c..56d55d0 100644
--- a/README
+++ b/README
@@ -20,15 +20,17 @@ Its features are:
Copyright (C) 2003, 2005 EPITA Research and Development Laboratory
(LRDE)
-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
-Public License version 2 as published by the Free Software
-Foundation.
+This file is part of HAVM.
-This program is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-General Public License for more details.
+HAVM is free software: you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 2 of the License, or
+(at your option) any later version.
+
+HAVM is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
You should have received a copy of the GNU General Public License
-along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+along with HAVM. If not, see <http://www.gnu.org/licenses/>.
diff --git a/TODO b/TODO
index 7c55633..5ad6835 100644
--- a/TODO
+++ b/TODO
@@ -43,15 +43,17 @@ Fail: no such temp: "t0"
Copyright (C) 2003, 2005 EPITA Research and Development Laboratory
(LRDE)
-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
-Public License version 2 as published by the Free Software
-Foundation.
+This file is part of HAVM.
-This program is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-General Public License for more details.
+HAVM is free software: you can redistribute it and/or modify it
+under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 2 of the License, or
+(at your option) any later version.
+
+HAVM is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
You should have received a copy of the GNU General Public License
-along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+along with HAVM. If not, see <http://www.gnu.org/licenses/>.
diff --git a/configure.ac b/configure.ac
index 1775e6f..b79cdd5 100644
--- a/configure.ac
+++ b/configure.ac
@@ -2,18 +2,20 @@
# Copyright (C) 2003-2007, 2012-2013 EPITA Research and Development
# Laboratory (LRDE)
#
-# 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
-# Public License version 2 as published by the Free Software
-# Foundation.
+# This file is part of HAVM.
#
-# This program is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-# General Public License for more details.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#
+# HAVM is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
# Catch "HAVM_*" macros that are not expanded.
m4_pattern_forbid([^HAVM_])
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 13af4a6..8f7a632 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,18 +1,20 @@
-## Copyright (C) 2003, 2005, 2013, 2014 EPITA Research and Development
-## Laboratory (LRDE)
+# 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
-## redistribute it and/or modify it under the terms of the GNU General
-## Public License version 2 as published by the Free Software
-## Foundation.
-
-## This program is distributed in the hope that it will be useful, but
-## WITHOUT ANY WARRANTY; without even the implied warranty of
-## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-## General Public License for more details.
-
-## You should have received a copy of the GNU General Public License
-## along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+# This file is part of HAVM.
+#
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#
+# HAVM is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
AM_MAKEINFOFLAGS = --no-split
TEXI2DVI = texi2dvi --batch
diff --git a/src/Makefile.am b/src/Makefile.am
index dd233ac..0542942 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -2,18 +2,20 @@
# Copyright (C) 2003-2005, 2007, 2009, 2012 EPITA Research and Development
# Laboratory (LRDE)
#
-# 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
-# Public License version 2 as published by the Free Software
-# Foundation.
+# This file is part of HAVM.
#
-# This program is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-# General Public License for more details.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#
+# HAVM is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with HAVM. If not, see <http://www.gnu.org/licenses/>..
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
SUFFIXES = .hs .y .hc
diff --git a/tests/cmp.test b/tests/cmp.test
index 55d1015..d258f2c 100755
--- a/tests/cmp.test
+++ b/tests/cmp.test
@@ -3,10 +3,10 @@
#
# This file is part of HAVM.
#
-# HAVM is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
#
# HAVM is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -14,9 +14,7 @@
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with Texinfo; see the file COPYING. If not, write to
-# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
-# Boston, MA 02110-1301, USA.
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
. ./defs || exit 1
diff --git a/tests/defs.in b/tests/defs.in
index fc647c2..f37170a 100644
--- a/tests/defs.in
+++ b/tests/defs.in
@@ -5,10 +5,10 @@
#
# This file is part of HAVM.
#
-# HAVM is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
#
# HAVM is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -16,9 +16,7 @@
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with autoconf; see the file COPYING. If not, write to
-# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
-# Boston, MA 02110-1301, USA.
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
# Be Bourne compatible.
# (Snippet copied from configure's initialization in Autoconf 2.57.)
diff --git a/tests/nestedseq.test b/tests/nestedseq.test
index ba105b8..25bfba7 100755
--- a/tests/nestedseq.test
+++ b/tests/nestedseq.test
@@ -3,10 +3,10 @@
#
# This file is part of HAVM.
#
-# HAVM is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
#
# HAVM is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -14,9 +14,7 @@
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with Texinfo; see the file COPYING. If not, write to
-# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
-# Boston, MA 02110-1301, USA.
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
. ./defs || exit 1
diff --git a/tests/overflow.test b/tests/overflow.test
index 9904ac7..160b642 100755
--- a/tests/overflow.test
+++ b/tests/overflow.test
@@ -3,10 +3,10 @@
#
# This file is part of HAVM.
#
-# HAVM is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
#
# HAVM is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -14,9 +14,7 @@
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with Texinfo; see the file COPYING. If not, write to
-# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
-# Boston, MA 02110-1301, USA.
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
. ./defs || exit 1
diff --git a/tests/trace.test b/tests/trace.test
index 2a65cfa..8ab1a90 100755
--- a/tests/trace.test
+++ b/tests/trace.test
@@ -3,10 +3,10 @@
#
# This file is part of HAVM.
#
-# HAVM is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
+# HAVM is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
#
# HAVM is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -14,9 +14,7 @@
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with Texinfo; see the file COPYING. If not, write to
-# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
-# Boston, MA 02110-1301, USA.
+# along with HAVM. If not, see <http://www.gnu.org/licenses/>.
. ./defs || exit 1
--
1.7.10.4
On 06/04/2014 02:44, Pablo Oliveira wrote:
> Dear HAVM maintainers,
Dear Pablo,
Sorry for this late answer! :/
> Tiger specifications do not precisely define the expected behavior of an
> integer overflow. Currently, HAVM does not coerce its arithmetic
> computations to an Int32 type.
> To be consistent with nolimips, spim, and most current architectures, it
> would be nice that arithmetic operations in HAVM wrap around.
Agreed. We had a discussion in the Tiger Patches mailing list about
overflows in the code generated by the TC's MIPS backend a couple of
years ago and I was also in favor of wrapping arithmetic operators
(although I forgot to implement them!).
> The tentative attached patch fixes this. (I went for the less intrusive
> fix, a more radical solution would be to redefine all Int types in HAVM
> to Int32.)
Thank you for your patch! As long as the semantics of the virtual
machine remain unclear regarding overflows, your solution is admittedly
better than migrating all Int values to Int32.
I'll apply it ASAP.
Kind regards,
Roland
--
Roland Levillain
EPITA Research and Development Laboratory (LRDE)
14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France
Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr
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