[Termtools] Examples for "Complexity - C Integer Programs"

[aeflores]

Dear all,

I would like to submit a set of examples to the category: "Complexity - 
C Integer Programs" (given that the category does not have the minimum 
number of examples yet).

The examples are in starExec in the space hierarchy *id = 277293

*They contain an adapted version of the examples from "termination of C 
Integer Programs" (where the main function receives input parameters) 
and a collection of examples taken from the literature.

I apologize for the late submission.
Kind regards,

Antonio
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20170814/62b3f4ff/attachment.html>