VaucansonDownload
Source Code
Latest versions of the
Vaucanson library:
| | 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.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.
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)
- swig (for vaucanswig, which is not normally built)
- 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 for further information.
to top
Vaucanson.Download moved from Projects.VaucansonDownload on 17 Dec 2004 - 09:54 by Main.akim -
put it back