Difference between revisions of "Vcsn/Download"

From LRDE

(Rename Vaucanson namespace into Vcsn)
 
m (Improve table headers)
 
(25 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{DISPLAYTITLE:Vaucanson Download}}
+
{{DISPLAYTITLE:Vcsn Download}}
   
  +
[[Vcsn]] is free software. It is distributed under the conditions of the GNU General Public License 3
== Source Code ==
 
  +
([http://www.gnu.org/licenses/gpl.html www.gnu.org]). If you are interested in the legacy version
 
Latest versions of the [[Vaucanson]] library:
+
of Vcsn, see [[Vcsn/Vaucanson|Vaucanson]].
   
 
{| class="wikitable"
 
{| class="wikitable"
  +
! | Release Date || Details about the Release || colspan="2" | Direct Links
 
|-
 
|-
| 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]
+
| 2018-05-08 || [[Vcsn/Vcsn2.8|Vcsn 2.8]] || [{{SERVER}}/dload/vcsn/2.8/vcsn-2.8.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.8/vcsn-2.8.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]
+
| 2018-03-25 || [[Vcsn/Vcsn2.7|Vcsn 2.7]] || [{{SERVER}}/dload/vcsn/2.7/vcsn-2.7.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.7/vcsn-2.7.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]
+
| 2017-11-13 || [[Vcsn/Vcsn2.6|Vcsn 2.6]] || [{{SERVER}}/dload/vcsn/2.6/vcsn-2.6.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.6/vcsn-2.6.tar.xz tar.xz]
 
|-
 
|-
| 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]
+
| 2017-01-28 || [[Vcsn/Vcsn2.5|Vcsn 2.5]] || [{{SERVER}}/dload/vcsn/2.5/vcsn-2.5.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.5/vcsn-2.5.tar.xz tar.xz]
 
|-
 
|-
| 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]
+
| 2016-11-16 || [[Vcsn/Vcsn2.4|Vcsn 2.4]] || [{{SERVER}}/dload/vcsn/2.4/vcsn-2.4.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.4/vcsn-2.4.tar.xz tar.xz]
 
|-
 
|-
| 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]
+
| 2016-07-08 || [[Vcsn/Vcsn2.3|Vcsn 2.3]] || [{{SERVER}}/dload/vcsn/2.3/vcsn-2.3.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.3/vcsn-2.3.tar.xz tar.xz]
 
|-
 
|-
| 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]
+
| 2016-02-19 || [[Vcsn/Vcsn2.2|Vcsn 2.2]] || [{{SERVER}}/dload/vcsn/2.2/vcsn-2.2.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.2/vcsn-2.2.tar.xz tar.xz]
 
|-
 
|-
| 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]
+
| 2015-10-11 || [[Vcsn/Vcsn2.1|Vcsn 2.1]] || [{{SERVER}}/dload/vcsn/2.1/vcsn-2.1.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vcsn/2.1/vcsn-2.1.tar.xz tar.xz]
 
|-
 
|-
| 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]
+
| 2014-07-25 || [[Vcsn/Vaucanson2.0|Vaucanson 2.0]] || [{{SERVER}}/dload/vcsn/2.0/vaucanson-2.0.tar.bz2 tar.bz2] || [{{SERVER}}/dload/vaucanson/2.0/vaucanson-2.0.tar.xz tar.xz]
|-
 
| 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]
 
|-
 
| 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 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]
 
|-
 
| 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]
 
|-
 
| 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]
 
|-
 
| 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]
 
|-
 
| 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]
 
|-
 
| 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]
 
|-
 
| 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]
 
|-
 
| 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]
 
|-
 
| 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]
 
|-
 
| May 17, 2005 || Vaucanson 0.7 || [{{SERVER}}/dload/vaucanson/0.7/vaucanson-0.7.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.7/vaucanson-0.7.tar.bz2 tar.bz2]
 
|-
 
| October 26, 2004 || Vaucanson 0.6.1 || [{{SERVER}}/dload/vaucanson/0.6.1/vaucanson-0.6.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.6.1/vaucanson-0.6.1.tar.bz2 tar.bz2]
 
|-
 
| July 18, 2004 || Vaucanson 0.6 || [{{SERVER}}/dload/vaucanson/0.6/vaucanson-0.6.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.6.1/vaucanson-0.6.tar.bz2 tar.bz2]
 
|-
 
| March 30, 2004 || Vaucanson 0.5 || [{{SERVER}}/dload/vaucanson/0.5/vaucanson-0.5.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.5/vaucanson-0.5.tar.bz2 tar.bz2]
 
|-
 
| December 25, 2003 || Vaucanson 0.4.2 || [{{SERVER}}/dload/vaucanson/0.4.2/vaucanson-0.4.2.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.4.2/vaucanson-0.4.2.tar.bz2 tar.bz2]
 
|-
 
| October 29, 2003 || Vaucanson 0.4.1 || [{{SERVER}}/dload/vaucanson/0.4.1/vaucanson-0.4.1.tar.gz tar.gz] || [{{SERVER}}/dload/vaucanson/0.4.1/vaucanson-0.4.1.tar.bz2 tar.bz2]
 
 
 
|}
 
|}
   
  +
You can also browse the [{{SERVER}}/dload/vcsn download directory].
The [[Vaucanson]] library is free software. It is distributed under the
 
conditions of the GNU General Public License
 
([http://www.gnu.org/licenses/lgpl.html 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 [https://buildfarm.lrde.epita.fr/buildfarm/vaucanson/ autobuilder].
 
 
* [{{SERVER}}/dload/vaucanson/snapshot/vaucanson-snapshot.tar.gz tarball]
 
* [{{SERVER}}/dload/vaucanson/snapshot/vaucanson-manual.pdf user manual]
 
* [{{SERVER}}/dload/vaucanson/snapshot/ref/html/index.html library documentation]
 
 
== Requirements ==
 
 
=== C++ compiler ===
 
 
{| class="wikitable"
 
|-
 
| [[Vaucanson/Vaucanson14|Vaucanson 1.4]] || 4.x
 
|-
 
| [[Vaucanson/Vaucanson132|Vaucanson 1.3.2]] || g++ 3.[34], 4.x
 
|-
 
| [[Vaucanson/Vaucanson131|Vaucanson 1.3.1]] || g++ 3.[34], 4.x
 
|-
 
| [[Vaucanson/Vaucanson13|Vaucanson 1.3]] || g++ 3.[34], 4.x
 
|-
 
| [[Vaucanson/Vaucanson1296|Vaucanson 1.2.96]] || g++ 3.[34], 4.x
 
|-
 
| [[Vaucanson/Vaucanson1295|Vaucanson 1.2.95]] || g++ 3.[34], 4.x
 
|-
 
| [[Vaucanson/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
 
|-
 
| [[Vaucanson/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
 
|-
 
| [[Vaucanson/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
 
|-
 
| [[Vaucanson/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
 
|-
 
| [[Vaucanson/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
 
|-
 
| [[Vaucanson/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
 
|-
 
| 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
 
 
<syntaxhighlight lang="bash">
 
git clone git://git.lrde.epita.fr/vaucanson
 
cd vaucanson/trunk
 
./bootstrap
 
./configure
 
make
 
make install
 
</syntaxhighlight>
 
 
Please read doc/HACKING.pdf or doc/HACKING.txt for further information.
 

Latest revision as of 06:36, 21 August 2018


Vcsn is free software. It is distributed under the conditions of the GNU General Public License 3 (www.gnu.org). If you are interested in the legacy version of Vcsn, see Vaucanson.

Release Date Details about the Release Direct Links
2018-05-08 Vcsn 2.8 tar.bz2 tar.xz
2018-03-25 Vcsn 2.7 tar.bz2 tar.xz
2017-11-13 Vcsn 2.6 tar.bz2 tar.xz
2017-01-28 Vcsn 2.5 tar.bz2 tar.xz
2016-11-16 Vcsn 2.4 tar.bz2 tar.xz
2016-07-08 Vcsn 2.3 tar.bz2 tar.xz
2016-02-19 Vcsn 2.2 tar.bz2 tar.xz
2015-10-11 Vcsn 2.1 tar.bz2 tar.xz
2014-07-25 Vaucanson 2.0 tar.bz2 tar.xz

You can also browse the download directory.