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, such as CADP 2017 Pro.

Operating systems and base software are constantly evolving: please, share your feedback with [email protected] 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 computer with
Intel or AMD x86 processor		 32-bit Linux (>= Debian 7.0
with glibc >= 2.14)		 Gcc, Ghostview, Gnuplot packages
x64 computer with
Intel or AMD x86-64 processor		 64-bit Linux (>= Debian 7.0,
glibc >= 2.14)		 Gcc, Ghostview, Gnuplot packages
sol64 computer with
Intel or AMD processor		 OpenIndiana or Solaris 11
(64-bit mode)		 C compiler (e.g., Sun Studio "cc"
or GNU "gcc"), Ghostview, Gnuplot
win64 computer with
Intel or AMD processor		 Windows 8.1, 10, or 11
(32- or 64-bit mode)		 Cygwin, Ghostscript, Evince
or Gsview, Gnuplot (details)
mac64 Mac computer with
Intel or ARM processor

CADP mac64 binaries
execute on any Mac
computer with ARM
processor (M1, M2, etc.)
using emulation mode		 MacOS X/macOS
10.15 "Catalina",
11 "Big Sur",
12 "Monterey",
13 "Ventura", or
14 "Sonoma"		 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 [email protected] so that we can update this page.

CADP architecture name Hardware / processor Operating system version
sol64 Sun workstation
with Intel processor		 Solaris 10
mac64 Mac computer with
Intel processor		 MacOS X/macOS
10.10 "Yosemite",
10.11 "El Capitan",
10.12 "Sierra",
10.13 "High Sierra",
10.14 "Mojave"
(64-bit mode)

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"
sol86 computer with
Intel processor		 Solaris 8 and 9 (32-bit mode) Feb. 2020 Item #2570 Version 2020-a "Aalborg"
sol64 computer with
Intel processor		 Solaris 8 and 9 (64-bit mode) Feb. 2020 Item #2570 Version 2020-a "Aalborg"
iX86, x64 PC and servers
with x86 or x86-64 processor		 32-bit or 64-bit Linux with glibc version < 2.11 Apr. 2020 Item #2581 Version 2020-d "Aalborg"
mac86 Mac computer
with Intel processor		 from Mac OS X 10.4 "Tiger" to macOS 10.14 "Mojave" (32-bit mode)
- see legacy details		 Oct. 2020 Item #2629 Version 2020-i "Aalborg"
sol86 computer with
Intel or AMD processor		 OpenIndiana or Solaris 10 or 11 (32-bit mode) Dec. 2022 Item #2847 Version 2022-l "Kista"
iX86, x64 PC and servers
with x86 or x86-64 processor		 32-bit or 64-bit Linux with glibc version < 2.14 Feb. 2023 Item #2853 Version 2023-a "Aachen"
win32 PC and servers
with x86 processor		 Windows 8.1, 10, or 11 (32-bit mode) - and possibly also Windows 2000, XP, Vista, 7, or 8 Dec. 2023 Item #2944 Version 2023-l "Aachen"

Version 2.65 last updated on 2024/01/13 09:31:14

Back to the CADP Home Page