Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
36
Merged
952
Closed
74
All
1,062
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Milestone due date
Clean standard library.
!451
· created
Jan 29, 2021
by
Guillaume Melquiond
1.4.0
Merged
0
updated
Jan 29, 2021
Resolve "Doc: document the any construct"
!445
· created
Jan 27, 2021
by
MARCHE Claude
1.4.0
component: documentation
Merged
0
updated
Jan 27, 2021
Install "-bin-annot" files for Merlin users (fix #523).
!440
· created
Jan 25, 2021
by
Guillaume Melquiond
1.4.0
component: build system
Merged
0
updated
Jan 25, 2021
Fix continuous integration (partly revert 333c915e).
!439
· created
Jan 24, 2021
by
Guillaume Melquiond
1.4.0
component: continuous integration
Merged
0
updated
Jan 24, 2021
Move the generation of library-*.dot files to Makefile.
!438
· created
Jan 23, 2021
by
Guillaume Melquiond
1.4.0
component: build system
component: documentation
Merged
0
updated
Jan 23, 2021
Restore plugin hypothesis_selection (fix #453).
!437
· created
Jan 22, 2021
by
Guillaume Melquiond
1.4.0
component: build system
Merged
0
updated
Jan 22, 2021
[Doc] Add documentation for Tagset
!436
· created
Jan 22, 2021
by
François Bobot
1.4.0
Merged
Approved
0
updated
Feb 07, 2021
Add a wrapper around Dynlink.
!434
· created
Jan 20, 2021
by
Guillaume Melquiond
1.4.0
component: tools
Merged
Approved
0
updated
Jan 22, 2021
Resolve "Ugly output of why3replay"
!431
· created
Jan 15, 2021
by
Benedikt Becker
1.4.0
component: tools
Merged
1
updated
Jan 18, 2021
Generalize invariant witness
!428
· created
Dec 17, 2020
by
François Bobot
1.5.0
Merged
24
updated
Apr 24, 2021
Fix datarace during the generation of version-specific Isabelle realizations (fix #503).
!406
· created
Oct 23, 2020
by
Guillaume Melquiond
1.4.0
component: build system
Merged
0
updated
Oct 23, 2020
Minor documentation fixes
!405
· created
Oct 21, 2020
by
Guillaume Melquiond
1.4.0
component: documentation
Merged
0
updated
Oct 21, 2020
Improve handling of long options
!403
· created
Oct 13, 2020
by
Guillaume Melquiond
1.4.0
component: tools
Merged
0
updated
Oct 13, 2020
Compile Why3 tools as plugins (fix #485, #478, #507)
4 of 5 checklist items completed
!400
· created
Oct 07, 2020
by
Guillaume Melquiond
1.4.0
component: build system
component: tools
Merged
8
updated
Oct 26, 2020
Make IDE use native modifiers for shortcuts
!399
· created
Oct 07, 2020
by
Xavier Denis
1.4.0
component: graphical user interface
Merged
6
updated
Oct 07, 2020
Resolve "dependency issues and annoying compilation warnings with the CFG parser"
!395
· created
Sep 17, 2020
by
MARCHE Claude
1.4.0
Merged
0
updated
Sep 17, 2020
Resolve "Doc: semantics of for loops needs fix"
!388
· created
Aug 26, 2020
by
MARCHE Claude
1.3.2
Merged
0
updated
Aug 26, 2020
Improve TryWhy3
!373
· created
May 04, 2020
by
Guillaume Melquiond
1.4.0
component: trywhy3
Merged
0
updated
May 05, 2020
Encode WhyML program into TryWhy3's URL
!372
· created
May 02, 2020
by
Guillaume Melquiond
1.4.0
component: trywhy3
Merged
0
updated
Jan 22, 2021
Resolve "ppx_deriving dependency"
!365
· created
Apr 03, 2020
by
Benedikt Becker
1.4.0
component: build system
priority: blocker
Merged
0
updated
Apr 03, 2020
Prev
1
…
10
11
12
13
14
15
16
17
18
…
48
Next