Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama Clang
Commits
ec9af29a
Commit
ec9af29a
authored
Jul 09, 2020
by
Virgile Prevosto
Browse files
preparing 0.0.9 release
parent
32a2c056
Changes
4
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
ec9af29a
...
...
@@ -24,7 +24,7 @@
### we have two auxiliary Makefiles, one for each side of the front-end.
### We define here general targets that will operate on both sides.
FCLANG_VERSION
=
0.0.
8+dev
FCLANG_VERSION
=
0.0.
9
PLUGIN_DIR
?=
.
...
...
VERSION
View file @
ec9af29a
2
0
.0
Calc
ium
2
1
.0
Scand
ium
doc/userman/changes.tex
View file @
ec9af29a
...
...
@@ -3,7 +3,14 @@
This chapter summarizes the changes in
\fclang
and its documentation
between each release, with the most recent releases first.
\section*
{
Version
\fclangversion
}
\section*
{
Version 0.0.9
}
\begin{itemize}
\item
compatibility with
\clang
10.0
\item
compatibility with
\framac
21.x
\item
support for implicit initialization of POD objects.
\end{itemize}
\section*
{
Version 0.0.8
}
\begin{itemize}
\item
compatibility with
\clang
9.0
\item
compatibility with
\framac
20.0
...
...
doc/userman/fclangversion.tex
View file @
ec9af29a
\newcommand
{
\version
}{
0.0.
8
\xspace
}
\newcommand
{
\fclangversion
}{
0.0.
8
\xspace
}
\newcommand
{
\fcversion
}{
2
0.0~Calc
ium
\xspace
}
\newcommand
{
\clangversion
}{
6.0-
9
.0
\xspace
}
\newcommand
{
\version
}{
0.0.
9
\xspace
}
\newcommand
{
\fclangversion
}{
0.0.
9
\xspace
}
\newcommand
{
\fcversion
}{
2
1.x~Scand
ium
\xspace
}
\newcommand
{
\clangversion
}{
6.0-
10
.0
\xspace
}
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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