Merge requests · pub · GitLab

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

P pub
Group information
- Group information
- Activity
- Labels
- Members
Issues 198
- Issues 198
- List
- Board
- Milestones
Merge requests 11
- Merge requests 11
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

pub
Merge requests

Open 11
Merged 300
Closed 28
All 339

New internship/refinement

pub.frama-c.com!214 · created Dec 07, 2023 by Allan Blanchard
- Merged
- 0
updated Dec 07, 2023
Release 28.0 NIckel: add Ivette packages for Linux

pub.frama-c.com!213 · created Dec 01, 2023 by Allan Blanchard
- Merged
- 10
updated Dec 05, 2023
Add simplified regression test for init

colibrics!46 · created Nov 30, 2023 by François Bobot
- Merged
- 1
updated Dec 07, 2023
Release 28.0-Nickel

pub.frama-c.com!212 · created Nov 30, 2023 by Frama-CI Bot
- Merged
- 0
updated Nov 30, 2023
Fix unsoundness with sqrt

colibrics!45 · created Nov 29, 2023 by François Bobot
- Merged
- 0
updated Nov 29, 2023
Allows to detect contradiction when looking for choices

colibrics!44 · created Nov 16, 2023 by François Bobot
- Merged
- 4
updated Nov 21, 2023
MetAcsl 0.5 release

pub.frama-c.com!211 · created Nov 07, 2023 by Virgile Prevosto
release
- Merged
- 0
updated Nov 07, 2023
Update acknowledgement for Roma Maliach-Auguste

frama-c!10 · created Nov 04, 2023 by Roma Maliach-Auguste
- Merged
- 3
updated Nov 07, 2023
Multiple fixes on auto-generated pages

pub.frama-c.com!210 · created Oct 27, 2023 by Allan Blanchard
- Merged
- 1
updated Nov 29, 2023
New position

pub.frama-c.com!209 · created Oct 27, 2023 by Allan Blanchard
- Merged
- 0
updated Oct 27, 2023
Release 28.0~beta-Nickel

pub.frama-c.com!208 · created Oct 26, 2023 by Frama-CI Bot
- Merged
- 0
updated Oct 26, 2023
Fixes propagation of zero into known non-zero variable

colibrics!43 · created Oct 26, 2023 by François Bobot
- Merged
- 0
updated Nov 16, 2023
Adding check-callee-assigns option

meta!1 · created Oct 24, 2023 by Teo BERNIER stable/cobalt
- Merged
- 24
updated Nov 07, 2023
Clean layouts

pub.frama-c.com!207 · created Oct 23, 2023 by Allan Blanchard
- Merged
- 0
updated Oct 23, 2023
Add API

pub.frama-c.com!206 · created Oct 23, 2023 by Allan Blanchard
- Merged
- Approved
- 5
updated Nov 09, 2023
Update + fix Changelog

pub.frama-c.com!205 · created Oct 20, 2023 by Allan Blanchard
- Merged
- 0
updated Oct 23, 2023
add mbedtls as case study

open-source-case-studies!44 · created Oct 18, 2023 by Virgile Prevosto
- Merged
- 0
updated Oct 26, 2023
Fix model finding for reals

colibrics!42 · created Oct 16, 2023 by François Bobot
- Merged
- 0
updated Oct 20, 2023
[Simplex] readd the accelerator when looking for equalities

colibrics!41 · created Oct 13, 2023 by François Bobot
- Merged
- 0
updated Oct 13, 2023
Uninterp use disequalities for models

colibrics!40 · created Oct 13, 2023 by François Bobot
- Merged
- 0
updated Oct 13, 2023

Prev
1
2
3
4
5
…
15
Next