Commit e1f8060a authored by Roland Levillain's avatar Roland Levillain

Version 0.26.

	* configure.ac, NEWS: Here.
	* THANKS: Update.
	* src/Opt.hs: Update copyright years.
	* tests/cmp.test,
	* tests/trace.test:
	Delete trailing newlines.
parent b64d9b22
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.
......
......@@ -11,6 +11,7 @@ People who contributed to Havm:
* Pablo Oliveira pablo@sifflez.org
- Patch scanner
- Arithmetic overflows
* Théophile Ranquet ranquet@lrde.epita.fr
- Version 0.25
......
# 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@lrde.epita.fr])
AC_INIT([HAVM], [0.26], [projects@lrde.epita.fr])
AC_CONFIG_AUX_DIR([build-aux])
AM_INIT_AUTOMAKE([1.9.6 dist-bzip2])
......
......@@ -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."
......
......@@ -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 = \
......
......@@ -28,4 +28,3 @@ HAVM_pass --trace=3 $srcdir/cmp.lir 3>stdtrc
cmp stdout $srcdir/cmp.out
test ! -s stderr
test -s stdtrc
......@@ -28,4 +28,3 @@ HAVM_pass --trace=3 $srcdir/fact.lir 3>stdtrc
cmp stdout $srcdir/fact.out
test ! -s stderr
test -s stdtrc
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment