Skip to content
GitLab
Explore
Sign in
Open
4
Merged
121
Closed
12
All
137
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
Functional environment
!97
· created
Aug 27, 2024
by
Benjamin Jorge
Merged
6
updated
Aug 29, 2024
Resolve "[config] check transformations at config and/or proof time"
!96
· created
Aug 26, 2024
by
Loïc Correnson
bug
Merged
2
Approved
updated
Aug 26, 2024
Fix some lsp & vscode issues
!95
· created
Aug 25, 2024
by
Loïc Correnson
bug
Merged
updated
Aug 25, 2024
[lsp] Code Lenses
!94
· created
Aug 22, 2024
by
Loïc Correnson
feature
Merged
updated
Aug 23, 2024
[lsp] vsix artefact
!93
· created
Aug 19, 2024
by
Loïc Correnson
1.1
CI
Merged
1
Approved
updated
Oct 24, 2024
Timing and profiling
!92
· created
Aug 01, 2024
by
Benjamin Jorge
Merged
4
Approved
updated
Sep 02, 2024
Index cache on non-prepared tasks
!91
· created
Jul 09, 2024
by
Benjamin Jorge
Merged
3
1
updated
Jul 12, 2024
[debug] Allow turning on debug flags from plugins
!90
· created
Jul 01, 2024
by
Benjamin Jorge
Merged
2
updated
Jul 01, 2024
[vscode] lsp
!89
· created
Jun 26, 2024
by
Loïc Correnson
feature
Merged
updated
Aug 19, 2024
[vscode] complete syntax highlighting
!88
· created
Jun 26, 2024
by
Loïc Correnson
feature
Merged
updated
Jun 26, 2024
Create why3find library
!87
· created
Jun 26, 2024
by
Benjamin Jorge
Merged
2
updated
Jun 26, 2024
Resolve "[config] make prover versions strict"
!86
· created
Jun 25, 2024
by
Loïc Correnson
feature
Merged
updated
Jul 02, 2024
Resolve "[config] problems when updating config"
!85
· created
Jun 25, 2024
by
Loïc Correnson
bug
Merged
updated
Jun 25, 2024
[vscode] language support for why3
!84
· created
Jun 24, 2024
by
Loïc Correnson
feature
Merged
updated
Jun 25, 2024
[prove] better feedback
!83
· created
Jun 24, 2024
by
Loïc Correnson
feature
Merged
updated
Jun 25, 2024
[prove] fix hammer strategy & improve feedback
!82
· created
Jun 24, 2024
by
Loïc Correnson
bug
Merged
2
updated
Oct 14, 2024
[utils] rework json printing and reading, truncate float values
!81
· created
Jun 21, 2024
by
Benjamin Jorge
Merged
12
updated
Jun 24, 2024
Debug and warnings
!80
· created
Jun 11, 2024
by
Benjamin Jorge
Merged
15
updated
Jun 19, 2024
Don't allow extra config files
!79
· created
Jun 10, 2024
by
Benjamin Jorge
Merged
1
updated
Jun 11, 2024
Update file LICENSE.md
!78
· created
Jun 03, 2024
by
Benjamin Jorge
Merged
updated
Jun 03, 2024
Prev
1
2
3
4
5
6
7
Next