Merge requests · pub

[jobs] postdoc positions

pub.frama-c.com!224 · created Apr 15, 2024 by Allan Blanchard
- Merged
- 9
- Approved
updated Apr 17, 2024
[config] command --check

why3find!70 · created Apr 15, 2024 by Benjamin Jorge
- Merged
- 8
- 1
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
Update license and project infos

why3find!69 · created Apr 09, 2024 by Benjamin Jorge 1.0
updated Apr 26, 2024
Draft: use why3find

colibrics!58 · created Apr 08, 2024 by François Bobot
- 1
updated Apr 09, 2024
[opam] fix versions

why3find!68 · created Apr 07, 2024 by Loïc Correnson
feature
- Merged
- 10
updated Apr 26, 2024
synchronize with frama-c master

open-source-case-studies!53 · created Apr 05, 2024 by Andre Maroneze
updated Apr 05, 2024
[ci] update CI

why3find!67 · created Apr 04, 2024 by Benjamin Jorge 1.0
- 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
[provers] rework prover patterns and selection

why3find!65 · created Apr 02, 2024 by Benjamin Jorge 1.0
- Merged
- 16
updated Apr 26, 2024
[prove] render pending task on console

why3find!64 · created Mar 28, 2024 by Loïc Correnson
feature
- Merged
- 21
updated Apr 30, 2024
[log] Improved output

why3find!63 · created Mar 28, 2024 by Loïc Correnson 1.0
feature
- Merged
- 26
updated Apr 26, 2024
Improve nsequence, arrays and implement diff logic

colibrics!57 · created Mar 26, 2024 by François Bobot
- Merged
updated Mar 26, 2024
frama-clang Release 0.0.15

pub.frama-c.com!222 · created Mar 25, 2024 by Frama-CI Bot
- Merged
- Approved
updated Mar 26, 2024
[doc] Fix instances references

why3find!62 · created Mar 21, 2024 by Loïc Correnson 1.0
bug
updated Apr 26, 2024
synchronize with frama-c master

open-source-case-studies!52 · created Mar 21, 2024 by Andre Maroneze
updated Mar 21, 2024
check that summary.md is up-to-date via the CI

open-source-case-studies!51 · created Mar 20, 2024 by Andre Maroneze
updated Mar 21, 2024
[gzip124] improve parametrization

open-source-case-studies!50 · created Mar 20, 2024 by Andre Maroneze
updated Mar 20, 2024
[gui] Fix menu item labels alignment

frama-c!12 · created Mar 19, 2024 by Sylvain
- Closed
- 1
updated Mar 29, 2024
use local 'cloc' to ensure a stable summary.md; only include git-tracked files

open-source-case-studies!49 · created Mar 19, 2024 by Andre Maroneze
- Merged
- 1
updated Mar 19, 2024