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 cadp@inria.fr to keep this page up to date.
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.
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) |
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" |