CADP Current Status

CADP Releases

The CONVECS team is actively developing CADP, notably in the framework of its current research projects.

Since 2010, the distribution of CADP has evolved towards a monthly rolling release scheme. There is usually one release the 13th of each month, except in August where it is traditionally scheduled the 26th.

Academic users must upgrade at least once a year, so that the CADP team does not spend its time dealing with issues already fixed years before.

Commercial users can obtain long-term, stable releases, the most recent one being CADP 2013 Pro.

Operating systems and base software are constantly evolving: please, share your feedback with cadp@inria.fr to keep this page up to date.


Supported Platforms

The latest version of CADP runs on the following systems:

CADP architecture name Hardware / processor Operating system version Additional software needed
iX86 PC or server with
Intel or AMD x86 processor
32-bit Linux (>= Debian 5.0
with glibc >= 2.7)
Gcc, Ghostview, Gnuplot packages
x64 PC or server with
Intel or AMD x86-64 processor
64-bit Linux (>= Debian 5.0,
glibc >= 2.7)
Gcc, Ghostview, Gnuplot packages
sol86 Sun workstation with
Intel processor
Solaris 10 (32-bit mode) C compiler (e.g., Sun Studio "cc"
or GNU "gcc"), Ghostview, Gnuplot
sol64 Sun workstation with
Intel processor
Solaris 10 (64-bit mode) C compiler (e.g., Sun Studio "cc"
or GNU "gcc"), Ghostview, Gnuplot
win32 PC or server with
Intel or AMD processor
Windows 7, 8, or 10
(either 32- or 64-bit mode)
Cygwin, Ghostscript, Evince
or Gsview, Gnuplot (details)
mac86 Mac computer with
Intel processor
MacOS X 10.10 "Yosemite"
and 10.11 "El Capitan",
macOS 10.12 "Sierra", or
macOS 10.13 "High Sierra"
X11/Quartz, XCode,
Ghostscript, Gnuplot, wget (details)

NOTE: We use Debian as a reference, but other Linux distributions (e.g., Fedora, Red Hat, Suse, etc.) are also supported. To know if a particular distribution is supported, compare your kernel and libc versions to those of Debian distributions.


Possibly Supported Platforms

For the following platforms (many of which are no longer officially supported by their developers), the recent versions of CADP might still work, as they still contain executable files that used to work on these platforms, and because we made no explicit change in CADP to drop support for these platforms. However, we have stopped testing CADP on these platforms and, thus, make no claim that the latest versions of CADP are still usable on these platforms. If you have feedback about this, please share your information with cadp@inria.fr so that we can update this page.

CADP architecture name Hardware / processor Operating system version
x64 PC and server
with x86-64 processor
64-bit Debian Linux version 5.0
with glibc version 2.3 to 2.7
sol86, sol64 Sun workstation
with Intel processor
Solaris 8 and Solaris 9
win32 PC and server
with x86 processor
Windows 2000, XP, and Vista
mac86 Mac computer
with Intel processor
Mac OS X 10.4 "Tiger", Mac OS X 10.5 "Leopard" (>= 10.5.5),
Mac OS X 10.6 "Snow Leopard", Mac OS X 10.7 "Lion",
OS X 10.8 "Mountain Lion", and OS X 10.9 "Mavericks"
- see legacy details


Legacy Platforms

The following platforms are no longer supported by the latest versions of CADP. Explicit changes have been made in the CADP distribution to stop supporting these platforms (e.g., by removing the corresponding executable files or by upgrading them with incompatible binaries). In principle, the obsolete versions of CADP are not distributed any more. However, under particular circumstances, they could be made available at certain costs and conditions.

CADP architecture name Hardware / processor Operating system version End of support History file item Legacy CADP version
sun3 Sun workstation
with 680x0 processor
SusOS 4.1.* Jun. 1996 Item #373 Version Z-q
sun4 Sun workstation
with Sparc processor
SunOS 4.1.* Aug. 2001 Item #771 Version 2001 "Ottawa"
sun5 Sun workstation
with Sparc processor
up to Solaris 7 included Oct. 2006 Item #1143 Version 2001 "Ottawa" or
Beta-version 2005-f "Edinburgh"
iX86 PC and servers
with x86 processor
Linux with kernel version <= 2.2
and/or glibc version < 2.3
Oct. 2006 Item #1143 Version 2001 "Ottawa" or
Beta-version 2005-f "Edinburgh"
win32 PC and servers
with x86 processor
Windows 98 and Windows NT 4 Oct. 2006 Item #1143 Version 2001 "Ottawa" or
Beta-version 2005-f "Edinburgh"
macOS Mac computers with
PowerPC processor
Mac OS X versions 10.2 and 10.3
(no longer supported by Apple)
May 2007 Item #1203 Version 2006 "Edinburgh" or
Beta-version 2007-e "Zurich"
iX86 PC and servers
with x86 processor
Debian Linux 4 (Debian official
support ceased on Feb. 15, 2010)
Mar. 2012 Item #1596 Version 2006 "Edinburgh" or
Beta-version 2010-h "Zurich" (RC30)
x64 PC and servers
with x86-64 processor
64-bit Linux with glibc version <= 2.6 Apr. 2012 Item #1601 Version 2001 "Ottawa" or
Beta-version 2005-f "Edinburgh"
sun5 Sun workstation with
Sparc processor
Solaris 10 (32-bit mode) Jan. 2014 Item #1764 Version 2013-l "Zurich"
sun64 Sun workstation with
Sparc processor
Solaris 10 (64-bit mode) Jan. 2014 Item #1764 Version 2013-l "Zurich"
ia64 Server with Intel
Itanium IA64 processor
64-bit Linux (>= Debian 5.0) Jan. 2014 Item #1764 Version 2013-l "Zurich"
macOS Mac computer with
PowerPC processor
Mac OS X 10.6 "Snow Leopard" Jan. 2014 Item #1764 Version 2013-l "Zurich"


Version 2.29 last updated on 2017/11/10 19:36:28

Back to the CADP Home Page