src/invariant.ml · 31665f5ea05757ef80fff2b4d29d2086f2e52fe1 · POTTIER Francois / menhir · GitLab

Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Find file Blame History Permalink

Modified [Invariant] to better decide which symbols must track their start or end positions. · 31665f5e
POTTIER Francois authored Nov 12, 2015
```
Some constraints were missing, some constraints were too coarse.
Also, switched to using [FixSolver] instead of a home-made system.
```
31665f5e

invariant.ml 29 KB