Merge requests · pub / Why3find

[lsp] fix code lens

!104 · created Aug 30, 2024 by Loïc Correnson
bug
- Merged
- 8
updated Sep 04, 2024
[doc] fix clone instances mapping

!102 · created Aug 29, 2024 by Loïc Correnson
bug manual
updated Sep 05, 2024
[lsp] fix hover description for val

!99 · created Aug 28, 2024 by Loïc Correnson
bug lsp
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
updated Aug 25, 2024
Resolve "[config] problems when updating config"

!85 · created Jun 25, 2024 by Loïc Correnson
bug
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
[doc] Fix instances references

!62 · created Mar 21, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
[doc] Fix bugs with clones 5 of 5 checklist items completed

!58 · created Feb 20, 2024 by Loïc Correnson
bug
updated Apr 26, 2024
[doc] fix several issues with unsafe parameters

!56 · created Feb 12, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
[prove] fixed reported path

!54 · created Feb 06, 2024 by Loïc Correnson
bug
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
Resolve "[doc] shall document all files by default"

!52 · created Jan 29, 2024 by Loïc Correnson
bug
updated Jan 29, 2024
Draft: Resolve "[config] depth not saved in config"

!51 · created Jan 29, 2024 by Loïc Correnson
bug
- Closed
- 1
updated Jan 29, 2024
[wenv] options: make '!' prefix work as expected

!50 · created Jan 25, 2024 by Benjamin Jorge
bug
- Merged
- 8
updated Jan 30, 2024
Resolve "[scan] avoid special directories"

!47 · created Jan 22, 2024 by Benjamin Jorge 1.0
bug
- Merged
- 8
- Approved
updated Jan 22, 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
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 "[all] collected files with `.`"

!43 · created Aug 08, 2023 by Loïc Correnson 1.0
bug
updated Aug 08, 2023
Resolve "[doc] link with infix `<`"

!42 · created Aug 08, 2023 by Loïc Correnson 1.0
bug
updated Aug 08, 2023