stable

frama-c-28.1-1.fc39

FEDORA-2024-76da7a4883 created by jjames 2 months ago for Fedora 39

Changes in frama-c 28.1:

  • Kernel: Fix Cil.isConstant on lvalues with offset.
  • Ivette: Fix Ivette shell wrapper on macOS.
  • WP: Fix interactive prover startup.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2024-76da7a4883

This update has been submitted for testing by jjames.

2 months ago

This update's test gating status has been changed to 'ignored'.

2 months ago

This update has been pushed to testing.

2 months ago

This update's test gating status has been changed to 'waiting'.

2 months ago

This update's test gating status has been changed to 'ignored'.

2 months ago

This update has been submitted for stable by bodhi.

2 months ago

This update has been pushed to stable.

2 months ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
2 months ago
in testing
2 months ago
in stable
2 months ago
approved
2 months ago

Automated Test Results