Versions

Description

.

Repository

https://github.com/smackers/smack.git

Project Slug

smack

Last Built

1 year, 4 months ago failed

Maintainers

Badge

Tags

c, llvm, verification, smt, rust, c-plus-plus, verifier, verification-toolchain

Project Privacy Level

Public

Short URLs

smack.readthedocs.io
smack.rtfd.io

Default Version

latest

'latest' Version

master