Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
!736
Changed the unsecure trusted_wf attribute mechanism into a more secure one
Code
Review changes
Check out branch
Download
Patches
Plain diff
MARCHE Claude
requested to merge
proved_wf_instead_of_trusted_wf
into
master
Sep 14, 2022
Overview
4
Commits
21
Pipelines
0
Changes
74
Expand
This should solve the discussion from MR
!717 (merged)
Merge request reports