This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 0002c30d1df6e7119ab9b38a38f54ce26174b5cd
Author: Ralf Treinen <>
Date:   Sun Oct 9 19:55:22 2016 +0200

    add jessie manpage
 debian/changelog    |  1 +
 debian/jessie.1     | 83 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 debian/why.manpages |  1 +
 3 files changed, 85 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 5fc9d68..118460b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -32,6 +32,7 @@ why (2.36-1) UNRELEASED; urgency=medium
     - format version 4
     - get link to newest version from the krakatoa home page (instead of
       trying to read the download/ directory).
+  * Create manpage, based on the output of help2man, for jessie
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable upstream tests
   * d/rules: create bin directory before invoking dh_auto_build
diff --git a/debian/jessie.1 b/debian/jessie.1
new file mode 100644
index 0000000..0b392e4
--- /dev/null
+++ b/debian/jessie.1
@@ -0,0 +1,83 @@
+.TH JESSIE "1" "October 2016" " " "User Commands"
+Jessie \- plugin of the Frama-C environment for static analysis of C
+code. It aims at deductive verification of behavioral properties of
+the code, specified using the ACSL language.
+\fBjessie\fR [options] files
+stops after parsing
+stops after typing
+check only user\-defined annotations (i.e. safety is assumed)
+stops after call graph and print call graph
+stops after generating intermediate Why3 code
+debugging mode
+<f> reads source locations from file f
+verify only specified behavior (safety, variant, default or user\-defined 
+<why3 command>  (default: ide)
+verbose mode
+quiet mode (default)
+main function for interprocedural abstract interpretation (needs \fB\-ai\fR 
+fast ai (needs \fB\-ai\fR <domain> and \fB\-main\fR <function>)
+verify inferred annotations (needs \fB\-ai\fR <domain>)
+apply region\-based separation on pointers
+treats warnings as errors
+prints version and exit
+generate vcs for all pointer offsets
+verify invariants only (Arguments policy)
+verify only these functions
+\fB\-gen_frame_rule_with_ft\fR Experimental : Generate frame rule for 
predicates and logic functions using only their definitions
+Display this list of options
+Display this list of options
+The tutorial and reference manual for
+.B jessie
+can be obtained at the address
diff --git a/debian/why.manpages b/debian/why.manpages
new file mode 100644
index 0000000..e2986a6
--- /dev/null
+++ b/debian/why.manpages
@@ -0,0 +1 @@

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to