Mentions légales du service

Skip to content

[Dune] Prepare the use of dune-site

François Bobot requested to merge before-dune into master

The directories libdir and datadir are list of directories because dune-site will allow other package to install in the directory of why3:

  • new drivers
  • new provers configuration
  • new iconset
  • new extraction because too complicated to points coq to all of the possible one
  • new mlw in stdlib
Edited by François Bobot

Merge request reports