CADP发布
这个CONVCS公司团队正在积极开发CADP，尤其是在其框架内当前研究项目.
自2010年以来，CADP的分发已演变为每月滚动发布计划。通常每个月的13号都会有一次发布，但8月份除外，那里的传统时间安排在26号。
学术用户必须每年至少升级一次，这样CADP团队就不会花时间处理多年前已经解决的问题。
商业用户可以获得长期稳定的版本，例如CADP 2017 Pro。
操作系统和基础软件不断发展：请与分享您的反馈cadp@inria.fr使此页面保持最新。
支持的平台
最新版本的CADP在以下系统上运行：
| CADP架构名称 |
硬件/处理器 |
操作系统版本 |
需要额外的软件 |
| iX86系列 |
带有的计算机
Intel或AMD x86处理器 |
32位Linux（>=Debian 7.0
glibc>=2.14） |
Gcc、Ghostview、Gnuplot包 |
| x64像素 |
带有的计算机
Intel或AMD x86-64处理器 |
64位Linux（>=Debian 7.0，
glibc>=2.14） |
Gcc、Ghostview、Gnuplot包 |
| 溶胶64 |
带有的计算机
Intel或AMD处理器 |
OpenIndiana或Solaris 11
（64位模式） |
C编译器（例如，Sun Studio“cc”
或GNU“gcc”）、Ghostview、Gnuplot |
| win64（赢64） |
带有的计算机
Intel或AMD处理器 |
Windows 8.1、10或11
（32位或64位模式） |
Cygwin、Ghostscript、Evince
或Gsview、Gnuplot(细节) |
| mac64电脑 |
带有的Mac电脑
Intel或ARM处理器
CADP mac64二进制文件
在任何Mac上执行
带ARM的计算机
处理器（M1、M2等）
使用仿真模式 |
MacOS X/MacOS
10.15“Catalina”，
11“大苏尔”，
12“蒙特雷”，
13“文图拉”，或
14“索诺玛” |
X11/石英，X代码，
Ghostscript、Gnuplot、wget(细节) |
注意：我们使用Debian作为参考，但也支持其他Linux发行版（例如，Fedora、Red Hat、Suse等）。要知道是否支持特定的发行版，请将您的内核和libc版本与Debian发行版进行比较。
可能支持的平台
对于以下平台（其中许多平台不再由其开发人员正式支持），最新版本的CADP可能仍然有效，因为它们仍然包含用于这些平台的可执行文件，并且因为我们没有明确更改CADP以放弃对这些平台的支持。然而，我们已经停止在这些平台上测试CADP，因此，我们没有声称最新版本的CADP仍然可以在这些平台中使用。如果您对此有反馈，请与分享您的信息cadp@inria.fr这样我们可以更新这个页面。
| CADP架构名称 |
硬件/处理器 |
操作系统版本 |
| 溶胶64 |
Sun工作站
带Intel处理器 |
Solaris 10 |
| mac64电脑 |
带有的Mac电脑
英特尔处理器 |
MacOS X/MacOS系统
10.10“约塞米蒂”，
10.11“El Capitan”，
10.12“Sierra”，
10.13“High Sierra”，
10.14“莫哈韦”
（64位模式） |
传统平台
最新版本的CADP不再支持以下平台。CADP发行版中进行了明确的更改，以停止支持这些平台（例如，删除相应的可执行文件或使用不兼容的二进制文件升级它们）。原则上，不再分发CADP的过时版本。然而，在特定情况下，它们可以以一定的成本和条件提供。
| CADP架构名称 |
硬件/处理器 |
操作系统版本 |
支架末端 |
历史文件项 |
旧版CADP |
| 太阳3 |
Sun工作站
带680x0处理器 |
苏索斯4.1* |
1996年6月 |
373号零件 |
Z-q版 |
| 太阳4号 |
Sun工作站
带Sparc处理器 |
SunOS 4.1* |
2001年8月 |
771号零件 |
2001版“渥太华” |
| 太阳5号 |
Sun工作站
带Sparc处理器 |
最多包括Solaris 7 |
2006年10月 |
1143号零件 |
2001版“渥太华”或
2005-f版Beta“爱丁堡” |
| iX86系列 |
PC和服务器
使用x86处理器 |
内核版本<=2.2的Linux
和/或glibc版本<2.3 |
2006年10月 |
1143号零件 |
2001版“渥太华”或
2005-f版Beta“爱丁堡” |
| 温32 |
电脑和服务器
使用x86处理器 |
Windows 98和Windows NT 4 |
2006年10月 |
1143号零件 |
2001版“渥太华”或
2005-f版Beta“爱丁堡” |
| macOS操作系统 |
带有的Mac电脑
PowerPC处理器 |
Mac OS X版本10.2和10.3
（苹果不再支持） |
2007年5月 |
1203号零件 |
2006版“爱丁堡”或
Beta 2007-e版“苏黎世” |
| iX86系列 |
PC和服务器
使用x86处理器 |
Debian Linux 4（Debian官方
2010年2月15日停止支持） |
2012年3月 |
1596号零件 |
2006版“爱丁堡”或
2010年版Beta“苏黎世”（RC30） |
| x64像素 |
PC和服务器
带x86-64处理器 |
64位Linux，glibc版本<=2.6 |
2012年4月 |
1601号零件 |
2001版“渥太华”或
2005-f版Beta“爱丁堡” |
| 太阳5号 |
Sun工作站
Sparc处理器 |
Solaris 10（32位模式） |
2014年1月 |
1764号零件 |
2013-l版“苏黎世” |
| 太阳64 |
Sun工作站
Sparc处理器 |
Solaris 10（64位模式） |
2014年1月 |
1764号零件 |
2013-l版“苏黎世” |
| ia64码 |
含Intel的服务器
安腾IA64处理器 |
64位Linux（>=Debian 5.0） |
2014年1月 |
1764号零件 |
2013-l版“苏黎世” |
| macOS操作系统 |
带有的Mac电脑
PowerPC处理器 |
Mac OS X 10.6“雪豹” |
2014年1月 |
1764号零件 |
2013-l版“苏黎世” |
| 溶胶86 |
带有的计算机
英特尔处理器 |
Solaris 8和9（32位模式） |
2020年2月 |
2570号零件 |
2020-a版“奥尔堡” |
| 溶胶64 |
带有的计算机
英特尔处理器 |
Solaris 8和9（64位模式） |
2020年2月 |
2570号零件 |
2020-a版“奥尔堡” |
| iX86、x64 |
PC和服务器
使用x86或x86-64处理器 |
32位或64位Linux，glibc版本<2.11 |
2020年4月 |
2581号零件 |
2020-d版“奥尔堡” |
| mac86系列 |
Mac计算机
带Intel处理器 |
从Mac OS X 10.4“Tiger”到macOS 10.14“Mojave”（32位模式）
-参见遗留详细信息 |
2020年10月 |
2629号零件 |
2020-i版“奥尔堡” |
| 溶胶86 |
带有的计算机
Intel或AMD处理器 |
OpenIndiana或Solaris 10或11（32位模式） |
2022年12月 |
2847号零件 |
2022-l版“Kista” |
| iX86、x64 |
PC和服务器
使用x86或x86-64处理器 |
32位或64位Linux，glibc版本<2.14 |
2023年2月 |
2853号零件 |
2023-a版“亚琛” |
| 温32 |
电脑和服务器
使用x86处理器 |
Windows 8.1、10或11（32位模式）-可能还包括Windows 2000、XP、Vista、7或8 |
2023年12月 |
2944号零件 |
2023-l版“亚琛” |
2.65版最新更新日期：2024/01/13 09:31:14
返回CADP主页
