Mentions légales du service

Skip to content

Restructure Why3 configuration and autoconfiguration

François Bobot requested to merge fix_prover_config into master
  • The rc file in the configuration (`Whyconf.t) contains only the user rc file (.why3.conf)
    • Only the function Whyconf.User.* modifies this rc file
    • The generation of the builtin provers is done before loading the user rc files which as the priority
    • why3 config loses the option --detect*
    • why3 config don't detect plugins anymore
Edited by François Bobot

Merge request reports