Commit aaaf1d0c authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Release Vaucanson 1.4.1.

* configure.ac, doc/NEWS.txt: Update and bump version to 1.4.1.

* include/vaucanson/algorithms/krat_exp_partial_derivation.hxx,
include/vaucanson/algorithms/krat_exp_cderivation.hxx: Fix errors
reported by g++-4.7
parent d697b5ff
2012-07-14 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Release Vaucanson 1.4.1.
* configure.ac, doc/NEWS.txt: Update and bump version to 1.4.1.
* include/vaucanson/algorithms/krat_exp_partial_derivation.hxx,
include/vaucanson/algorithms/krat_exp_cderivation.hxx: Fix errors
reported by g++-4.7
2012-07-14 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
* doc/manual/Makefile.am (vaucanson_manual_sources): Add missing
......
# Vaucanson, a generic library for finite state machines.
# Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
# 2010, 2011 The Vaucanson Group.
# 2010, 2011, 2012 The Vaucanson Group.
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
......@@ -18,7 +18,7 @@ m4_pattern_forbid([^VCSN_])
AC_PREREQ([2.61])
AC_INIT([vaucanson], [1.4a], [vaucanson-bugs@lrde.epita.fr])
AC_INIT([vaucanson], [1.4.1], [vaucanson-bugs@lrde.epita.fr])
AC_CONFIG_AUX_DIR([build-aux])
AM_INIT_AUTOMAKE([1.11 tar-ustar no-define foreign dist-xz
color-tests parallel-tests silent-rules])
......
......@@ -8,13 +8,27 @@ This document describes major updates to the Vaucanson_ project.
:Contact: vaucanson@lrde.epita.fr
Vaucanson 1.4a, unreleased
==========================
Vaucanson 1.4.1, July 14th, 2012
================================
- New TAF-Kit commands:
+ ``coquotient``
+ ``alphabet``
+ ``partial-erase``
+ ``gui``
- Bug fixes:
+ never create 0-labeled transitions in ``proper``.
+ fix support of transitions that are linear combinations of pairs
in FMP transducers
- A new TAF-Kit option ``--list-all-commands-json`` outputs the list of
all command in a format (json) that may be parsed by third-party
tools to interface with TAF-Kit.
Vaucanson 1.4, September 28th, 2011
===================================
......
......@@ -2,7 +2,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2001, 2002, 2003, 2004, 2005 The Vaucanson Group.
// Copyright (C) 2001, 2002, 2003, 2004, 2005, 2012 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -55,7 +55,7 @@ namespace vcsn {
MATCH__(Product, lhs, rhs)
{
return_type match_lhs = match(lhs);
return_type match_lhs = this->match(lhs);
// FIXME: Following code only valid for series over Boolean semirings.
if (match_lhs != zero_as<T>::of(exp_.structure()))
......@@ -63,39 +63,39 @@ namespace vcsn {
else
{
std::pair<semiring_elt_t, bool> ret = constant_term(series(lhs));
return ret.first * match(rhs);
return ret.first * this->match(rhs);
}
}
END
MATCH__(Sum, lhs, rhs)
{
return_type match_lhs = match(lhs);
return_type match_lhs = this->match(lhs);
// FIXME: Following code only valid for series over Boolean semirings.
if (match_lhs != zero_as<T>::of(exp_.structure()))
return match_lhs;
else
return match(rhs);
return this->match(rhs);
}
END
MATCH_(Star, e)
{
// FIXME: Following code only valid for series over Boolean semirings.
return match(e) * e.clone().star();
return this->match(e) * e.clone().star();
}
END
MATCH__(LeftWeight, w, e)
{
return semiring_elt_t(w) * match(e);
return semiring_elt_t(w) * this->match(e);
}
END
MATCH__(RightWeight, e, w)
{
return match(e) * semiring_elt_t(w);
return this->match(e) * semiring_elt_t(w);
}
END
......
......@@ -2,7 +2,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2001, 2002, 2003, 2004, 2005 The Vaucanson Group.
// Copyright (C) 2001, 2002, 2003, 2004, 2005, 2012 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
......@@ -108,15 +108,15 @@ namespace vcsn {
}
if (ret.first !=
exp_.structure().semiring().zero(SELECT(semiring_elt_value_t)))
return (match(lhs) ^ rhs) + (ret.first ^ match(rhs));
return (this->match(lhs) ^ rhs) + (ret.first ^ this->match(rhs));
else
return (match(lhs) ^ rhs);
return (this->match(lhs) ^ rhs);
}
END
MATCH__(Sum, lhs, rhs)
{
return match(lhs) + match(rhs);
return this->match(lhs) + this->match(rhs);
}
END
......@@ -128,19 +128,19 @@ namespace vcsn {
undefined = true;
return return_type();
}
return ret.first.star() ^ (match(e) ^ e.clone().star());
return ret.first.star() ^ (this->match(e) ^ e.clone().star());
}
END
MATCH__(LeftWeight, w, e)
{
return semiring_elt_t(w) ^ match(e);
return semiring_elt_t(w) ^ this->match(e);
}
END
MATCH__(RightWeight, e, w)
{
return match(e) ^ semiring_elt_t(w);
return this->match(e) ^ semiring_elt_t(w);
}
END
......
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