Skip to content
GitLab
Explore
Sign in
Open
4
Merged
145
Closed
13
All
162
Recent searches
Loading
{{ 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}}
Updated date
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
[vscode] lsp
!89
· created
Jun 26, 2024
by
Loïc Correnson
feature
Merged
updated
Aug 19, 2024
Index cache on non-prepared tasks
!91
· created
Jul 09, 2024
by
Benjamin Jorge
Merged
3
1
updated
Jul 12, 2024
Resolve "[config] make prover versions strict"
!86
· created
Jun 25, 2024
by
Loïc Correnson
feature
Merged
updated
Jul 02, 2024
[debug] Allow turning on debug flags from plugins
!90
· created
Jul 01, 2024
by
Benjamin Jorge
Merged
2
updated
Jul 01, 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
[prove] better feedback
!83
· created
Jun 24, 2024
by
Loïc Correnson
feature
Merged
updated
Jun 25, 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
[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
Accept all input formats (including those from plugins)
!77
· created
May 31, 2024
by
Benjamin Jorge
Merged
4
updated
Jun 05, 2024
Update file LICENSE.md
!78
· created
Jun 03, 2024
by
Benjamin Jorge
Merged
updated
Jun 03, 2024
Quick and dirty fix for saving proofs on Ctrl-C
!75
· created
May 14, 2024
by
Benjamin Jorge
1.0
Merged
updated
May 14, 2024
"[readme] improved documentation"
!71
· created
Apr 18, 2024
by
Loïc Correnson
1.0
manual
Merged
14
updated
May 13, 2024
Invalidate cache on why3 version
!73
· created
Apr 29, 2024
by
Benjamin Jorge
Merged
updated
May 01, 2024
Prev
1
2
3
4
5
6
7
8
Next
