Merge requests · pub

[doc] new changelog

why3find!136 · created Oct 24, 2024 by Loïc Correnson 1.1
manual
- Merged
- 4
updated Oct 29, 2024
[prove] forward warnoff options to ide

why3find!139 · created Oct 28, 2024 by Benjamin Jorge
updated Oct 28, 2024
[lsp] vsix artefact

why3find!93 · created Aug 19, 2024 by Loïc Correnson 1.1
CI
- Merged
- 1
- Approved
updated Oct 24, 2024
Improve nix checks

why3find!133 · created Oct 22, 2024 by Benjamin Jorge
- Merged
- Approved
updated Oct 24, 2024
[hammer] fix tactic ordering

why3find!129 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 21
- Approved
updated Oct 23, 2024
Fix multiple move_to_root

why3find!132 · created Oct 21, 2024 by Benjamin Jorge
- Merged
- Approved
updated Oct 23, 2024
[doc] fix self module ref

why3find!130 · created Oct 18, 2024 by Loïc Correnson 1.1
bug
- Merged
- 2
- Approved
updated Oct 18, 2024
Add CHANGES.md

why3find!128 · created Oct 15, 2024 by Benjamin Jorge
- Merged
- 2
- 1
updated Oct 18, 2024
[make] fix headers

why3find!131 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 1
updated Oct 18, 2024
Cleanup and fix scheduler

colibrics!76 · created Oct 17, 2024 by François Bobot
- Merged
- 1
updated Oct 17, 2024
Fix learning for decision that doesn't create decisions

colibrics!74 · created Oct 16, 2024 by François Bobot
- Merged
- 2
updated Oct 17, 2024
Merge nseq theory for merge

colibrics!75 · created Oct 17, 2024 by François Bobot
- Merged
updated Oct 17, 2024
[config] rename config options -m and -v to --master and --velocity

why3find!127 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
Warn once

why3find!126 · created Oct 14, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 15, 2024
[prove] fix hammer strategy & improve feedback

why3find!82 · created Jun 24, 2024 by Loïc Correnson
bug
- Merged
- 2
updated Oct 14, 2024
Remove the possibility to use extra why3 config files

why3find!123 · created Oct 08, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 09, 2024
Share pattern matching, and avoid iterating on IP

colibrics!73 · created Oct 07, 2024 by François Bobot
- Merged
- 1
updated Oct 08, 2024
2 internships positions + refine jobs' skeleton.md

pub.frama-c.com!244 · created Oct 07, 2024 by Virgile Prevosto
position
- Merged
- 6
updated Oct 07, 2024
metacsl Release 0.7

pub.frama-c.com!243 · created Oct 03, 2024 by Frama-CI Bot
- Merged
updated Oct 03, 2024
[lsp] fix printing

why3find!122 · created Oct 03, 2024 by Loïc Correnson 1.1
bug lsp
updated Oct 03, 2024