Skip to content
Snippets Groups Projects
Commit c5a50737 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Version bump

parent 12dcd99a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ALL_VERSIONS
+ 1
− 0
View file @ c5a50737
Version number Date of release Notes Version number Date of release Notes
============== =============== ===== ============== =============== =====
24.0 (Chromium) 2021, November 30
23.1 (Vanadium) 2021, July 20 23.1 (Vanadium) 2021, July 20
23.0 (Vanadium) 2021, July 7 23.0 (Vanadium) 2021, July 7
22.0 (Titanium) 2020, November 17 22.0 (Titanium) 2020, November 17
......
VERSION
+ 1
− 1
View file @ c5a50737
24.0~beta 24.0
opam/opam
+ 1
− 1
View file @ c5a50737
opam-version: "2.0" opam-version: "2.0"
name: "frama-c" name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C" synopsis: "Platform dedicated to the analysis of source code written in C"
version: "24.0~beta" version: "24.0"
description:""" description:"""
Frama-C gathers several analysis techniques in a single collaborative Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the framework, based on analyzers (called "plug-ins") that can build upon the
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment