Vaucanson Download

From LRDE

Revision as of 16:10, 6 November 2014 by Bot (talk | contribs) (Fix vaucanson links to vcsn links)


Source Code

Latest versions of the Vaucanson library:

July 14th, 2012 Vaucanson 1.4.1 tar.gz tar.xz
September 28th, 2011 Vaucanson 1.4 tar.gz tar.xz
September 22th, 2009 Vaucanson 1.3.2 tar.gz tar.bz2
July 8th, 2009 Vaucanson 1.3.1 tar.gz tar.bz2
May 26th, 2009 Vaucanson 1.3 tar.gz tar.bz2
May 4th, 2009 Vaucanson 1.2.96 tar.gz tar.bz2
January 22th, 2009 Vaucanson 1.2.95 tar.gz tar.bz2
November 17th, 2008 Vaucanson 1.2.94 tar.gz tar.bz2
October 10th, 2008 Vaucanson 1.2.93 tar.gz tar.bz2
September 9th, 2008 Vaucanson 1.2.92 tar.gz tar.bz2
August 23rd, 2008 Vaucanson 1.2.91 tar.gz tar.bz2
August 1st, 2008 Vaucanson 1.2.90 tar.gz tar.bz2
March 20, 2008 Vaucanson 1.2 tar.gz tar.bz2
December 14, 2007 Vaucanson 1.1.1 tar.gz tar.bz2
July 30, 2007 Vaucanson 1.1 tar.gz tar.bz2
June 13, 2007 Vaucanson 1.0a tar.gz tar.bz2
July 28, 2006 Vaucanson 1.0 tar.gz tar.bz2
May 15, 2006 Vaucanson 0.8 tar.gz tar.bz2
November 09, 2005 Vaucanson 0.7.2 tar.gz tar.bz2
June 25, 2005 Vaucanson 0.7.1 tar.gz tar.bz2
May 17, 2005 Vaucanson 0.7 tar.gz tar.bz2
October 26, 2004 Vaucanson 0.6.1 tar.gz tar.bz2
July 18, 2004 Vaucanson 0.6 tar.gz tar.bz2
March 30, 2004 Vaucanson 0.5 tar.gz tar.bz2
December 25, 2003 Vaucanson 0.4.2 tar.gz tar.bz2
October 29, 2003 Vaucanson 0.4.1 tar.gz tar.bz2

The Vaucanson library is free software. It is distributed under the conditions of the GNU General Public License (www.gnu.org) since release 0.7.1, and under the conditions of GNU Lesser General Public License for previous releases.

Development snapshots

A snapshot of the development version of Vaucanson is updated after each successful run of our autobuilder.

Requirements

C++ compiler

Vaucanson 1.4 4.x
Vaucanson 1.3.2 g++ 3.[34], 4.x
Vaucanson 1.3.1 g++ 3.[34], 4.x
Vaucanson 1.3 g++ 3.[34], 4.x
Vaucanson 1.2.96 g++ 3.[34], 4.x
Vaucanson 1.2.95 g++ 3.[34], 4.x
Vaucanson 1.2.94 g++ 3.[34], 4.x
Vaucanson 1.2.93 g++ 3.[34], 4.x, ICC 9, ICC 10
Vaucanson 1.2.92 g++ 3.[34], 4.x, ICC 9, ICC 10
Vaucanson 1.2.91 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.2.90 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.2 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.1.1 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.1 g++ 3.[34], 4.x or ICC 9
Vaucanson 1.0a g++ 3.[34], 4.x or ICC 9
Vaucanson 1.0 g++ 3.[34], 4.x or ICC 9
Vaucanson 0.8 g++ 3.[34], 4.x or ICC 9
Vaucanson 0.7.2 g++ 3.[34], 4.0 or ICC 9
Vaucanson 0.7.1 g++ 3.x or ICC 8.1
Vaucanson 0.7 g++ 3.x or ICC 8.1
Vaucanson 0.6.1 g++ 3.x or ICC 8.1
Vaucanson 0.5 and 0.6 g++ 3.3 only
Vaucanson 0.4 g++ 3.2 (should works with g++ 3.3 and ICC 7.0)

The code is written in respect to the ISO standard to permit a higher portability in the future.

XML

If you want to use the XML I/O system, you will need the Apache Xerces C++ library version 2.3 or later. You will find it here:

http://xml.apache.org/xerces-c/

The verbose mode of the testing suites uses the AT&T dot format to save automata in a human-readable file. Use Graphviz to visualize these .dot files.

Getting the source from the Git repository

You may check out the current version of Vaucanson sources on the LRDE's Git repository. You will need the following additional tools:

  • Git 1.5 or higher
  • Autoconf 2.59 or higher
  • Automake 1.9 or higher
  • bison (for the rational expression parser)
  • BOOST 1.34 or later (base, graph and serialization libraries)
  • texlive (for compiling the manual)
  • doxygen (for API documentation generated from source files)
  • python-doctools (for rst2latex)

To clone Git repository anonymously to build Vaucanson use

git clone git://git.lrde.epita.fr/vaucanson
cd vaucanson/trunk
./bootstrap
./configure
make
make install

Please read doc/HACKING.pdf or doc/HACKING.txt for further information.