Mentions légales du service

Skip to content

graphical interfaces now reload libraries when doing reload

DAILLER Sylvain requested to merge reload_libraries into master

After 11f28a8a, why3ide would not reload dependency libraries when reloading a file. This implements 2 modes for reload_files:

  • reload with libraries and drivers (intended for IDEs and graphical interfaces)
  • reload only the current file (intended to optimize Why3 used in scripts files)

Merge request reports