Mentions légales du service

Skip to content

Remove precomputation of symbols used by declarations.

Guillaume Melquiond requested to merge remove_dsyms into master

This decreases the memory consumption of Why3 by about 15%.

Merge request reports