Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
!1042
Resolve "using `model_projection` on alias types should be forbidden"
Code
Review changes
Check out branch
Download
Patches
Plain diff
MARCHE Claude
requested to merge
841-using-model_projection-on-alias-types-should-be-forbidden
into
master
Mar 28, 2024
Overview
1
Commits
3
Pipelines
0
Changes
14
Expand
Closes
#841 (closed)
Merge request reports