better names in eval match (!1049) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Jean-Christophe Filliâtre requested to merge better_names_in_eval_match into master Apr 12, 2024

lookup_names in eval_match now descends under Tlet