GitHub - DronMDF/vera: A programmable tool for verification, analysis and transformation of C++ source code

DronMDF / vera Public

forked from verateam/vera

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A programmable tool for verification, analysis and transformation of C++ source code

BSL-1.0 license

0 stars 26 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 325 Commits
cmake		cmake
doc		doc
packages		packages
profiles		profiles
rules		rules
src		src
tests		tests
transformations		transformations
wiki @ b2632f6		wiki @ b2632f6
.gitignore		.gitignore
.gitmodules		.gitmodules
.mailmap		.mailmap
.sonarcloud.properties		.sonarcloud.properties
.travis.yml		.travis.yml
CMakeLists.txt		CMakeLists.txt
CTestConfig.cmake		CTestConfig.cmake
CTestCustom.cmake		CTestCustom.cmake
LICENSE_1_0.txt		LICENSE_1_0.txt
README.txt		README.txt
appveyor.yml		appveyor.yml
appveyorNightly.yml		appveyorNightly.yml
vera.ctest		vera.ctest

Repository files navigation

Description
-----------

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.

License
-------

Boost Software License 

License exceptions
------------------

vera.ctest : Licensed under the Apache License, Version 2.0 (see
	     inside the file for the complete license and copyright)

Homepage
--------

Vera++ is hosted at https://bitbucket.org/verateam/vera and daily
replicated at https://github.com/verateam/vera

Origins
-------

Vera++ was initially hosted at:
https://www.inspirel.com/vera