- Projects

havm: branch master updated: havm-0.26
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 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

1 0

havm: annotated tag havm-0.26 created: havm-0.26
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 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

1 0

havm: havm-0.26 Regen ChangeLog for version 0.26.
by Roland Levillain 06 May '14

06 May '14

--- .last-cl-gen | 2 +- ChangeLog | 117 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 118 insertions(+), 1 deletion(-) diff --git a/.last-cl-gen b/.last-cl-gen index 429a509..36f3319 100644 --- a/.last-cl-gen +++ b/.last-cl-gen @@ -1 +1 @@ -9575357c6269b0c7860f19fe2eeaf343c71e4b94 +e1f8060a6baf6a6ba262ba282944f784aec94b48 diff --git a/ChangeLog b/ChangeLog index c8bc312..1be6a27 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,120 @@ +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Version 0.26. + + * configure.ac, NEWS: Here. + * THANKS: Update. + * src/Opt.hs: Update copyright years. + * tests/cmp.test, + * tests/trace.test: + Delete trailing newlines. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Update copyright notices. + + * 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. + +2014-05-06 Pablo de Oliveira <pablo(a)sifflez.org> + + checkLow should occur before plaining. + + * src/Main.hs (evalM): Here. + In some cases, plaining removes nested seqs in the original + program. If plaining happens first, checkLow may accept a + program as valid LIR when in fact the original program + contained nested seqs. + * tests/nestedseq.hir, + * tests/nestedseq.test: + New test. + * tests/Makefile.am (TESTS): Add nestedseq.test. + (EXTRA_DIST): Add nestedseq.hir. + +2014-05-06 Pablo de Oliveira <pablo(a)sifflez.org> + + Arithmetic overflow should wrap around. + + Tiger specifications do not define the expected behavior of an + integer overflow. Yet, to be consistent with Nolimips, Spim, + and most current architectures, we ensure that arithmetic + operations in HAVM wrap around. + + * src/StdBinop.hs (modulo32): New function. + Use it... + (binop): ...here. + * tests/overflow.lir, + * tests/overflow.out, + * tests/overflow.test: + New test. + * tests/Makefile.am (TESTS): Add overflow.test. + (EXTRA_DIST): Add overflow.lir and overflow.out. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Convert to UTF-8. + + * THANKS, + * TODO, + * doc/havm.texi: + Here. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Update doc remote installation settings to target the new location. + + * doc/Makefile.am + (install_doc_user, install_doc_host, install_doc_dir): Here. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Update the builtins documentation. + + * doc/builtins.texi: Sync with tc-assignments. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Fix and update copyright years. + + * AUTHORS, + * ChangeLog, + * Makefile.am, + * NEWS, + * README, + * TODO, + * configure.ac, + * debian/copyright, + * doc/Makefile.am, + * doc/havm.texi, + * src/Makefile.am, + * src/Opt.hs, + * tests/cmp.test, + * tests/defs.in, + * tests/trace.test: + Here. + +2013-09-23 Roland Levillain <roland(a)lrde.epita.fr> + + Add a rule to update ChangeLog using Git commit messages. + + * build-aux/gitlog-to-changelog: New. + Imported from Git Gnulib. + * .last-cl-gen: New. + * Makefile.am (update-ChangeLog): New target. + (EXTRA_DIST): Add build-aux/gitlog-to-changelog and .last-cl-gen. + 2013-01-07 Roland Levillain <roland(a)lrde.epita.fr> Add a target to install HAVM's documentation on the Web. -- 1.7.10.4

1 0

havm: havm-0.25-15-ge1f8060 Version 0.26.
by Roland Levillain 06 May '14

06 May '14

* configure.ac, NEWS: Here. * THANKS: Update. * src/Opt.hs: Update copyright years. * tests/cmp.test, * tests/trace.test: Delete trailing newlines. --- NEWS | 9 +++++++-- THANKS | 1 + configure.ac | 4 ++-- src/Opt.hs | 2 +- tests/Makefile.am | 4 ++++ tests/cmp.test | 1 - tests/trace.test | 1 - 7 files changed, 15 insertions(+), 7 deletions(-) diff --git a/NEWS b/NEWS index 2d84d88..36a136f 100644 --- a/NEWS +++ b/NEWS @@ -1,9 +1,14 @@ -New in 0.25a: +New in 0.26, 2014-05-06: * GHC 7.4 HAVM is compatible with GHC 7.4. +* Arithmetic overflows + + Arithmetic operators now wrap around the signed 32-bit integer value + type. + New in 0.25 2012-10-31: @@ -132,7 +137,7 @@ FIXME: Complete from ChangeLog. -- -Copyright (C) 2003-2006, 2012 EPITA Research and Development +Copyright (C) 2003-2006, 2012, 2014 EPITA Research and Development Laboratory (LRDE) This file is part of HAVM. diff --git a/THANKS b/THANKS index db57b56..509d240 100644 --- a/THANKS +++ b/THANKS @@ -11,6 +11,7 @@ People who contributed to Havm: * Pablo Oliveira pablo(a)sifflez.org - Patch scanner + - Arithmetic overflows * Théophile Ranquet ranquet(a)lrde.epita.fr - Version 0.25 diff --git a/configure.ac b/configure.ac index b79cdd5..60536ee 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ # Copyright (C) 2003 Robert Anisko -# Copyright (C) 2003-2007, 2012-2013 EPITA Research and Development +# Copyright (C) 2003-2007, 2012-2014 EPITA Research and Development # Laboratory (LRDE) # # This file is part of HAVM. @@ -20,7 +20,7 @@ # Catch "HAVM_*" macros that are not expanded. m4_pattern_forbid([^HAVM_]) AC_PREREQ([2.59]) -AC_INIT([HAVM], [0.25a], [projects(a)lrde.epita.fr] +AC_INIT([HAVM], [0.26], [projects(a)lrde.epita.fr] AC_CONFIG_AUX_DIR([build-aux]) AM_INIT_AUTOMAKE([1.9.6 dist-bzip2]) diff --git a/src/Opt.hs b/src/Opt.hs index dff2026..c1ac4b4 100644 --- a/src/Opt.hs +++ b/src/Opt.hs @@ -32,7 +32,7 @@ version_message = unlines "Written by Robert Anisko.", "", "Copyright (C) 2002-2003 Robert Anisko", - "Copyright (C) 2003-2007, 2009, 2011-2013" + "Copyright (C) 2003-2007, 2009, 2011-2014" ++ " EPITA Research and Development Laboratory (LRDE).", "This is free software; see the source for copying conditions. There is NO", "warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE." diff --git a/tests/Makefile.am b/tests/Makefile.am index 6bbce72..a63f480 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -2,6 +2,10 @@ ## Tests. ## ## ------- ## +# FIXME: Revamp the test strategy. Currently, outputs are generated +# in the same files for all tests! This does not help to find +# problems. Moreover, this prevents parallel tests. + XFAIL_TESTS = TESTS = \ diff --git a/tests/cmp.test b/tests/cmp.test index d258f2c..cddb132 100755 --- a/tests/cmp.test +++ b/tests/cmp.test @@ -28,4 +28,3 @@ HAVM_pass --trace=3 $srcdir/cmp.lir 3>stdtrc cmp stdout $srcdir/cmp.out test ! -s stderr test -s stdtrc - diff --git a/tests/trace.test b/tests/trace.test index 8ab1a90..751536e 100755 --- a/tests/trace.test +++ b/tests/trace.test @@ -28,4 +28,3 @@ HAVM_pass --trace=3 $srcdir/fact.lir 3>stdtrc cmp stdout $srcdir/fact.out test ! -s stderr test -s stdtrc - -- 1.7.10.4

1 0

Re: [Projects] [PATCH HAVM] checkLow should occur before plaining
by Roland Levillain 06 May '14

06 May '14

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

1 0

havm: havm-0.25-14-gb64d9b2 Update copyright notices.
by Roland Levillain 06 May '14

06 May '14

* 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

1 0

Re: [Projects] [PATCH] Arithmetic overflow should wrap around
by Roland Levillain 06 May '14

06 May '14

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

1 0

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