From 87cc1d5ac3e1554158f15b1f6e8c405b41bae370 Mon Sep 17 00:00:00 2001 From: Thibault Martin <thi.martin.pro@pm.me> Date: Wed, 5 Jun 2024 17:46:49 +0200 Subject: [PATCH] Release of 29.0 (Copper) --- ALL_VERSIONS | 1 + VERSION | 2 +- opam | 4 ++-- releases/29.0.md | 3 ++- 4 files changed, 6 insertions(+), 4 deletions(-) diff --git a/ALL_VERSIONS b/ALL_VERSIONS index 1b2b1d941b7..b1b8812d343 100644 --- a/ALL_VERSIONS +++ b/ALL_VERSIONS @@ -1,5 +1,6 @@ Version number Date of release Notes ============== =============== ===== +29.0 (Copper) 2024, June 6 28.1 (Nickel) 2024, March 24 Bugs fixed 28.0 (Nickel) 2023, November 29 27.1 (Cobalt) 2023, July 18 diff --git a/VERSION b/VERSION index f61b636189f..231f5c7799c 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -29.0~beta +29.0 diff --git a/opam b/opam index 305c39d9ae7..95cb4393d10 100644 --- a/opam +++ b/opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "frama-c" synopsis: "Platform dedicated to the analysis of source code written in C" -version: "29.0~beta" +version: "29.0" description:""" Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the @@ -75,7 +75,7 @@ authors: [ homepage: "https://frama-c.com/" license: "LGPL-2.1-only" dev-repo: "git+https://git.frama-c.com/pub/frama-c.git" -doc: "http://frama-c.com/download/user-manual-29.0-beta-Copper.pdf" +doc: "http://frama-c.com/download/user-manual-29.0-Copper.pdf" bug-reports: "https://git.frama-c.com/pub/frama-c/issues" tags: [ "deductive" diff --git a/releases/29.0.md b/releases/29.0.md index d408385573d..5207c9a8e39 100644 --- a/releases/29.0.md +++ b/releases/29.0.md @@ -23,7 +23,8 @@ - Extended support for Ivette # Ivette -- Revamped workspace (tabs, views, dock, alerts, …) +- Revamped workspace (tabs, views, dock, alerts, notifications, …) - Types and Globals navigation - Better feedback on Eva values evaluation - Extended support for WP +- Improve performances -- GitLab