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

6 Branches 4 Tags

Name	Name	Last commit message	Last commit date
Latest commit ofry and hobeika Merged in cmake-python-fix (pull request #24) Jul 28, 2020 ffe83ae · Jul 28, 2020 History 323 Commits
cmake	cmake	Append ${LIB_SUFFIX} to lib install destinations	Apr 3, 2015
doc	doc	Fixed path string	Nov 16, 2015
packages	packages	select PackageMaker packages by default on mac	Jan 19, 2015
profiles	profiles	Removed shebangs and executable permissions	Dec 9, 2015
rules	rules	Merged in LokiAstari/vera/namespace-alias (pull request #15)	Apr 19, 2016
src	src	buildfix with external boost.	Sep 24, 2019
tests	tests	Merged in e-shreveTI/vera/bugfix/72 (pull request #23)	Aug 7, 2019
transformations	transformations	Removed executable permission	Dec 9, 2015
wiki @ b2632f6	wiki @ b2632f6	use the last version of the wiki for the doc	Jan 21, 2015
.gitignore	.gitignore	git ignore some files/directories that shouldn't go in the repository	Mar 27, 2013
.gitmodules	.gitmodules	update wiki url	May 16, 2013
.mailmap	.mailmap	correcly display contributor names	Apr 24, 2013
.sonarcloud.properties	.sonarcloud.properties	Trying to set the path to sources and tests correctly	Jul 26, 2019
.travis.yml	.travis.yml	Added pandoc for travis	Jul 28, 2019
CMakeLists.txt	CMakeLists.txt	bump version to 1.3.0	Jan 19, 2015
CTestConfig.cmake	CTestConfig.cmake	add cdash configuration - see #10	Apr 7, 2013
CTestCustom.cmake	CTestCustom.cmake	hide boost warnings on mac	Jan 19, 2015
LICENSE_1_0.txt	LICENSE_1_0.txt	remove x permission from most of our files - it is useful only for th…	Mar 28, 2013
README.txt	README.txt	put the homepage in the readme	Dec 10, 2013
appveyor.yml	appveyor.yml	Trying other ways to install Tcl.	Jul 28, 2019
appveyorNightly.yml	appveyorNightly.yml	Removed RDP on finish. Updated nightly builds.	Nov 30, 2015
vera.ctest	vera.ctest	Fixed typos. refs #36.	Jun 19, 2013

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 http://bitbucket.org/verateam/vera and daily
replicated at http://github.com/verateam/vera

Origins
-------

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