Difference between revisions of "Vcsn/Download"
From LRDE
(Rename Vaucanson namespace into Vcsn) |
(Fix vaucanson links to vcsn links) |
||
Line 7: | Line 7: | ||
{| class="wikitable" |
{| class="wikitable" |
||
|- |
|- |
||
− | | July 14th, 2012 || [[ |
+ | | July 14th, 2012 || [[Vcsn/Vaucanson141|Vaucanson 1.4.1]] || [{{SERVER}}/dload/vaucanson/1.4.1/vaucanson-1.4.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.4.1/vaucanson-1.4.1.tar.xz tar.xz] |
|- |
|- |
||
− | | September 28th, 2011 || [[ |
+ | | September 28th, 2011 || [[Vcsn/Vaucanson14|Vaucanson 1.4]] || [{{SERVER}}/dload/vaucanson/1.4/vaucanson-1.4.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.4/vaucanson-1.4.tar.xz tar.xz] |
|- |
|- |
||
− | | September 22th, 2009 || [[ |
+ | | September 22th, 2009 || [[Vcsn/Vaucanson132|Vaucanson 1.3.2]] || [{{SERVER}}/dload/vaucanson/1.3.2/vaucanson-1.3.2.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.3.2/vaucanson-1.3.2.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | July 8th, 2009 || [[ |
+ | | July 8th, 2009 || [[Vcsn/Vaucanson131|Vaucanson 1.3.1]] || [{{SERVER}}/dload/vaucanson/1.3.1/vaucanson-1.3.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.3.1/vaucanson-1.3.1.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | May 26th, 2009 || [[ |
+ | | May 26th, 2009 || [[Vcsn/Vaucanson13|Vaucanson 1.3]] || [{{SERVER}}/dload/vaucanson/1.3/vaucanson-1.3.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.3/vaucanson-1.3.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | May 4th, 2009 || [[ |
+ | | May 4th, 2009 || [[Vcsn/Vaucanson1296|Vaucanson 1.2.96]] || [{{SERVER}}/dload/vaucanson/1.2.96/vaucanson-1.2.96.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2.96/vaucanson-1.2.96.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | January 22th, 2009 || [[ |
+ | | January 22th, 2009 || [[Vcsn/Vaucanson1295|Vaucanson 1.2.95]] || [{{SERVER}}/dload/vaucanson/1.2.95/vaucanson-1.2.95.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2.95/vaucanson-1.2.95.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | November 17th, 2008 || [[ |
+ | | November 17th, 2008 || [[Vcsn/Vaucanson1294|Vaucanson 1.2.94]] || [{{SERVER}}/dload/vaucanson/1.2.94/vaucanson-1.2.94.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2.94/vaucanson-1.2.94.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | October 10th, 2008 || [[ |
+ | | October 10th, 2008 || [[Vcsn/Vaucanson1293|Vaucanson 1.2.93]] || [{{SERVER}}/dload/vaucanson/1.2.93/vaucanson-1.2.93.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2.93/vaucanson-1.2.93.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | September 9th, 2008 || [[ |
+ | | September 9th, 2008 || [[Vcsn/Vaucanson1292|Vaucanson 1.2.92]] || [{{SERVER}}/dload/vaucanson/1.2.92/vaucanson-1.2.92.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2.92/vaucanson-1.2.92.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | August 23rd, 2008 || [[ |
+ | | August 23rd, 2008 || [[Vcsn/Vaucanson1291|Vaucanson 1.2.91]] || [{{SERVER}}/dload/vaucanson/1.2.91/vaucanson-1.2.91.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2.91/vaucanson-1.2.91.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | August 1st, 2008 || [[ |
+ | | August 1st, 2008 || [[Vcsn/Vaucanson1290|Vaucanson 1.2.90]] || [{{SERVER}}/dload/vaucanson/1.2.90/vaucanson-1.2.90.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2.90/vaucanson-1.2.90.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | March 20, 2008 || [[ |
+ | | March 20, 2008 || [[Vcsn/Vaucanson120|Vaucanson 1.2]] || [{{SERVER}}/dload/vaucanson/1.2/vaucanson-1.2.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.2/vaucanson-1.2.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | December 14, 2007 || [[ |
+ | | December 14, 2007 || [[Vcsn/Vaucanson111|Vaucanson 1.1.1]] || [{{SERVER}}/dload/vaucanson/1.1.1/vaucanson-1.1.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.1/vaucanson-1.1.1.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | July 30, 2007 || [[ |
+ | | July 30, 2007 || [[Vcsn/Vaucanson110|Vaucanson 1.1]] || [{{SERVER}}/dload/vaucanson/1.1/vaucanson-1.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.1/vaucanson-1.1.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | June 13, 2007 || [[ |
+ | | June 13, 2007 || [[Vcsn/Vaucanson100a|Vaucanson 1.0a]] || [{{SERVER}}/dload/vaucanson/1.0a/vaucanson-1.0a.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.0a/vaucanson-1.0a.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | July 28, 2006 || [[ |
+ | | July 28, 2006 || [[Vcsn/Vaucanson100|Vaucanson 1.0]] || [{{SERVER}}/dload/vaucanson/1.0/vaucanson-1.0.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/1.0/vaucanson-1.0.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | May 15, 2006 || [[ |
+ | | May 15, 2006 || [[Vcsn/Vaucanson080|Vaucanson 0.8]] || [{{SERVER}}/dload/vaucanson/0.8/vaucanson-0.8.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.8/vaucanson-0.8.tar.bz2 tar.bz2] |
|- |
|- |
||
− | | November 09, 2005 || [[ |
+ | | November 09, 2005 || [[Vcsn/Vaucanson072|Vaucanson 0.7.2]] || [{{SERVER}}/dload/vaucanson/0.7.2/vaucanson-0.7.2.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.7.2/vaucanson-0.7.2.tar.bz2 tar.bz2] |
|- |
|- |
||
| June 25, 2005 || Vaucanson 0.7.1 || [{{SERVER}}/dload/vaucanson/0.7.1/vaucanson-0.7.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.7.1/vaucanson-0.7.1.tar.bz2 tar.bz2] |
| June 25, 2005 || Vaucanson 0.7.1 || [{{SERVER}}/dload/vaucanson/0.7.1/vaucanson-0.7.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.7.1/vaucanson-0.7.1.tar.bz2 tar.bz2] |
||
Line 80: | Line 80: | ||
{| class="wikitable" |
{| class="wikitable" |
||
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson14|Vaucanson 1.4]] || 4.x |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson132|Vaucanson 1.3.2]] || g++ 3.[34], 4.x |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson131|Vaucanson 1.3.1]] || g++ 3.[34], 4.x |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson13|Vaucanson 1.3]] || g++ 3.[34], 4.x |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson1296|Vaucanson 1.2.96]] || g++ 3.[34], 4.x |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson1295|Vaucanson 1.2.95]] || g++ 3.[34], 4.x |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson1294|Vaucanson 1.2.94]] || g++ 3.[34], 4.x |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson1293|Vaucanson 1.2.93]] || g++ 3.[34], 4.x, ICC 9, ICC 10 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson1292|Vaucanson 1.2.92]] || g++ 3.[34], 4.x, ICC 9, ICC 10 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson1291|Vaucanson 1.2.91]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson1290|Vaucanson 1.2.90]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson120|Vaucanson 1.2]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson111|Vaucanson 1.1.1]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson110|Vaucanson 1.1]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson100|Vaucanson 1.0a]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson100|Vaucanson 1.0]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson080|Vaucanson 0.8]] || g++ 3.[34], 4.x or ICC 9 |
|- |
|- |
||
− | | [[ |
+ | | [[Vcsn/Vaucanson072|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.1 || g++ 3.x or ICC 8.1 |
Revision as of 17:10, 6 November 2014
Source Code
Latest versions of the Vaucanson library:
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.