From c92628e68f878293d1408fdf9d4317a7ab71ddc1 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Fri, 1 Apr 2016 16:17:46 -0400 Subject: Package Boogie programs for experimental --- debian/bvd.1 | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 debian/bvd.1 (limited to 'debian/bvd.1') diff --git a/debian/bvd.1 b/debian/bvd.1 new file mode 100644 index 00000000..c610e582 --- /dev/null +++ b/debian/bvd.1 @@ -0,0 +1,29 @@ +.\" © 2013, 2015-2016 Benjamin Barenblat +.\" +.\" Licensed under the Apache License, Version 2.0 (the "License"); you may not +.\" use this file except in compliance with the License. You may obtain a copy +.\" of the License at +.\" +.\" http://www.apache.org/licenses/LICENSE-2.0 +.\" +.\" Unless required by applicable law or agreed to in writing, software +.\" distributed under the License is distributed on an "AS IS" BASIS, W.TPOUT +.\" WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the +.\" License for the specific language governing permissions and limitations +.\" under the License. +.pc +.TH bvd 1 "2016-04-01" "Git snapshot 97628c" Boogie +.SH NAME +bvd \- Boogie Verification Debugger +.SH SYNOPSIS +.B bvd +.SH DESCRIPTION +.B bvd +is an interactive verification condition debugger for for Microsoft Research's Boogie programming language. +.SH OPTIONS +.B bvd +is a graphical program and accepts no options on the command line. +.SH COPYRIGHT +Boogie is copyright \(co 2003-2015 Microsoft Corporation and licensed under the Microsoft Public License . + +This manual page is copyright \(co 2013, 2015-2016 Benjamin Barenblat and licensed under the Apache License, Version 2.0. -- cgit v1.2.3