Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
!400
Compile Why3 tools as plugins (fix
#485
,
#478
,
#507
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guillaume Melquiond
requested to merge
shared
into
master
Oct 07, 2020
Overview
8
Commits
15
Pipelines
0
Changes
22
Expand
Make
why3ide
work.
Make bytecode compilation work.
Make
why3ide
slimmer.
Check build with
lablgtk2
.
Check deployed image.
Edited
Oct 21, 2020
by
Guillaume Melquiond
Merge request reports