Merge requests · pub / Why3find

[log] Improved output

!63 · created Mar 28, 2024 by Loïc Correnson 1.0
feature
- Merged
- 26
updated Apr 26, 2024
[doc] Fix instances references

!62 · created Mar 21, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
Warning summary

!61 · created Mar 18, 2024 by Benjamin Jorge 1.0
- Merged
- 1
updated Apr 26, 2024
[ci] Update nix commit

!60 · created Mar 13, 2024 by Allan Blanchard
CI
updated Apr 26, 2024
Unify prover identification

!59 · created Mar 12, 2024 by Benjamin Jorge
- Merged
- 1
- 1
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
Resolve "[prove] preserves partial proofs on Ctrl-C"

!57 · created Feb 16, 2024 by Benjamin Jorge
feature
- Closed
- 18
- Approved
updated May 14, 2024
[doc] fix several issues with unsafe parameters

!56 · created Feb 12, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
[config] better option management

!55 · created Feb 09, 2024 by Loïc Correnson 1.0
feature
- Merged
- 23
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 "[prove] give more information on failure"

!49 · created Jan 24, 2024 by Benjamin Jorge
feature
- Merged
- 13
- Approved
updated Feb 05, 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
[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 "[doc] missing summaries in index"

!44 · created Aug 08, 2023 by Loïc Correnson 1.0
feature
updated Aug 08, 2023