search

ftsrg / gazer

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

Update to Theta v2.10.0 #95

Closed hajduakos closed 3 years ago