2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
recidivm 0.2-1 0 0.00 recidivm - estimate peak virtual memory use joojoo 2022-01-21 19:24 (UTC)
boogie-git 0.r5030.8448ac1c-1 2 0.00 Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver joojoo 2020-04-26 07:41 (UTC)

2 packages found. Page 1 of 1.