Pakiet: vera++ (1.2.1-2 i inne)

Odnośniki dla vera++

Zasoby systemu Debian:

Pobieranie pakietu źródłowego vera++:

Opiekun:

Vincent Hobeïka (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [bitbucket.org]

Podobne pakiety:

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.

Inne pakiety związane z vera++

wymaga

poleca

sugeruje

enhances

dep: libboost-atomic1.67.0

atomic data types, operations, and memory ordering constraints
dep: libboost-chrono1.67.0

C++ representation of time duration, time point, and clocks
dep: libboost-date-time1.67.0

set of date-time libraries based on generic programming concepts
dep: libboost-filesystem1.67.0

filesystem operations (portable paths, iteration over directories, etc) in C++
dep: libboost-program-options1.67.0

program options library for C++
dep: libboost-serialization1.67.0

serialization library for C++
dep: libboost-system1.67.0

Operating system (e.g. diagnostics support) library
dep: libboost-thread1.67.0

portable C++ multi-threading
dep: libboost-wave1.67.0

C99/C++ preprocessor library
dep: libc6 (>= 2.14)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc1 (>= 1:3.0)

Biblioteka wspomagająca GCC
dep: libstdc++6 (>= 5.2)

Standardowa biblioteka GNU C++, wersja 3
dep: libtcl8.6 (>= 8.6.0)

Tcl (the Tool Command Language) v8.6 - run-time library files

Pobieranie vera++

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.2.1-2+b5	127,8 KiB	482,0 KiB	[lista plików]