Mentions légales du service

Skip to content

V726-002 fix and improve why3server interrupt function

Johannes Kanig requested to merge 625_interrupt into master

This merge request:

  • fixes various issues in the "interrupt" functionality of the why3server
  • implements a new function in the Controller_itp to interrupt all proof attempts related to a goal.

See the commit messages for more details.

Edited by Johannes Kanig

Merge request reports