boogie

Описание:SMT-based program verifier
Лицензия: MIT
Домашняя страница:https://github.com/boogie-org/boogie/
Расположение:Portage
Легенда:
  • + - стабильный
  • ~ - нестабильный
  • M - замаскированный
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
3.0.4 - ~ - - - - - - - - - - -

USE флаги

  • debug - Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
  • test - Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Экспортировать в Atom

Спасибо!