search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Upgrade to Theta v2.8.0 #71

Closed hajduakos closed 3 years ago