Certification Problem Format

Changes from Version 2.1 to Version 2.2

Versions 2.2 and 2.3 are backwards-compatible extensions of version 2.1 where several new proof techniques have been added. Please look at the changelog to see the list of newly added techniques.

Changes from Version 2 to Version 2.1

There are some extensions in CPF version 2.1 which have been added to CPF version 2.

In the metadata, the toolname and version are now mandatory in versions 2.1 - 2.3. This is a minor incompatibility to version 2. To update existing proofs, one can use the converter cpf_v2.x_to_cpf_v2.3.xsl which changes the version number to 2.3 and enters some default toolname and toolversion if these entries are not present. To invoke the converter, just call:

xsltproc --maxdepth 1000000 --maxparserdepth 10000000 cpf_v2.x_to_cpf_v2.3.xsl myproof.xml

Changes from Version 1 to Version 2

(all changes have been developed with financial support from the france focus of the University of Innsbruck)

There are several extensions and changes to CPF when comparing CPF version 1 (cpf.xsd) and the current version 2. Below we tried to give a complete list.