Merge requests · pub / Why3find · GitLab

Resolve "[prove] give more information on failure"

!49 · created Jan 24, 2024 by Benjamin Jorge
feature
- Merged
- 13
- Approved
updated Feb 05, 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
updated Jan 29, 2024
Resolve "[prove] running prove without path argument"

!48 · created Jan 22, 2024 by Benjamin Jorge
- Merged
- Approved
updated Jan 24, 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] missing summaries in index"

!44 · created Aug 08, 2023 by Loïc Correnson 1.0
feature
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
Resolve "[all] collected files with `.`"

!43 · created Aug 08, 2023 by Loïc Correnson 1.0
bug
updated Aug 08, 2023
Resolve "[doc] mention package soundness in features"

!41 · created Jul 18, 2023 by Loïc Correnson 1.0
- Merged
- 5
updated Jul 18, 2023
Add test coverage

!40 · created Jul 14, 2023 by Allan Blanchard
- Merged
- 6
- 1
updated Jul 17, 2023
Resolve "[ide] generate why3 ide strategy"

!38 · created Jul 13, 2023 by Loïc Correnson 1.0
feature
updated Jul 13, 2023
[docgen] remove external infos

!37 · created Jul 13, 2023 by Loïc Correnson
updated Jul 13, 2023
[doc] detecting unsound definitions

!36 · created Jul 07, 2023 by Loïc Correnson
bug
updated Jul 08, 2023
[prover] fix prover versions

!35 · created Jul 07, 2023 by Loïc Correnson 1.0
bug
updated Jul 07, 2023
[doc] compute parametrized module soundness 4 of 4 checklist items completed

!34 · created Jun 29, 2023 by Loïc Correnson
updated Jul 04, 2023
Resolve "[all] better user interface"

!33 · created Jun 26, 2023 by Loïc Correnson 1.0
feature
updated Jun 27, 2023
[doc] Index generation

!32 · created Jun 22, 2023 by Loïc Correnson
- Merged
updated Jun 26, 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
Resolve "[doc] fix links to standard library"

!30 · created Jun 21, 2023 by Loïc Correnson
bug
- Merged
updated Jun 21, 2023

Prev
1
2
3
4
5
6
7
8
Next