Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
2e793f8e
Commit
2e793f8e
authored
Oct 22, 2020
by
Allan Blanchard
Browse files
Update opam Frama-C version to 22.0-Titanium
parent
64b8b498
Changes
1
Hide whitespace changes
Inline
Side-by-side
opam/opam
View file @
2e793f8e
opam-version: "2.0"
name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C"
version: "2
1.1+dev
"
version: "2
2.0-beta
"
description:"""
Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment