Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Merge requests
Open
36
Merged
979
Closed
77
All
1,092
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Resolve "eliminate_if transformation explodes"
!272
· created
Nov 08, 2019
by
MARCHE Claude
Hackathon
Merged
updated
Nov 13, 2019
Replace Str by Re.Str. (Fixes #381)
!271
· created
Nov 08, 2019
by
Guillaume Melquiond
component: build system
Merged
1
updated
Nov 14, 2019
Mpfr minorfix
!270
· created
Nov 08, 2019
by
MARCHE Claude
Hackathon
Merged
updated
Nov 08, 2019
ide colors: Change names and usage of colors variable in gconfig
!269
· created
Nov 08, 2019
by
DAILLER Sylvain
Merged
updated
Nov 08, 2019
Error for `syntax function/constant/predicate` in pdrivers
!268
· created
Nov 08, 2019
by
Benedikt Becker
Hackathon
Merged
3
updated
Nov 13, 2019
Erase all color location on every source views
!267
· created
Nov 08, 2019
by
DAILLER Sylvain
Merged
updated
Nov 08, 2019
Resolve "avoid jumping after deleting a detached subgoal"
!266
· created
Nov 08, 2019
by
Claudio Belo Lourenco
Hackathon
Merged
updated
Nov 12, 2019
Resolve "Rename `axiom` into `hypothesis` in task printing"
!265
· created
Nov 08, 2019
by
MARCHE Claude
1.3.0
Hackathon
Merged
updated
Nov 08, 2019
ce-bench: fix continuous integration transient failure in ce-bench
!264
· created
Nov 07, 2019
by
DAILLER Sylvain
Merged
updated
Nov 07, 2019
First draft of documentation of transformation with arguments
!263
· created
Nov 07, 2019
by
DAILLER Sylvain
Merged
1
updated
Nov 22, 2019
transformation: merge assert and cut (basically the same function)
!262
· created
Nov 07, 2019
by
DAILLER Sylvain
Merged
updated
Nov 07, 2019
Reduce the memory footprint of sessions by sharing common suffixes of shapes.
!261
· created
Nov 04, 2019
by
Guillaume Melquiond
Merged
updated
Nov 04, 2019
Makefile: Compare handcrafted message with diff and ignore whitespace
!260
· created
Nov 04, 2019
by
DAILLER Sylvain
Merged
updated
Nov 04, 2019
Why3pp addendum⁴
!259
· created
Nov 04, 2019
by
Benedikt Becker
1.3.0
Merged
updated
Nov 08, 2019
transformation hide: Fix order of declarations fix #405
!258
· created
Nov 04, 2019
by
DAILLER Sylvain
Merged
updated
Nov 04, 2019
Resolve "Theory "string.String" is unsound"
!257
· created
Nov 04, 2019
by
Claudio Belo Lourenco
1.3.0
component: provers
component: theories
soundness
Merged
updated
Nov 12, 2019
WIP: Resolve "Add support for Isabelle 2019"
!256
· created
Oct 31, 2019
by
MARCHE Claude
1.3.0
Closed
3
updated
Mar 03, 2020
Avoid deprecated functions.
!255
· created
Oct 29, 2019
by
Guillaume Melquiond
Merged
updated
Oct 29, 2019
Various build improvements
!254
· created
Oct 29, 2019
by
Guillaume Melquiond
component: build system
Merged
updated
Oct 29, 2019
transformation args: space immediately after ',' are not args separators
!253
· created
Oct 28, 2019
by
DAILLER Sylvain
Merged
updated
Oct 29, 2019
Prev
1
…
38
39
40
41
42
43
44
45
46
…
55
Next