[ Source: vera++ ]
Package: vera++ (1.2.1-2 and others)
Links for vera++
Debian Resources:
Download Source Package vera++:
Maintainer:
External Resources:
- Homepage [bitbucket.org]
Similar packages:
Programmerbar verifikation og analyseværktøj for C++
Vera++ er et programmerbart værktøj for verifikation, analyse og transformation af C++-kildekode. Vera++ er hovedsagelig en motor, som fortolker C++-kildefiler og præsenterer resultatet af denne fortolkning til skripter i form af diverse samlinger - skripterne udfører de anmodede opgaver.
Other Packages Related to vera++
|
|
|
|
-
- dep: libboost-atomic1.67.0
- atomic data types, operations, and memory ordering constraints
-
- dep: libboost-chrono1.67.0
- C++-repræsentaton af tidsvarighed, tidspunkt og ure
-
- dep: libboost-date-time1.67.0
- sæt af dato-tid biblioteker baseret på generiske programmeringskoncepter
-
- dep: libboost-filesystem1.67.0
- filsystemhandlinger (flytbare stier, iteration over mappere etc.) i C++
-
- dep: libboost-program-options1.67.0
- bibliotek til programindstillinger for C++
-
- dep: libboost-serialization1.67.0
- Serialiseringsbibliotek for C++
-
- dep: libboost-system1.67.0
- bibliotek til operativsystem (eksempelvis diagnostisk understøttelse)
-
- dep: libboost-thread1.67.0
- flytbar C++-flertrådning
-
- dep: libboost-wave1.67.0
- C99/C++-præbehandlingsbibliotek
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.4) [armhf, i386]
-
- dep: libgcc1 (>= 1:3.0) [not armhf]
- GCC støttebibliotek
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libstdc++6 (>= 5.2)
- GNU Standard C++ bibliotek v3
-
- dep: libtcl8.6 (>= 8.6.0)
- Tcl (Tool Command Language) version 8.6 - biblioteksfiler for kørselstid
Download vera++
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1.2.1-2+b5 | 127.8 kB | 482.0 kB | [list of files] |
arm64 | 1.2.1-2+b4 | 119.5 kB | 474.0 kB | [list of files] |
armhf | 1.2.1-2+b5 | 112.6 kB | 357.0 kB | [list of files] |
i386 | 1.2.1-2+b5 | 134.9 kB | 477.0 kB | [list of files] |