diff --git a/ALL_VERSIONS b/ALL_VERSIONS index 1b2b1d941b716157fdd8030ab63f26fe823d0e5d..b1b8812d34378cbf5905a0aadc8c1ed3459cedfe 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 f61b636189f1a49d8fc714a3a3ff081169388207..231f5c7799c639c9088ef10365cc94c76dcb1015 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -29.0~beta +29.0 diff --git a/opam b/opam index 305c39d9ae7150a8ad723eb95bdc1a4e95e5bf03..95cb4393d109d77dffb45c2d785e1b0acbb945fc 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 d408385573df3b1bc4fa48a5582ba137c330f122..5207c9a8e39a34c997d7ebc8a360a172a6a6f21d 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