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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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 || [[Vaucanson/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]
+
| 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"
 
|-
 
|-
| [[Vaucanson/Vaucanson14|Vaucanson 1.4]] || 4.x
+
| [[Vcsn/Vaucanson14|Vaucanson 1.4]] || 4.x
 
|-
 
|-
| [[Vaucanson/Vaucanson132|Vaucanson 1.3.2]] || g++ 3.[34], 4.x
+
| [[Vcsn/Vaucanson132|Vaucanson 1.3.2]] || g++ 3.[34], 4.x
 
|-
 
|-
| [[Vaucanson/Vaucanson131|Vaucanson 1.3.1]] || g++ 3.[34], 4.x
+
| [[Vcsn/Vaucanson131|Vaucanson 1.3.1]] || g++ 3.[34], 4.x
 
|-
 
|-
| [[Vaucanson/Vaucanson13|Vaucanson 1.3]] || g++ 3.[34], 4.x
+
| [[Vcsn/Vaucanson13|Vaucanson 1.3]] || g++ 3.[34], 4.x
 
|-
 
|-
| [[Vaucanson/Vaucanson1296|Vaucanson 1.2.96]] || g++ 3.[34], 4.x
+
| [[Vcsn/Vaucanson1296|Vaucanson 1.2.96]] || g++ 3.[34], 4.x
 
|-
 
|-
| [[Vaucanson/Vaucanson1295|Vaucanson 1.2.95]] || g++ 3.[34], 4.x
+
| [[Vcsn/Vaucanson1295|Vaucanson 1.2.95]] || g++ 3.[34], 4.x
 
|-
 
|-
| [[Vaucanson/Vaucanson1294|Vaucanson 1.2.94]] || g++ 3.[34], 4.x
+
| [[Vcsn/Vaucanson1294|Vaucanson 1.2.94]] || g++ 3.[34], 4.x
 
|-
 
|-
| [[Vaucanson/Vaucanson1293|Vaucanson 1.2.93]] || g++ 3.[34], 4.x, ICC 9, ICC 10
+
| [[Vcsn/Vaucanson1293|Vaucanson 1.2.93]] || g++ 3.[34], 4.x, ICC 9, ICC 10
 
|-
 
|-
| [[Vaucanson/Vaucanson1292|Vaucanson 1.2.92]] || g++ 3.[34], 4.x, ICC 9, ICC 10
+
| [[Vcsn/Vaucanson1292|Vaucanson 1.2.92]] || g++ 3.[34], 4.x, ICC 9, ICC 10
 
|-
 
|-
| [[Vaucanson/Vaucanson1291|Vaucanson 1.2.91]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson1291|Vaucanson 1.2.91]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson1290|Vaucanson 1.2.90]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson1290|Vaucanson 1.2.90]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson120|Vaucanson 1.2]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson120|Vaucanson 1.2]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson111|Vaucanson 1.1.1]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson111|Vaucanson 1.1.1]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson110|Vaucanson 1.1]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson110|Vaucanson 1.1]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson100|Vaucanson 1.0a]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson100|Vaucanson 1.0a]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson100|Vaucanson 1.0]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson100|Vaucanson 1.0]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson080|Vaucanson 0.8]] || g++ 3.[34], 4.x or ICC 9
+
| [[Vcsn/Vaucanson080|Vaucanson 0.8]] || g++ 3.[34], 4.x or ICC 9
 
|-
 
|-
| [[Vaucanson/Vaucanson072|Vaucanson 0.7.2]] || g++ 3.[34], 4.0 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 16:10, 6 November 2014


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.