`copilot-theorem`: Extend range of versions of kind2

[ivanperez-keera]

Description

In order to keep Copilot effectively working in the current software ecosystem, we need to extend the versions of dependencies that Copilot can be installed with. kind2 has seen release 2.3.0, but copilot-theorem requires kind2 0.7.2.

Type

• Management: update versions of dependencies.

Additional context

None.

Requester

• Ivan Perez.

Method to check presence of bug

Not applicable (not a bug).

Expected result

Copilot can be installed with a modern version of kind2.

Desired result

Copilot can be installed with a modern version of kind2.

Proposed solution

Modify translation of Copilot to kind2's syntax in copilot-theorem to comply with the requirements of a modern version of kind2, and, if applicable, parsing of the results produced by kind2.

Further notes

None.

[ivanperez-keera]

Change Manager: Confirmed that the issue exists.

[ivanperez-keera]

Technical Lead: Confirmed that the issue should be addressed.

[ivanperez-keera]

Technical Lead: Issue scheduled for fixing in Copilot 4.7.2.

Fix assigned to: @chathhorn-galois .