Merge requests · pub

[provers] rework prover patterns and selection

why3find!65 · created Apr 02, 2024 by Benjamin Jorge 1.0
- Merged
- 16
updated Apr 26, 2024
[ci] use public nix runner

why3find!72 · created Apr 22, 2024 by Allan Blanchard 1.0
CI
- Merged
- 1
updated Apr 26, 2024
Resolve "[config] option to use registered provers from why3 conf without running why3 config detect"

why3find!66 · created Apr 02, 2024 by Benjamin Jorge 1.0
- Merged
- 3
updated Apr 26, 2024
[ci] update CI

why3find!67 · created Apr 04, 2024 by Benjamin Jorge 1.0
- Merged
- 1
updated Apr 26, 2024
Warning summary

why3find!61 · created Mar 18, 2024 by Benjamin Jorge 1.0
- Merged
- 1
updated Apr 26, 2024
Unify prover identification

why3find!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

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

why3find!56 · created Feb 12, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
Resolve "[init] don't erase existing files"

why3find!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

why3find!46 · created Oct 05, 2023 by Loïc Correnson 1.0
bug
- Merged
- 1
updated Apr 26, 2024
[config] better option management

why3find!55 · created Feb 09, 2024 by Loïc Correnson 1.0
feature
- Merged
- 23
updated Apr 26, 2024
[log] Improved output

why3find!63 · created Mar 28, 2024 by Loïc Correnson 1.0
feature
- Merged
- 26
updated Apr 26, 2024
[opam] fix versions

why3find!68 · created Apr 07, 2024 by Loïc Correnson
feature
- Merged
- 10
updated Apr 26, 2024
[doc] Fix instances references

why3find!62 · created Mar 21, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
[ci] Update nix commit

why3find!60 · created Mar 13, 2024 by Allan Blanchard
CI
updated Apr 26, 2024
[prove] fixed reported path

why3find!54 · created Feb 06, 2024 by Loïc Correnson
bug
updated Apr 26, 2024
new plugin: alias

pub.frama-c.com!223 · created Apr 12, 2024 by Jan Rochel
- Merged
- 4
updated Apr 17, 2024
[jobs] postdoc positions

pub.frama-c.com!224 · created Apr 15, 2024 by Allan Blanchard
- Merged
- 9
- Approved
updated Apr 17, 2024
Add Frama-C Days

pub.frama-c.com!225 · created Apr 15, 2024 by Allan Blanchard
updated Apr 15, 2024
synchronize with frama-c master

open-source-case-studies!53 · created Apr 05, 2024 by Andre Maroneze
updated Apr 05, 2024