Ondokuz / vera++

Programmable verification and analysis tool for C++

•     Vincent Hobeïka
•     [email protected]
•     https://bitbucket.org/verateam/vera/wiki/Home
•     1.2.1-2+b5
•     vera++_1.2.1-2+b5_amd64.deb
•     127.8 KiB
•     devel
•     amd64
•      vera++_1.2.1-2.debian.tar.xz
            vera++_1.2.1-2.dsc
            vera++_1.2.1.orig.tar.gz
•     Debian Versiyonu: 1.2.1-2+b5
•     Programmable verification and analysis tool for C++

Diğer Pardus sürümlerindeki versiyonlar