[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#536363: ITP: vera++ -- Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.



Package: wnpp
Severity: wishlist
Owner: Mathieu Malaterre <mathieu.malaterre@gmail.com>


* Package name    : vera++
  Version         : 1.1.1
  Upstream Author : Maciej Sobczak
* URL             : http://www.inspirel.com/vera/
* License         : Boost
  Programming Lang: C++
  Description     : Vera++ - Programmable verification and analysis tool for C++


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. 

-- System Information:
Debian Release: 5.0.2
  APT prefers stable
  APT policy: (500, 'stable'), (200, 'testing'), (100, 'unstable')
Architecture: amd64 (x86_64)



Reply to: