Mentions légales du service

Skip to content

Resolve "support for CVC4 1.8"

Benedikt Becker requested to merge 502-support-for-cvc4-1-8 into master

This MR add support for CVC4 1.8 to the provers detection data, and adds support to the CVC4 string drivers for string.is_digit and string.from_code, which are the newly supported functions that are used by the Why3 string theory.

Closes #502 (closed)

Edited by Benedikt Becker

Merge request reports