Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
why3
Project overview
Project overview
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
81
Issues
81
List
Boards
Labels
Milestones
Merge Requests
8
Merge Requests
8
Packages
Packages
Container Registry
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Commits
Issue Boards
Open sidebar
Why3
why3
Issues
Open
81
Closed
339
All
420
New issue
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{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}}
Popularity
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
avoid jumping around
#292
· opened
Mar 29, 2019
by
LAWALL Julia
CLOSED
1
1
2
updated
Apr 01, 2019
Improve the "diverges" effect
#184
· opened
Sep 17, 2018
by
Guillaume Melquiond
component: core
component: syntax
feature wish
CLOSED
1
1
4
updated
Oct 04, 2018
The behavior of Ctrl-Down is not user-friendly
#420
· opened
Dec 06, 2019
by
Raphaël Rieu-Helft
component: (graphical) user interface
CLOSED
1
4
updated
Dec 09, 2019
why3config --detect remove manually added prover
#418
· opened
Dec 04, 2019
by
DAILLER Sylvain
CLOSED
1
0
updated
Dec 05, 2019
Stop support for GTK2
#416
· opened
Nov 27, 2019
by
DAILLER Sylvain
To be discussed
CLOSED
1
9
updated
Dec 12, 2019
strings, chars, and OCaml
#415
· opened
Nov 27, 2019
by
Jean-Christophe Filliâtre
CLOSED
1
2
updated
Dec 09, 2019
Bad contract for local function inside recursive functions
#414
· opened
Nov 26, 2019
by
DAILLER Sylvain
component: core
CLOSED
5
updated
Nov 26, 2019
needlessly long pathnames from sessions
#413
· opened
Nov 25, 2019
by
Johannes Kanig
CLOSED
1
11
updated
Nov 29, 2019
Make bench/ce in CI more stable
#408
· opened
Nov 07, 2019
by
DAILLER Sylvain
component: continuous integration
component: counterexample
CLOSED
1
1
updated
Nov 15, 2019
Impossible to build Why3 due to `parser/handcrafted.messages`
#407
· opened
Nov 04, 2019
by
Guillaume Melquiond
1.3.0
component: build system
priority: blocker
CLOSED
1
12
updated
Nov 04, 2019
avoid jumping after deleting a detached subgoal
#406
· opened
Nov 03, 2019
by
LAWALL Julia
Hackathon
CLOSED
1
0
updated
Nov 12, 2019
Hide does not work
#405
· opened
Oct 31, 2019
by
DAILLER Sylvain
component: transformations
CLOSED
1
0
updated
Nov 04, 2019
Theory "string.String" is unsound
#404
· opened
Oct 31, 2019
by
Guillaume Melquiond
1.3.0
component: drivers
component: theories
soundness
CLOSED
1
9
updated
Nov 12, 2019
`why3 ide` fails to start because of some missing files
#402
· opened
Oct 29, 2019
by
Guillaume Melquiond
1.3.0
component: (graphical) user interface
priority: blocker
CLOSED
0
updated
Oct 29, 2019
`apply with` and `rewrite with` should give more details (e.g., quantifier names) when the number of arguments do not match
#399
· opened
Oct 25, 2019
by
Guillaume Melquiond
component: transformations
CLOSED
1
2
updated
Oct 28, 2019
Modifying source in IDE should remove error marks
#398
· opened
Oct 25, 2019
by
Guillaume Melquiond
1.3.0
Hackathon
component: (graphical) user interface
CLOSED
1
0
updated
Nov 08, 2019
Allow modifying colors directly in IDE
#397
· opened
Oct 25, 2019
by
Guillaume Melquiond
Hackathon
component: (graphical) user interface
CLOSED
1
0
updated
Nov 10, 2019
Extraction using a driver on the extracted file
#395
· opened
Oct 17, 2019
by
DAILLER Sylvain
component: extraction
CLOSED
2
updated
Oct 17, 2019
Allow changing foreground color in source on error
#392
· opened
Oct 14, 2019
by
DAILLER Sylvain
1.3.0
Hackathon
CLOSED
1
0
updated
Nov 08, 2019
publicize and document docker images
#390
· opened
Oct 04, 2019
by
MARCHE Claude
1.3.0
CLOSED
2
updated
Oct 29, 2019
Prev
1
2
3
4
5
…
Next
Last »
1
