Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
!207
Make sure that term comparison takes locations into account (fixes
#366
).
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guillaume Melquiond
requested to merge
366-compare-locs
into
master
Jul 12, 2019
Overview
2
Commits
4
Pipelines
0
Changes
83
Expand
Closes
#366 (closed)
Edited
Jul 13, 2019
by
Guillaume Melquiond
Merge request reports