[Projects] havm: havm-0.25-15-ge1f8060 Version 0.26.

* 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