dev-lang/boogie
SMT-based program verifier
Screenshots
View
Download
BrowseChangeLog
commit 69a8b079142d16bd6d9718b62d7b1c1bbc806c8f
Author: Maciej Barć <xgqt@riseup.net>
Date: Tue Oct 26 09:10:20 2021 +0200
dev-lang/boogie: add verison 2.9.6
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
Author: Maciej Barć <xgqt@riseup.net>
Date: Tue Oct 26 09:10:20 2021 +0200
dev-lang/boogie: add verison 2.9.6
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>