Skip to content
Snippets Groups Projects
Commit 96a02b9a authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Doc/Changelog] add entry for !1937 and update manpage

parent 7968915d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Changelog
+ 2
− 0
View file @ 96a02b9a
...@@ -17,6 +17,8 @@ ...@@ -17,6 +17,8 @@
Open Source Release <next-release> Open Source Release <next-release>
################################## ##################################
- Kernel [2020-05-26] New option -explain, which provides help messages
for options used on the command line.
- Eva [2020-05-25] New annotation eva_allocate to configure the behavior - Eva [2020-05-25] New annotation eva_allocate to configure the behavior
of an allocation builtin for a call, overriding the global option. of an allocation builtin for a call, overriding the global option.
- Eva [2020-05-25] New option -eva-alloc-builtin to configure uniformly - Eva [2020-05-25] New option -eva-alloc-builtin to configure uniformly
......
man/frama-c.1
+ 5
− 0
View file @ 96a02b9a
...@@ -95,6 +95,11 @@ prints the list of options recognized by Frama\-C's kernel ...@@ -95,6 +95,11 @@ prints the list of options recognized by Frama\-C's kernel
.RS .RS
.RE .RE
.TP .TP
.B \-explain
prints a help message for each other option given on the command line
.RS
.RE
.TP
.B \-verbose \f[I]n\f[] .B \-verbose \f[I]n\f[]
sets verbosity level. sets verbosity level.
Defaults to 1. Defaults to 1.
......
man/frama-c.1.header
+ 1
− 1
View file @ 96a02b9a
...@@ -25,4 +25,4 @@ ...@@ -25,4 +25,4 @@
.\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file .\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
.\" and run `make man/frama-c.1`. .\" and run `make man/frama-c.1`.
.TH FRAMA-C 1 2020-04-02 .TH FRAMA-C 1 2020-05-26
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