Summary
This package is a collection of tools for writing verified programs in languages of the Boogie family. Dafny and Boogie are the two currently supported languages, besides Z3.
Versions
v0.1_p20220922 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64
Runtime Dependencies
app-editors / emacs : The extensible, customizable, self-documenting real-time display editor
app-emacs / company-mode : In-buffer completion front-end
app-emacs / dash : A modern list library for Emacs
app-emacs / flycheck : Modern on-the-fly syntax checking extension for GNU Emacs
app-emacs / yasnippet : Yet another snippet extension for Emacs
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs/boogie-friends: drop old 0.1_p20210703
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs: H -> COMMIT
Bug: https://github.com/pkgcore/pkgcheck/issues/536 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs/boogie-friends: bump to 0.1_p20220922
2022.09.22 snapshot Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
app-emacs/boogie-friends: rename version to 0.1_p20210703
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
app-emacs/boogie-friends: new package; add 20210703 (2021.07.03 snapshot)
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>