Skip to content
GitLab
Explore
Sign in
Open
2
Merged
26
Closed
2
All
30
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}}
Updated date
[lsp] fix hover description for val
!99
· created
Aug 28, 2024
by
Loïc Correnson
bug
lsp
Merged
updated
Aug 28, 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
[prove] fix hammer strategy & improve feedback
!82
· created
Jun 24, 2024
by
Loïc Correnson
bug
Merged
1
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
[doc] Fix bugs with clones
5 of 5 checklist items completed
!58
· created
Feb 20, 2024
by
Loïc Correnson
bug
Merged
updated
Apr 26, 2024
[doc] fix several issues with unsafe parameters
!56
· created
Feb 12, 2024
by
Loïc Correnson
1.0
bug
Merged
updated
Apr 26, 2024
Resolve "[init] don't erase existing files"
!53
· created
Feb 06, 2024
by
Benjamin Jorge
1.0
bug
Merged
5
Approved
updated
Apr 26, 2024
[why3] port to why3 1.7.x
!46
· created
Oct 05, 2023
by
Loïc Correnson
1.0
bug
Merged
1
updated
Apr 26, 2024
[doc] Fix instances references
!62
· created
Mar 21, 2024
by
Loïc Correnson
1.0
bug
Merged
updated
Apr 26, 2024
[prove] fixed reported path
!54
· created
Feb 06, 2024
by
Loïc Correnson
bug
Merged
updated
Apr 26, 2024
[wenv] options: make '!' prefix work as expected
!50
· created
Jan 25, 2024
by
Benjamin Jorge
bug
Merged
8
updated
Jan 30, 2024
Resolve "[doc] shall document all files by default"
!52
· created
Jan 29, 2024
by
Loïc Correnson
bug
Merged
updated
Jan 29, 2024
Resolve "[scan] avoid special directories"
!47
· created
Jan 22, 2024
by
Benjamin Jorge
1.0
bug
Merged
8
Approved
updated
Jan 22, 2024
Resolve "[doc] heading and multi-line comments"
!45
· created
Aug 08, 2023
by
Loïc Correnson
1.0
bug
Merged
1
updated
Aug 08, 2023
Resolve "[doc] link with infix `<`"
!42
· created
Aug 08, 2023
by
Loïc Correnson
1.0
bug
Merged
updated
Aug 08, 2023
Resolve "[all] collected files with `.`"
!43
· created
Aug 08, 2023
by
Loïc Correnson
1.0
bug
Merged
updated
Aug 08, 2023
[doc] detecting unsound definitions
!36
· created
Jul 07, 2023
by
Loïc Correnson
bug
Merged
updated
Jul 08, 2023
[prover] fix prover versions
!35
· created
Jul 07, 2023
by
Loïc Correnson
1.0
bug
Merged
updated
Jul 07, 2023
Resolve "[axioms] fix abstract datatypes and constants"
!31
· created
Jun 21, 2023
by
Loïc Correnson
1.0
bug
Merged
updated
Jun 21, 2023
Prev
1
2
Next