![]() If you have feedback about this, please share your information with so that we can update this page. 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. To know if a particular distribution is supported, compare your kernel and libc versions to those of Debian distributions.įor 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. NOTE: We use Debian as a reference, but other Linux distributions (e.g., Fedora, Red Hat, Suse, etc.) are also supported. The latest version of CADP runs on the following systems: ![]() Operating systems and base software are constantly evolving: please, share your feedback with to keep this page up to date. There is usually one release the 13th of each month, except in August where it is traditionally scheduled the 26th.Īcademic 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.Ĭommercial users can obtain long-term, stable releases,such as CADP 2017 Pro. Since 2010, the distribution of CADP has evolved towards a monthly rolling release scheme. ![]() The CONVECS team is actively developing CADP, notably in the framework of its current research projects.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |