vera++ - Tool for verification of C++ source code

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename vera++-1.3.0_13.txz
Package name vera++
Package version 1.3.0
Package release 13
Package architecture amd64
Package type txz
Category devel
License BSL
Download size 234.04 KB
Installed size 808.71 KB
Vera++ is a programmable tool for verification, analysis and transformation
of C++ source code. Vera++ is mainly an engine that parses C++ source files
and presents the result of this parsing to scripts in the form of various
collections - the scripts are actually performing the requested tasks.
- DOCS: on
- LUA: on
- PYTHON: on


Package Version Architecture Repository
vera++-1.3.0_13.txz 1.3.0 i386 FreeBSD Ports Latest
vera++-1.3.0_13.txz 1.3.0 i386 FreeBSD Ports Quarterly
vera++-1.3.0_13.txz 1.3.0 amd64 FreeBSD Ports Quarterly
vera++ - - -


Name Value - - - - - - - - - - - - - - -
luabind = 0.9.1_15
py27-boost-libs = 1.71.0
python27 = 2.7.16_1
tcl86 = 8.6.9_1
tk86 = 8.6.9_1


Type URL
Binary Package vera++-1.3.0_13.txz
Source Package devel/vera++

Install Howto

Install vera++ txz package:

# pkg install vera++

See Also

Package Description
vera-1.22_1.txz Virtual Entity of Relevant Acronyms
veracrypt-1.23_4.txz Open-source disk encryption software based on Truecrypt
verilator-4.008_2.txz Synthesizable Verilog to C++ compiler
verilog-mode.el-emacs26-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs26_canna-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs26_nox-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs27-801_7.txz Emacs lisp modules for the Verilog language
verilog-mode.el-emacs27_nox-801_7.txz Emacs lisp modules for the Verilog language
vertx-2.1.1.txz Effortless asynchronous application development for the modern web
vether-kmod-g20190422.txz Virtual Ethernet Interface
vexcl-1.4.1_4.txz C++ vector expression template library for OpenCL/CUDA
vexim-2.3_1.txz Web interface for managing virtual domains for exim
vfront-0.96.c_2.txz Simple frontend for database data entry
vgb-bin-3.0_5,1.txz Nintendo GameBoy(tm) emulator (closed binary version of vgb)
vgmplay-0.40.9_1.txz Command-line player for VGM (video game music) files