Mentions légales du service

Skip to content

Refactor RAC

Benedikt Becker requested to merge refactor-rac into master

This MR separates the RAC implementation based on Why3 transformations and provers (Rac.Why) from the interpreter (Pinterp). It also improves the overall terminology of counterexample checking, the API, and the documentation.

Edited by Benedikt Becker

Merge request reports