Mentions légales du service

Skip to content

Remove builtin values in why3.conf

François Bobot requested to merge add_option_no_stdlib into master
  • remove standard library loadpath
  • remove plugins
  • réduire les infos contenues dans why3.conf -> les infos qui sont des copies extraites de prover-detection-data.conf ne devraient pas être copiées mais relues depuis prover-detection-data.conf à chaque démarrage de why3
  • Faire fonctionner add-prouveur.
  • Problème de save dans l'IDE
Edited by François Bobot

Merge request reports